强弱类型

✍ dations ◷ 2025-10-24 19:00:31 #计算机语言,类型论

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

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

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

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

相关

  • 新壁总域新壁总域(Neomura)是一个演化支,由古菌域和真核生物域两域生物所组成。这个概念是由2002年被汤玛斯·卡弗利尔-史密斯所提出。他假设新壁总域成员演化自真细菌,其中一个主要的改
  • 台湾的艾滋病情况台湾于1984年12月发现首例艾滋病个案。1990年中华民国政府公布后天免疫缺乏症候群防治条例,2007年修正法令名称人类免疫缺乏病毒传染防治及感染者权益保障条例,是防治艾滋病以
  • 礼文岛坐标:45°22′57″N 141°01′41″E / 45.382537°N 141.028061°E / 45.382537; 141.028061礼文岛(日语:礼文島/れぶんとう Rebuntō */?)是位于日本北海道北部、稚内以西方60
  • 查莫罗语查莫罗语(Chamorro 或 Chamoru),又称查莫洛语,是西太平洋的马里亚纳群岛上查莫罗人使用的语言,属于“马来-波利尼西亚语族”(Malayo-Polynesian languages)。查莫罗语在关岛是官方
  • 代言人代言人(Product Endorser、Advertising Endorser),代替某方面发表言论的人。也是指代表某一特定品牌、产品或服务,发表官方言论的人。 发言的目标是要达到正面的效果,例如令传媒
  • 房凤友房凤友(1941年-),天津市人,中华人民共和国政治人物。1961年,就学于河北北京师范学院历史系历史专业,毕业后担任河北日报社编辑、调研组副组长。1975年,升任河北省委办公厅副主任。后
  • 富勒浑富勒浑(满语:ᡶᡠᠯᡝᡥᡠᠨ,转写:;18世纪?-1796年),蒙古镶白旗人。富勒浑初自举人,后授为内阁中书舍人,累迁户郎郎中。除此之外,于乾隆二十年(1755年)至乾隆二十三年(1758年)期间,富勒浑亦
  • 阿尔文学说阿尔文学说是瑞典物理学家阿尔文提出的一种关于太阳系起源的学说。这种学说认为电磁作用在太阳系起源过程中起到了主导的作用。阿尔文学说认为,太阳形成时具有很强的磁场,太阳
  • JavaForgeJavaForge为JavaLobby采用CodeBeamer与Subversion所建立的自由软件开发专案管理网站。提供免费的开放源代码专案协同作业与讨论分享的空间。此平台于2005年的9月开始运作,提
  • 赵弘灿赵弘灿(?-1717年),字天英,中国清朝官员。史书中为避讳乾隆名号弘历,也写成的赵宏灿,实为赵弘灿。甘肃省宁夏卫人(今宁夏银川人)。为清朝名将赵良栋长子,胞弟赵弘燮。康熙十九年(1680)年,因