强弱类型

✍ dations ◷ 2025-11-29 04:44:30 #计算机语言,类型论

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

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

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

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

相关

昆虫见内文昆虫在分类学上属于昆虫纲（学名：Insecta），是世界上最繁盛的动物，已发现超过100万种。其中单鞘翅目（Coleoptera）中所含的种数就比其它所有动物界中的种数还多。昆字原作䖵。昆
虹膜异色虹膜异色症，另称异色瞳（英语：Heterochromia iridum），是一种身体异常状况，指两眼的虹膜呈现不同颜色的性状。眼睛的颜色，特别是虹膜的颜色，是由虹膜组织的色素沉淀及分布决定的；因此，在
胞吞作用内吞作用（Endocytosis）是大分子物质（如糖类、脂质、蛋白质等）或其他细胞（如细菌）进入细胞内部的方式。它区别于小分子物质(如水、无机盐、氨基酸等)进入细胞的方式(自由扩散或主动
制冷剂制冷剂，又称冷媒、致冷剂、雪种，是各种热机中借以完成能量转化的媒介物质。这些物质通常以可逆的相变（如气-液相变）来增大功率。如蒸汽引擎中的蒸汽、制冷机中的雪种等等。一般
俄克拉荷马州坐标：35°30′N 98°00′W / 35.5°N 98°W / 35.5; -98俄克拉荷马州（切罗基语：ᎠᏍᎦᏯ ᎩᎦᎨᏱ，转写： Asgaya gigageyi，或者ᎣᎦᎳᎰᎹ(音译自英语)；波泥语：Uukuhuúwa；卡育加语：Ga
亚通客运亚通汽车客运股份有限公司（英语：Yatung Bus Inc.），简称亚通客运，是一家台湾的客运公司，成立于1976年，公司总部位于台北市民族东路，主要经营桃园干线公车及公路客运，服务范围扩及桃园
望城区望城区为中国湖南省长沙市市辖区，2011年6月21日设立。地理上，望城位于湖南中部偏东，长沙城区西北部，周边与开福区、岳麓区、长沙县、宁乡市、湘阴县、汨罗市和益阳市赫山区相邻
拉丁美洲文学爆炸拉丁美洲文学爆炸（西班牙语：Boom Latinoamericano）是一场发生在1960年代至1970年代之间的文学运动，在那期间一大批相关拉丁美洲作家的作品流行于欧洲并最终流行于全世界。说起这
使命召唤：Mobile《使命召唤：Mobile》（英语：Call of Duty: Mobile）是一款由腾讯旗下天美工作室群开发，动视发行于Android和iOS的免费第一人称射击游戏台港澳服务器由竞舞娱乐代理。本作是一款免费
LingCloudLingCloud（凌云云计算系统）是中国科学院计算技术研究所研发的一套云计算系统软件，以Apache License 2.0授权开源发布。LingCloud提供一套同时支持物理机和虚拟机管理与租赁的云