强弱类型

✍ dations ◷ 2025-11-28 00:41:34 #计算机语言,类型论

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

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

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

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

相关

核溶解核溶解（英语：Karyolysis）是因去氧核糖核酸酶活性导致垂死细胞染色质物质的完全溶解。核溶解后细胞被伊红均匀的染色。经常在核破裂之后发生。主要是坏死的结果。细胞凋亡时核破
飞行距离此条目列出以未重新加油为前提的飞行距离纪录，其中某些纪录是由国际航空联合会所认可。航空史 · 飞行器（制造商） · 飞行器发动机（制造商） · 旋翼机（制造商） · 机场 · 航线 ·
沿岸漂砂沿岸流（英语：longshore current）是指波浪推向岸边，有时波峰列（波列）并不平行海岸线，两者形成的夹角，一波一波的波浪推动成一股贴岸而行的海流。近岸水流的流动方向与碎波区底床地形.
span class=nowrapSmClsub2/sub/span氯化亚钐是一种无机化合物，化学式为SmCl2。氯化亚钐可由氯化钐和金属钐共热得到：Kurt Rossmanith曾在THF溶液中，有萘存在时，用锂还原氯化钐得到氯化亚钐：氯化亚钐和水反应特别迅
1491年重要事件重要人物
社交抑制社交抑制（Social inhibition）是指个人在意识或潜意识中逃避或避免社会关系的情况。高社交抑制的人会避开那些否定自身感觉或表达的情况与情境。社交抑制与行为、外貌、社会
核桃市核桃市（英文：Walnut）中文又音译为沃尔纳特，是一座位于美国加利福尼亚州洛杉矶郡、富裕而宁静的城市，素有“小瑞士”之美誉，经常名列全美最宜居小城市及最适合抚养小孩的城市。核桃
北罗霄罗霄山脉是万洋山、诸广山和武功山的统称，这些东北至西南走向次级山脉构成罗霄山脉，是湖南和江西两省的自然界线。主要山峰海拔多在1000米以上。其中著名的山峰有八面山，井冈山
少女塔 (伊斯坦布尔)少女塔 (土耳其语：Kız Kulesi)又名勒安得耳塔，是土耳其伊斯坦布尔博斯普鲁斯海峡南口处的一座古塔，距离亚洲一侧的于斯屈达尔海岸200米。少女塔由拜占庭帝国皇帝阿历克塞一世
扶桑町扶桑町（日语：扶桑町／ふそうちょう */?）为爱知县北部的町。