强弱类型

✍ dations ◷ 2025-10-22 04:35:16 #计算机语言,类型论

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

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

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

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

相关

  • 农业部长美国农业部(英语:United States Department of Agriculture,缩写:USDA),是美国联邦政府的一个行政部门,该部通过对农业生产的支持,提高美国人民的生活质量。农业部前身是1862年5月15
  • 玉山南峰玉山南峰标高3,844米,日治时期名为南山、新高南山,行政区属于高雄市桃源区梅山里。自主峰远眺,山棱蜿蜒,状似游龙,台湾登山家刑天正称其为天龙峰,在某些地图上会注记为玉山三叉峰
  • 察合台语察合台语,也作察哈台语、查加泰语(جغتای - Jaĝatāy; 维吾尔语: چاغاتاي Čaγatai/Chaghatay; 乌兹别克语: ﭼﯩﻐﻪتاي Chig'atoy),是中亚地区一种已经消亡的语言,被逐
  • 光海君光海君(朝鲜语:광해군/光海君 Gwanghae gun;1575年-1641年),名李珲(朝鲜语:이혼/李琿 Yi Hon),朝鲜王朝的第15代君主,公元1608年至1623年在位。他是前任君主朝鲜宣祖与其爱妃恭嫔金氏(공
  • 林秉恩林秉恩,SBS,JP(Dr Lam Ping-yan,1952年6月13日-),社会医学专科医生,曾经担任卫生署署长兼医疗辅助队总监。2010年6月,立法会政府账目委员会指出林秉恩和食物及卫生局局长周一岳对药物
  • 有一个地方只有我们知道《有一个地方只有我们知道》(英语:Somewhere Only We Know),是一部于2015年2月10日情人节档上映的中国爱情电影,由徐静蕾执导,吴亦凡、王丽坤、热依扎、张超领衔主演。故事穿梭于
  • 安贞桥坐标:39°58′08″N 116°24′25″E / 39.9688472°N 116.4069522°E / 39.9688472; 116.4069522安贞桥位于北京市朝阳区,是北京三环路的一座立交桥。桥梁总面积3113平方米。
  • 张愚张愚(1500年-?年),字子明,号东居,山东诸城县人,直隶天津左卫军籍,明朝政治人物。嘉靖十一年(1532年)壬辰科第二甲第四十六名进士。观都察院政。历升员外郎,出为山西按察司佥事,转布政使司
  • I.B.II.B.I(韩语:아이비아이)由韩国LOEN娱乐于2016年推出的企划女团,成员包括李海印、金昭希、尹彩暻、李秀炫、韩慧利。SK telecom-C.I.V.A篇以上皆为(朝鲜文)注:角标示
  • 班姓班姓,在《百家姓》中排第235位。班氏的人口总数在中国大陆和台湾,皆未列入百家姓前三百位。一般的班姓都是分布于今日的河南省、山东省、陕西省等黄河流域地区。