强弱类型

✍ dations ◷ 2025-11-26 14:32:52 #计算机语言,类型论

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

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

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

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

相关

冻伤冻伤是由于长期处于极为寒冷的状态下，而引起的人体局部或全身性的伤害。轻时可造成皮肤组织的红肿、局部血液流通不畅，并会产生发痒、刺痛、麻木等感觉，需要治疗；重时则会伴随失
源代码源代码（英语：Source code），是指一系列人类可读的计算机语言指令。在现代程序语言中，源代码可以是以书籍或者磁带的形式出现；但最常用的格式是文本文件，这种典型格式的目的是为了编
Fungal BiologyFungal Biology是一个同行评审的科学期刊，由Elsevier出版，发表真菌学各方面的研究论文，也包括卵菌、黏菌等历史上曾经属于真菌之类群的相关研究。Fungal Biology于1896年创刊，当
常德会战常德战役是抗日战争中一场战役，于1943年（民国32年）11月至1944年1月期间。在抗日战争中，中国第6战区部队在湖南西北部常德地区对日军第11军进行的防御战役。常德城乃湘西北重镇，历
柯瑞·贾德纳科里·斯科特·加德纳（英语：Cory Scott Gardner；1974年8月22日－），是一位美国共和党政治人物，现任科罗拉多州美国参议院议员、前科罗拉多州美国众议院议员及前科罗拉多州众议院议员
燕麦片燕麦片（英语：Oatmeal），又称麦片或麦皮，是由燕麦做成的食品。由于麦片食品的制作过程简单，而且省时，有些种类的麦片只要经过开水冲泡就可以食用，所以受到了许多人欢迎。燕麦在西方饮
国际天文奥林匹克国际天文奥林匹克（International Astronomy Olympiad，IAO）是一个为高中生(14-18岁)组织的国际性年度天文科教活动，包含一个在这些学生间的智力竞赛，它属于国际科学奥林匹克的一员
史贻直史贻直（1682年－1763年），字儆弦，号铁崖，江苏省镇江府溧阳县人，中国清朝官员，历官康熙、雍正、乾隆三朝。父史夔是康熙二十一年进士，官至詹事。史贻直少娴掌故，康熙三十八年（1699年）己卯科
邱思婷邱思婷（Sisi Qiu，1986年1月18日－），芭蕾舞蹈艺术家、艺术制作人，演员。出生于武汉，幼时在广州开始学习舞蹈，后被上海舞蹈学校破格录取为芭蕾舞系专业三年级学生，2000年获得德国曼海姆
江文 (1918年)江文（1918年11月－2015年1月10日），原名江兰波，男，湖北沔阳人，中国共产党党务活动家。中华人民共和国最高人民检察院副检察长（1981年－1985年）。1918年11月出生于湖北沔阳。1936年参加革