强弱类型

✍ dations ◷ 2024-12-23 10:44:51 #计算机语言,类型论

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

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

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

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

相关

酸乳酸乳、酸奶（英语：soured milk）是指牛奶通过酸化而生产出来的一系列饮料。酸化是通过乳酸菌发酵或添加酸味来实现的，比如柠檬汁或醋。酸化后的牛奶可以抑制有害细菌的生长，提高产
最大尿流率最大尿流率是尿流动力学检查中，非介入检查记录图——尿流率图，中的重要数据之一；是用尿流率计（尿流率图记录仪）描记下排尿过程连续的即刻尿流率数值曲线的峰值。最大尿流率计算单
沃拉普克语沃拉普克语（Volapük）是第一个较为成功的人造语言，是世界语的先驱。1880年，由德国巴伐利亚牧师约翰·马丁·施莱尔创造。形态学上它是粘着语型的，但变格很多，动词形式很复杂，语法和
尼古拉·齐赫泽尼古拉·齐赫泽（格鲁吉亚语：ნიკოლოზ ჩხეიძე，1864年－1926年6月13日）俄国政治家，格鲁吉亚社会民主党领导人之一。生于高加索库塔伊西省。从1870年代开始积极宣传马克思
迈克尔·基恩迈克尔·文森特·基恩（英语：Michael Vincent Keane，1993年1月11日－），英格兰职业足球运动员，司职中后卫，出身曼联青训系统，现时效力埃弗顿足球俱乐部。迈克尔·基恩的双胞胎兄弟威尔·
吉尔伯特·泰勒吉尔伯特·泰勒，B.S.C. （Gilbert Taylor）（1914年4月12日-2013年8月23日）是一名英国电影摄影师。在第二次世界大战中在英国皇家空军当了6年志愿军官，之后他成为了Avro兰卡斯特轰炸
托尼·阿卡多安东尼奥·约瑟夫·阿卡多（Antonino Joseph Accardo，本名安东尼奥·利奥纳多·阿卡多（Antonino Leonardo Accardo），1906年4月28日－1992年5月22日），又名"Joe Batters"或者"Big Tuna"，
会话劫持会话劫持（Session hijacking），是一种网络攻击手段，黑客可以通过破坏已创建的数据流而实现劫持。
大本真基子大本真基子（1973年2月1日－）是日本女性声优。※粗体字表示说明饰演的主要角色。2008年2009年2011年2013年2014年2015年2016年2018年2019年
奈茨兰丁 (加利福尼亚州)奈茨兰丁（英语：Knights Landing）是位于美国加利福尼亚州优洛县的一个人口普查指定地区。奈茨兰丁的座标为38°47′59″N 121°43′06″W / 38.79972°N 121.71833°W / 38.7997