强弱类型

✍ dations ◷ 2025-12-05 07:05:49 #计算机语言,类型论

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

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

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

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

相关

西蒙·德·孟福尔西蒙·德蒙福尔（法语：Simon de Montfort）可以指以下法国裔贵族：
卫星图卫星影像，又称卫星图（Satellite imagery）、卫星地图、卫星图像，是指搭载在人造卫星上的摄影设备拍摄的地球或其它星球的地图式照片。在战争导航，地理行业有较广泛的应用。其中Goo
宋　佳宋佳（1980年11月13日－），黑龙江哈尔滨人，中国大陆女演员，上海戏剧学院表演系本科学士毕业。曾获2012年中国电视金鹰奖最佳女演员及2013年中国电影金鸡奖最佳女主角。因有同名的前辈
郑晓幸郑晓幸（1956年－），湖北武汉人，汉族，中华人民共和国政治人物，四川省文化厅厅长，中国共产党党员。四川省委党校政治经济学专业毕业。2008年，当选第十一届全国人民代表大会四川地区代表。
衡水市第二中学衡水市问津北街98号（东校区）衡水市第二中学（衡水外国语学校，英语：No.2 Middle School of Hengshui City，简称衡水二中），是一所位于中国河北省衡水市桃城区的高级中学，同时也是河北省
达夫·莫兰达夫·莫兰（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taam
刘子华刘子华（1899年9月20日－1992年4月1日），四川省简州甄子场（今洛带镇）人，客家人，巴黎大学文学博士，中国天文学家、易学家暨伪科学学家，号称利用易学结合天文学创造“八卦宇宙论”，推测出所
EXORExor N.V.是一家意大利的控股公司，在荷兰注册成立，由意大利阿涅利家族所有。它的资本总额接近240亿美元，有超过一个世纪的投资历史。其主要投资包括菲亚特克莱斯勒汽车、Partne
黄琨 (阮朝)黄琨（越南语：Huỳnh Côn或Hoàng Côn／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UN
娜塔莉·萨罗特娜塔莉·萨罗特（法语：Nathalie Sarraute，1900年7月18日－1999年10月19日）, 原名娜塔莉（娜塔莎）·切尔尼亚克，生于俄罗斯的伊万诺沃，是一位原籍俄罗斯、但在法国文学领域颇有建树的女性