强弱类型

✍ dations ◷ 2025-11-26 20:55:23 #计算机语言,类型论

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

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

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

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

相关

细胞连接细胞连接（或细胞间桥(intercellular bridge)）是在一些多细胞生物例如动物的组织中存在的一种结构。细胞连接包括该相邻细胞之间或细胞和细胞外基质之间提供接触的蛋白质复合物
代谢型代谢型受体（英语：Metabotropic receptor）是真核细胞跨膜受体的一种亚类。它们本身不是离子通道，取而代之的是这种受体产生第二信使，使得离子通道打开而产生效应。此类受体包括：代
Agsub2/subNaAg2Na是一种二元金属间化合物，由银和钠组成。Ag2Na可以由银和钠的单质在750 °C反应，并在322 °C以下由包晶反应析出：它可以和水反应，生成纳米银、氢氧化钠并放出氢气：它也能和乙
战略轰炸机战略轰炸机（Strategic Bomber）是轰炸机的一种，从高空对地面进行远程投弹的大型军用飞机。与战术轰炸机被用于对某个交战区内的军队和军事设备轰炸不同，战略轰炸机的用途是执行远
第十二届全国人民代表大会中华人民共和国第十二届全国人民代表大会（简称第十二届全国人大），有2987名代表，任期从2013年3月到2018年3月。第十二届全国人大第一次会议于2013年3月5日至17日在北京举行，会议审
墨尔本公园坐标：37°49′22″S 144°58′48″E / 37.82267°S 144.98005°E / -37.82267; 144.98005墨尔本公园（Melbourne Park）位于澳洲维多利亚州墨尔本的墨尔本运动和娱乐区（Melbourne
小舌颤音小舌颤音是辅音的一种，在一些口语中存在。国际音标中表示该音的符号是⟨ʀ⟩，一个小型的大写字母R。与之等价的X-SAMPA符号是⟨R\⟩。该辅音是喉音R中的其中一种。在中文世界，
邵玉轩邵玉轩（1866年－1920年），名镛，字行银，号玉轩，清末民国上海大颜料商、实业家。影视巨头邵逸夫之父。出生望族，系北宋梅花易数大师邵康节第三十二世嫡孙。出生于大清浙江省宁波府镇海县
奥尔特尼亚奥尔特尼亚（Oltenia），又称小瓦拉几亚，是罗马尼亚的一个地区名。指瓦拉几亚西部地区。其以东是被称为“大瓦拉几亚”的蒙特尼亚。奥尔特尼亚包括了以下5个县。
卡尔 (巴登大公)卡尔·路德维希·弗里德里希（Karl Ludwig Friedrich，1786年7月8日－1818年12月8日），第二任巴登大公，1811年至1818年在位。卡尔是巴登大公卡尔·弗里德里希的长孙。父亲是巴登藩侯世