强弱类型

✍ dations ◷ 2025-11-25 13:07:59 #计算机语言,类型论

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

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

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

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

相关

曲安奈德曲安奈德（英语：Triamcinolone acetonide）是一种用来治疗各种皮肤病或减轻口疡带来不适的合成皮质类固醇。它是更有效的去炎松，大约是强的松的八倍。
君士坦丁君士坦丁（阿拉伯语：قسنطينة‎，法语：Constantine）位于阿尔及利亚东北部，是君士坦丁省的首府，西距首都阿尔及尔322公里。根据2008年人口普查，它有448,374名居民，是阿尔及利亚第
美利达董事长：曾崧柱美利达工业股份有限公司（台证所：9914）为台湾自行车设计、制造和销售的公司，于1972年9月29日由曾鼎煌创建。现于中国大陆、日本、美国、欧洲等多个国家和地区设有子
国际音标表以下给出国际音标表。国际音标是由国际语音学学会设计和维护的标准化标音系统。表内成对的元音分别为不圆唇／圆唇。当符号成对出现时，左边的是清音，右边的是浊音。阴影区域表示
液化天然气液化天然气（英语：Liquefied Natural Gas；简称LNG），将气田生产的天然气经净化处理，去除了一些有价值的成分如氦，和一些高分子碳氢化合物，以及一些对下游产业不利的成分如硫、氮、水等
鼎部鼎部，为汉字索引中的部首之一，康熙字典214个部首中的第二百〇六个（十三划的则为第二个）。就繁体和简体中文中，鼎部归于十三划部首。鼎部只以下方为部字。且无其他部首可用者将部
梨熟梨熟是朝鲜传统甜品花菜的一种，以沙梨、花椒、姜、蜂蜜或糖为材料，加水煮熟而成，这也是梨熟的名称由来。梨熟本为朝鲜宫廷料理，直至二十世纪中期才流传到民间。把梨子去皮后切片
拉杰殊·坎纳拉杰殊·坎纳（印地语：राजेश खन्ना，英语：Rajesh Khanna，真实姓名为：贾丁·坎纳（Jatin Khanna）；1942年12月29日－2012年7月18日）是印度知名电影男演员。拉杰殊·坎纳是宝莱坞电
棋钟棋钟，是用于围棋、国际象棋及将棋等棋类比赛时的计时工具。通常有代表比赛双方的两个钟与按钮，比赛开始前会将两个钟调至一致的时间（例如2小时）。开始比赛后，一方下棋后按钮，则自
德川治宝德川治宝（1771年7月29日－1853年1月16日），日本大名、纪州藩第10代藩主，极位极官为从一位大纳言，是御三家中唯一生前达到从一位的大名。明和八年六月十八（1771年7月29日）德川治宝出生，