强弱类型

✍ dations ◷ 2025-12-09 00:39:13 #计算机语言,类型论

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

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

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

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

相关

  • 胎便胎粪是初生婴儿第一次排出体外的粪便。与他们往后排出的粪便不同的是:胎粪是胎儿在母体时所消化的物质构成,包括有肠黏膜的上皮组织、胎毛、黏液、羊水、胆汁及水分。由于胎儿
  • 子宫收缩子宫收缩(uterine contraction)是子宫肌层的肌肉收缩。在月经周期中,子宫经常会收缩,收缩只出现在子宫肌层的子宫内膜。在卵泡期初期,收缩会是每分钟一次或是两次,持续10至15分钟,
  • 针灸甲乙经《针灸甲乙经》,全名《黄帝三部鍼灸甲乙经》,是现存最早的一部针灸专书,(公元256-282 年)晋皇甫谧(士安)编辑整理《素问》、《针经》、《明堂孔穴针灸治要》,所编著而成。 全书共十
  • 高雄港埠旅运中心港埠旅运中心(英语:Kaohsiung Port Terminal)为兴建中的高雄港岸运输设施,是“高雄港客运专区”及“亚洲新湾区”计划的一部分。建筑外型似1艘有着高耸烟囱的银白色船体,总楼地板
  • 镜像在几何学中,镜像,顾名思义,就是物体相对于某镜面所成的像。在二维空间里,一个物体(或二维图形)的镜像就是该物体在某平面镜中反射出来的虚像。这时镜像与原物有同样大小,但不尽相同
  • 人类外基因组计划人类外基因组计划(Human Epigenome Project,缩写:HEP)是一项跨国科学计划,其目标是“识别,分类,和解释所有主要组织中所有人类基因的全基因组DNA甲基化模式”。它由政府基金以及私
  • 贾米勒·阿萨德贾米勒·阿萨德(阿拉伯语:جميل الأسد‎)(1933年-2004年12月15日)是叙利亚前总统哈菲兹·阿萨德的二弟、现任总统巴沙尔·阿萨德的二叔。他从1971年开始成为叙利亚人民议
  • 酒瓶兰属 Lem.酒瓶兰属(学名:),是假叶树科热带多汁植物,源于中美洲,包括四个品种。此前归于假叶树科(Nolinaceae)或者龙舌兰科(Agavaceae)。一些植物学家将它归入属,但现行研究倾向支持酒瓶兰属
  • 印第安纳州象征列表美国州份印第安纳州拥有12个官方州象征,以及其他指定官方或非官方的项目。在列表中大多数的象征标志均由印第安纳州议会正式认可和创建,并由州长签入当地法则中。它们被共同列
  • 吉尔吉尔是伊朗的城市,位于该国南部札格罗斯山脉东南部,由法尔斯省负责管辖,距离首府设拉子约130公里,海拔高度771米,2006年人口16,839。