强弱类型

✍ dations ◷ 2025-09-18 06:07:03 #计算机语言,类型论

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

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

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

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

相关

风切变风切变（wind shear），又称风剪，是指大气中不同两点之间的风速或风向的剧烈变化。根据两点高度之间的差异，风切变可分为水平和垂直两大类。是指垂直于地表方向上风速或风向随高度的
玛丽·萨普玛丽·萨普（英语：Marie Tharp，1920年7月30日－2006年8月23日），美国女性地质学家、海洋学家。她与布鲁斯·希森（英语：Bruce C. Heezen）合作绘制了世界上第一幅科学性的全球海底地形图。
ATX规格ATX（Advanced Technology Extended）主板规格由英特尔公司在1995年制定。这是多年来第一次电脑机壳与主板设计的重大改变。ATX取代AT主板规格，成为较新电脑系统默认的主板规格。
第二次王子之乱第二次王子之乱，是1400年朝鲜王朝发生的宫廷政变，又称庚辰靖社。1398年朝鲜发生第一次王子之乱后，李朝太祖李成桂退位，其次子定宗李芳果即位。政变的发动者、为朝鲜开国立下功劳
奇拉岛奇拉岛（西班牙语：Isla de Chira）是哥斯达黎加的一座岛屿，位于尼科亚湾最内部，滕皮斯克河出海口附近，面积约3000公顷。坐标：10°06′N 85°09′W / 10.100°N 85.150°W / 10.100; -
美国的语言美国最广泛的语言是英语，但美国联邦政府并没有设有官方语言。历史上存在过很多语言。其他有美国本土的语言，也有来自欧洲、亚洲等地区的语言。目前美国所使用的语言约有430种，
可可粉可可粉（Cocoa powder）、可可块（Cocoa solid），或者直接叫可可。其成分是从可可树结出的豆芙（果实）里取出的可可豆（种子），经发酵、粗碎、去皮等工序得到的可可豆碎片（通称可可饼），由可可饼
维捷斯拉娃·卡普拉洛娃维捷斯拉娃·卡普拉洛娃（捷克语：Vítězslava Kaprálová，1915年1月24日－1940年6月26日），捷克作曲家、指挥家。生于布尔诺一个音乐家庭，她的父亲是著名作曲家雅纳切克的学生、作曲
克里夫顿·威廉姆斯克里夫顿·C·C·威廉姆斯（Clifton 'C.C.' Williams，1932年9月26日－1967年10月5日），前美国海军陆战队少校及美国国家航空航天局宇航员。
亚历山大·叶夫根尼耶维奇·鲍文亚历山大·叶夫根尼耶维奇·鲍文（俄语：Александр Евгеньевич Бовин，1930年8月9日－2004年4月29日），苏联的记者、政治学家、外交官，曾担任过苏共中央总书记