强弱类型

✍ dations ◷ 2025-12-10 02:04:36 #计算机语言,类型论

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

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

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

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

相关

乙醇醛羟乙醛（英语：Glycolaldehyde）是化学式为HOCH2-CHO的有机化合物，是最简单的羟基醛。羟乙醛常温常压下为白色固体，化学性质较为活泼，在生物圈和星际分子中都存在。尽管羟乙醛的分子
风力风力可以指：
麦克米伦出版公司麦克米伦出版公司（Macmillan Publishers Ltd.）是六大出版商之一，由苏格兰人丹尼尔及亚历山大·麦美伦两兄弟于1843年在英国伦敦成立，前英国首相哈罗德·麦美伦于卸任首相后曾担
佛性佛性（梵语：बुद्धधातु，Buddha-dhātu），大乘佛教术语，最早出现于《大般涅槃经》，为如来藏学派的学说之一。传入中国后，成为涅槃宗中心教义，也影响到汉传佛教各宗教，如地论宗、
Dromiacea绵蟹派（Dromiacea）是短尾下目下的一个节，包含240种现存的和约300已灭绝的蟹。绵蟹派和绵蟹亚派、圆关公蟹派被认为来自同一个单系群，但是形态学研究得出了相反的结论。绵蟹派的
道奇毒蛇道奇毒蛇（Dodge Viper）系一种克莱斯勒的跑车，1992年开始以道奇汽车品牌出产第一代，2008年推出第4代。毒龙的构想来自打造一种经典美式跑车。其中多数构想来自AC Cobra这款经典车
克罗雷 (阿拉巴马州)克罗雷（英文：Colony），是美国阿拉巴马州下属的一座城市。面积约为2.25平方英里（约合 5.83平方公里）。根据2010年美国人口普查，该市有人口268人，人口密度为119.01/平方英里（约合45.97/
扎戈列 (皮夫卡)坐标：45°38′28.08″N 14°13′22.28″E / 45.6411333°N 14.2228556°E / 45.6411333; 14.2228556扎戈列（斯洛文尼亚语：Zagorje, Pivka），是斯洛文尼亚的城镇，位于该国西南部内卡
齐藤铁夫齐藤铁夫（斉藤鉄夫，1952年2月5日－），日本政治家。公明党所属的众议院议员（8次当选）。历任众议院文部科学委员会委员长、公明党政务调查会长。第11、12任环境大臣。1952年出生于岛根
汉内斯·霍尔姆汉内斯·霍尔姆 (Hannes Martin Holm，1962年11月26日—) 是一名瑞典电影导演和编剧，他的大部分作品都是和 Måns Herngren 共同执导完成的。2015年电影《明天别再来敲门》获得