强弱类型

✍ dations ◷ 2025-11-18 04:56:47 #计算机语言,类型论

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

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

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

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

相关

上颚上颌骨（maxilla），又称车颔骨，是成对的联合形成口上部的骨。除了下颌骨外，脸部的所有骨都与它形成关节。上颌骨可以分为体部、齿槽突、腭突、额突和颧突。头颅。上颌骨的位置(显示
话话可以指：
EET欧洲东部时间（Eastern European Time，缩写EET）是比世界标准时间（UTC）早二个小时的时区名称之一。它被部分欧洲国家、北非国家和中东国家采用。其中大部分国家夏季采用欧洲东部夏
太空军美国太空军（英语：United States Space Force）是美国空军部下属的一个独立部队，其主要职责是为美国在外太空执行军事任务。它是自1947年以来美国空军独立以来成立的第六个军事部
ICD-10 第一章：某些传染病和寄生虫病ICD-10 第一章：某些传染病和寄生虫病，主要包括被视为具有可传播性和可传染性的疾病。肠道传染病（A00-A09）结核病（A15-A19）由特定动物传染的细菌性疾病（A20-A28）其他细菌性疾病（A30-A4
茂山站茂山站（韩语：무산역）是朝鲜民主主义人民共和国咸镜北道茂山郡茂山邑的一个铁路车站，属于茂山线和白茂线。茂山线白茂线
约翰·维恩约翰·维恩（英语：John Venn，1834年8月4日－1923年4月4日）是英国的数学家、逻辑学家、哲学家及皇家学会成员，并为事物群组分类用图形“文氏图”的发明者。约翰·维恩于1834年出身自
谈广庆谈广庆（1831年－1886年），字云浦，广州驻防汉军厢白旗人，同治二年癸亥恩科（1863年）翻译进士，曾任海城县知县、光绪六年四月补广甯县知县、光绪十二年三月补金州厅海防同知、历官奉天府
莱纳尔·罗格莱恩尼尔·乔治·罗格（Lionel George Logue，1880年2月26日－1953年4月12日)，CVO，澳大利亚籍语言治疗师与舞台剧演员。曾成功治愈英王乔治六世的严重口吃。莱恩尼尔·罗格出生于南
东北人东北民系是指生活在中国东北三省的人口总称。民族以汉族为主，通常意义的东北人指生长于东北并认同东北风俗且有相似的行为方式的族群。通常而言，民族差异并不是区别一个人是否