强弱类型

✍ dations ◷ 2025-12-10 15:18:57 #计算机语言,类型论

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

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

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

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

相关

  • 霰弹枪定序法霰弹枪定序法(Shotgun sequencing,又称鸟枪法)是一种广泛使用的为长DNA测序的方法,比传统的定序法快速,但精确度较差。曾经使用于塞雷拉基因组(Celera Genomics)公司所主持的人类基
  • 脊椎脊柱(拉丁语:Columna vertebralis、英语:vertebral column、backbone、spine)是脊椎动物位于背侧的支撑性中轴骨骼。人类的脊柱由23-24块脊椎骨(拉丁语:Vertebrae)和中间起缓冲作用
  • 抑郁性障碍抑郁症,亦称忧郁症,是一类以抑郁心境为主要特点的情感障碍。它主要包括:重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为:长时间持续的抑郁情绪,并且这种情绪明显超过
  • 单色画单色画(英语:monochromatic painting),又称为独色画,是20世纪以来先锋派艺术的重要元素,通过单一色彩进行绘画创作,代表人物包括马列维奇、伊夫·克莱因、格哈德·里希特(Gerhard Ri
  • 蒙特利湾加州州立大学蒙特利湾分校(California State University, Monterey Bay,CSUMB)是加利福尼亚州立大学系统内、位于美国加利福尼亚州海滨和玛丽娜的一所公立大学,成立于1994年。20
  • 德尔·哈里斯德尔玛·威廉·哈里斯(英语:Delmer William Harris,1937年6月18日-),外号银狐,生于印第安那州的帕兰菲尔德(Plainfield),美国NBA联盟前主教练。他的早年教练生涯从执教印第安那州里奇
  • 单鳍七鳃鳗属单鳍七鳃鳗属(学名:),又名鱼吸鳗属,是七鳃鳗目七鳃鳗科的一属。主要分布于北美。该属有六种:
  • 京 (音乐家)京(日语:きょう,1976年2月16日-)是日本摇滚乐团Dir en grey及sukekiyo的主唱、作词家。京都府出生。Dir en grey及sukekiyo的歌词毫无例外全都是京写的。独特的措辞和造句能力,并
  • 拉姆希尔拉姆希尔是伊朗的城市,位于该国西南部伊斯法罕西南280公里,由库尔德斯坦省负责管辖,距离首府阿瓦士约80公里,海拔高度17米,2006年人口24,782。
  • 龚铭龚铭(?-17世纪),字应祯,湖广人,南明政治人物。龚铭是李定国的幕客,担任永昌府同知,留守贵阳府。李定国斩杀尼堪后曾应孙可望召,他派人向李定国指出孙可望预谋杀害他,因此定国没有前行。