强弱类型

✍ dations ◷ 2025-12-08 18:28:13 #计算机语言,类型论

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

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

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

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

相关

二十六人团二十六人团（Vigintisexviri；单数. vigintisexvir）是在罗马共和国低阶长官（magistratus minores）团体，字面意思是“二十六人”。二十六人团包括六个部分：在元首制期间，屋大维取消了两
农奴农奴制是一种在封建制度下、特别是庄园制度下的与农民地位相关的奴役制度。农奴制度主要发展在欧洲10世纪中世纪中期，持续到19世纪中叶，以财务束缚或变异的奴隶制为条件对农民
装饰艺术装饰艺术是指为某些功能性物品设计装饰的艺术，它包括室内设计，但通常不包括建筑设计。在视觉艺术中，装饰艺术通常与英语中"fine arts"的分类相反，而"fine arts"包括绘画、素描、
拉达宾诺德·巴尔拉达宾诺德·巴尔（1886年1月27日－1967年1月10日，印地语：राधाबिनोद पाल 、拉丁化：Radha Binod Pal）是印度的法律学者、律师。他是远东国际军事法庭印度代表。巴尔生于
黄婕菲黄婕菲（1973年10月10日－），原名黄淑媛，舞台剧、电视、电影演员。中山女中、国立台湾大学心理学系、国立艺术学院剧场艺术研究所毕业（2001年更名为国立台北艺术大学），主修表演。
科米-齐良语科米-齐良语（科米语：зыряна коми кыв；俄语：Коми-зырянский язык），或简称为科米语（科米语：Коми кыв）或齐良语，是多中心的科米语言之其中一种区域
艾伯特·K·班德艾伯特·K·班德（英语：Alfred K. Bender，1921年6月16日－2016年3月29日），美国有名的黑衣人证人，声称黑衣人其实就是外星人在地球活动时派遣的干员。出过《Flying Saucers and the Th
卡里·阿尔基武奥卡里·阿尔基武奥（芬兰语：Kari Arkivuo；1983年6月23日－）是一位芬兰足球运动员，在场上的位置是左后卫和右后卫。他现在效力于瑞典足球超级联赛球队赫根足球会。他也是芬兰国家足球
莱维·马代托亚莱维·安蒂·马代托亚（更为准确的音译为莱维·安蒂·马代特奥亚，芬兰语：Leevi Antti Madetoja，1887年2月17日－1947年10月6日），芬兰作曲家。作品包括交响曲、歌剧等，在芬兰的民族音乐
塘坑站 (广州)塘坑站是广州地铁4号线的一座车站，车站位于南沙区环市大道西江南路口。2017年12月28日随4号线南延段通车而启用。本站共有两层。地面为环市大道西、江南路、南沙小学及其他建