强弱类型

✍ dations ◷ 2025-12-07 22:33:25 #计算机语言,类型论

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

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

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

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

相关

微孢子虫纲微孢子虫（学名：Microsporidia）为罗兹菌门下的一纲。它是由孢子形成的单细胞寄生虫。目前多于一百万种微孢子虫中的1500种版命名。微孢子虫只能寄生于动物宿主。大部分的动物物
帝权帝权（Imperium）或最高权力、绝对统治、统治大权，是古罗马时期，一位公民拥有的控制军队或政府的权力形式。它与罗马法中相对低级的权力（英语：权力 (罗马法)）不同。该项权力可以针对
维思通利培酮（英语：Risperidone），常见商品名Risperdal，为一种精神科药物。主要用于治疗精神分裂症、躁郁症，以及自闭症症状者的易怒情形。本品可口服或肌肉注射给药。注射剂型的药效可维
罗伯特·柯尔小罗伯特·弗洛伊德·柯尔（Robert Floyd Curl, Jr.，1933年8月23日－），美国化学家。因发现富勒烯而与哈罗德·克罗托、理查德·斯莫利共同获得1996年的诺贝尔化学奖。目前是莱斯大
崔莹崔莹（1316年－1388年），中国亦有写作崔荣，是高丽国末期的名将、重臣，官拜判密直事、大将军、门下侍中赞成事、六道都巡察使；封尽忠奋佐命安社功臣、铁元府院君，谥号武愍（무민），是崔元直（朝
美利坚合众国宪法第十条修正案宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
流苏 (犹太教)流苏（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey As
赌徒 (小说)《赌徒》（俄语：Игрок）原为俄国小说家费奥多尔·陀思妥耶夫斯基的小说作品，后来多次被拍成电影。该书创作期间，陀思妥耶夫斯基在文学上有所进展，但生活却连遭打击，妻子和兄长相
报应报应可指：
Heart Attack (AOA歌曲)FNC娱乐环球唱片 (日文版) 勇敢兄弟、Chakun 中村彼方(日文版) 《Heart Attack》（韩语：심쿵해）为韩国女子音乐组合AOA的一首单曲，也是她们的第三张迷你专辑《怦然心动》之主打