强弱类型

✍ dations ◷ 2025-11-23 16:00:38 #计算机语言,类型论

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

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

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

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

相关

外科医师人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学外科学是现代医学的一个科目，主要研究
细菌接合接合（英文：Conjugation，又译结合），又称为接合作用、细菌接合，是发生于原生动物间的现象，指的是两个细菌之间发生的一种遗传物质交换现象，属于细菌有性生殖的一个重要阶段。在接合现
单链RNA反转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
猫科猫亚科 Felinae 豹亚科 Pantherinae †剑齿虎亚科 Machairodontinae †原小熊猫亚科 Proailurinae猫科包括狮子、老虎和豹等动物，是食肉目的9个科中最具肉食性的哺乳动物。第
亚甲基蓝亚甲蓝（Methylene blue），又称亚甲基蓝、次甲基蓝、次甲蓝、美蓝、品蓝、甲烯蓝、瑞士蓝（Swiss blue），国际非专利药品名称（INN）为methylthioninium chloride。是一种芳香杂环化合物。
晋武帝晋武帝司马炎（236年－290年5月16日），字安世，河内郡温县（今河南省焦作市温县）人，曹魏权臣司马昭长子，晋朝开国皇帝，谥号武皇帝，在位二十五年。魏咸熙二年（266年2月8日）十二月丙寅，晋王、相国
苏珊·安东尼纪念币苏珊·安东尼一美元硬币（英语：Susan B. Anthony dollar）是1979至1981年间出产的一种1美元硬币，1981年时因公众反响不佳而停产，1999年又再度生产。这种硬币的诞生是为取代过于臃肿
黄杨木雕黄杨木雕是以黄杨木为原材料的民间雕刻工艺品，主要产于浙江省乐清市。黄杨木生长缓慢，故古语有云：千年难长黄杨木。但由于其木质地坚韧光洁，纹理细密，色黄如象牙，年久色渐深，古朴美
广西中医药大学广西中医药大学位于南宁，是一所以医药学科为主，拥有医学、工学、管理学等多个学科门类，集教学、科研、医疗和药品生产于一体的高等中医药院校。也是中西部高校基础能力建设工程
控制流分析控制流分析（Control flow analysis）简称CFA，是一种确认程式控制流程的静态代码分析技术。控制流程会以控制流图（英语：control flow graph）来表示。对于函数编程语言及面向对象程式