强弱类型

✍ dations ◷ 2025-06-08 01:54:00 #计算机语言,类型论

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

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

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

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

相关

  • 怀孕妊娠(英语:pregnancy),又称怀孕,是指胚胎或胎儿(英语:Offspring)在哺乳类雌性体内孕育成长的过程,而在哺乳动物中研究得最详细的是人类的妊娠。人类的妊娠约40周,从受精排卵算起则为38
  • 孟-高棉语族孟高棉语族是东南亚的语言集合,包括孟语和高棉语等多种语言。按照传统的分类,这个语族与印度的蒙达语族(又译扪达语族)构成南亚语系。新近的分类已经抛弃这种二分法:Diffloth(2005
  • 熹平石经残石熹平石经又称“一字石经”、“一体石经”、“今字石经”,是刻于东汉熹平四年(175年)的石经,它是官方校定儒家“七经”的刻石,由蔡邕、颍川堂溪典、光禄大夫杨赐、谏议大夫马日䃅
  • 海战海战,指的是在海洋中透过海军进行的战斗或战争。主要利用军舰、潜艇、飞机等武器展开攻击。早期主要通过舰艇作战,以登舰、撞击手段为主。火药发明后,大炮开始成为舰艇的主要武
  • 新东方新东方学校(NYSE:EDU),简称新东方,全名新东方教育科技集团有限公司,公司在开曼群岛注册,总部位于北京市海淀区中关村,在美国纽约证券交易所上市,是中国大陆目前规模最大的英语培训公
  • 黑河黑河可以指:
  • 詹姆斯·罗思曼詹姆斯·E·罗思曼(英语:James E. Rothman,1950年11月3日-),美国生物学家和医学家,耶鲁大学细胞生物学系系主任、Fergus F. Wallace名誉生物医学教授。他曾获得多种荣誉,包括哥伦比
  • Cerocero 是一支在 2004 年成立的日本乐团,由高城晶平、荒内佑、桥本翼三位成员组成。团名为 “Contemporary Exotica Rock Orchestra(现代异奇摇滚管弦乐团)”的缩写。乐团所发表
  • 天主教达累斯萨拉姆总教区天主教达累斯萨拉姆总教区 (拉丁语:Archidioecesis Daressalaamensis;斯瓦希里语:Jimbo Kuu la Dar-es-Salaam)是坦桑尼亚一个罗马天主教教省总教区,下辖五个教区。南桑吉巴宗座监
  • Alcohol 120%Alcohol 120%是Alcohol Soft的软件产品之一,集合光盘刻录及模拟映像档功能,可刻录CD/DVD及虚拟多台光盘驱动器,支持ISO等多种光盘映像格式。这套软件可用作光盘数据备份,透过复