强弱类型

✍ dations ◷ 2025-11-27 07:13:12 #计算机语言,类型论

强弱类型(Strong and weak typing)表示在计算机科学以及程序设计中,经常把编程语言的类型系统分为强类型(英语:strongly typed)和弱类型(英语:weakly typed (loosely typed))两种。这两个术语并没有非常明确的定义,但主要用以描述编程语言对于混入不同资料类型的值进行运算时的处理方式。强类型的语言遇到函数引数类型和实际调用类型不符合的情况经常会直接出错或者编译失败;而弱类型的语言常常会实行隐式转换,或者产生难以意料的结果。这对术语在短短的电脑历史中,早已含括了更多的意义,而且时常很难知道写的人究竟要表达哪个意思。

编程语言专家 Benjamin C. Pierce,《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》的作者,曾说:

大致而言,“强类型”隐含着编程语言对容许混合情况出现加上了严格的限制,以避免代码以无效的资料使用方式编译或运行。例如,整数除法运算不可用于字符串;链表上的运算步骤不可用于数字。然而,这些限制的本质和效力是极易改变的。

已经被写作者认定为“强类型”的一些要素包括:

相关

  • 性高潮后病情综合征性高潮后病情综合征(英语:Postorgasmic illness syndrome,POIS)是一种罕见的病症,特征为性高潮后持续数小时至数天的虚弱症状。该现象在2002年首次获医学文献所记载。症状通常出
  • 查格斯氏病恰加斯病(英语:Chagas disease),又称为南美锥虫病(American trypanosomiasis),是一种热带疾病(英语:Tropical disease)寄生虫病;致病原是克氏锥虫(英语:Trypanosoma cruzi),通常借由俗称为
  • Zootaxa《Zootaxa》是一份以动物生物分类学家为对像的同行评审科学期刊,是一份公开的期刊(英语:Open Journal Systems),由位于新西兰最大城市奥克兰的Magnolia Press发行。本期刊的发行
  • 舍希德沙希德,又称舍希德(英语:Shahid。阿拉伯语原意是“证人”,也可以解为“殉教烈士”。源于《可兰经》。沙希德一词是用以尊称穆斯林为履行宗教戒律捍卫自己的信仰者,只要是为了伊斯
  • 黄道周清人绘《黄道周官常服像》现藏于黄道周纪念馆黄道周(1585年3月9日-1646年4月20日),字幼玄(又作幼元、幼平),又字螭若、细遵,号石斋,谥忠烈,乾隆时改谥忠端,人称石斋先生,闽南、台湾尊称
  • 越南疣猪越南疣猪(学名:Sus bucculentus)是猪科猪属的一种,仅分布于越南和老挝,最后一次发现是在1995年猎杀的个体,可能已经灭绝。外貌与野猪相似,身长约1.5米至2米不等,体重可达50公斤以上,
  • 马来马来(马来语:Melayu;英语:Malay)可以指:
  • 德米特里·伊万诺维奇·里亚贝舍夫德米特里·伊万诺维奇·里亚贝舍夫(俄语:Дми́трий Ива́нович Ря́бышев,1894年2月11日(23日)-1985年11月18日)苏联陆军中将,1917年加入布尔什维克党。苏德
  • 爱洲移香斋爱洲移香斋(あいす いこうさい),原名爱洲久忠(あいす ひさただ),是日本剑道流派“阴流(又称爱洲阴流)”的开山之祖。生于享德四年(1452年),卒于天文7年(1538年),东海道伊势国人。对于爱洲
  • 山田良市山田良市(日语:やまだりょういち,1923年9月3日-2013年2月27日),是大日本帝国海军第71期军人,太平洋战争结束时,最终阶级是海军大尉。战后以同等阶级的1等空尉(空军上尉)加入航空自卫队