强弱类型

✍ dations ◷ 2025-12-01 13:36:23 #计算机语言,类型论

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

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

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

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

相关

丹尼尔·克莱普纳丹尼尔·克莱普纳（英语：Daniel Kleppner，1932年10月16日－），美国物理学家。他是麻省理工学院纪念莱斯特·沃尔夫物理学教授和麻省理工学院 - 哈佛超冷原子中心的共同主任。克莱普纳
类人猿下目类人猿下目（学名：Simiiformes）是一类高等灵长类，由旧世界猴及猿组成。它们比原猴亚目的要大。类人猿下目分成三类。阔鼻小目于约4000万年前分支出来，只余下狭鼻小目留在旧世界。
霞慕尼1法国统计部门在计算土地面积时，不计算面积大于1平方公里的湖泊、池塘、冰川和河口。沙莫尼蒙勃朗（法语：Chamonix-Mont-Blanc，意为勃朗峰之沙莫尼），常略称作沙莫尼（Chamonix），又译霞
电子显微学电子显微镜（英语：electron microscope，简称电镜或电显）是使用电子来展示物件的内部或表面的显微镜。高速的电子的波长比可见光的波长短（波粒二象性），而显微镜的分辨率受其使用的波
Chlorophyceae见内文绿藻纲（学名：Chlorophyceae）在生物分类学上是绿藻门中的一个纲。截至2018年3月22日 (2018-03-22)，绿藻纲包括下列各个目：以下为过往属绿藻纲的分类单元：
氢气球气球（法语、德语：Ballon、英语：Balloon）是一种用来填充气体的囊状物。具有实用性，用被作载具的气球被称作航空气球，而小型的气球则常被用作装饰品和玩具。本文讨论的内容主要是作
加冕街《加冕街》（英语：Coronation Street）是一部英国经典肥皂剧，是英国电视史上播放时间最长的电视剧集和收视最高的的剧集。本剧于1960年12月9日首播，至今已经播出超过55年。加冕街和
市场流通性市场流通性通常简称流通性或流动性（德语：Liquidität，英语：market liquidity，西班牙语：Liquidez），是指资产能够以一个合理的价格顺利变现的能力，它是一种所投资的时间尺度（变为现金的
赫利姆法克西和斯基法克西赫利姆法克西（Hrimfaxi），是夜神诺特（Nott）的马，其名字为“霜之马”（rime mane 或 frost mane）之意。赫利姆法克西拉着载着诺特的黑车横越天空，当他们出现在天际的时候，大地就进入夜晚
周凤翔 (崇祯进士)周凤翔（？－1644年），字仪伯，浙江山阴县（今绍兴）人。明末官员。崇祯元年（1628年）戊辰科二甲进士。改庶吉士，授翰林院编修。迁任南京国子监司业。历官中允、谕德，并任东宫讲官。崇祯十七年（16