强弱类型

✍ dations ◷ 2025-12-02 11:26:41 #计算机语言,类型论

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

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

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

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

相关

  • 原子和分子物理学研究所原子和分子物理学研究所( Institute for Atomic and Molecular Physics )俗称AMOLF,是由荷兰基础物质研究基金会( Foundation for Fundamental Research on Matter,also known
  • B族维生素维生素B也作维他命B,是B族维生素的总称,它们常常来自于相同的食物来源,如酵母等。维生素B是身体内新陈代谢必需的一环,每种维生素B都参与了关键的代谢反应,通常以辅酶的形式存在
  • 地理学家地理学家是指受地理学训练、并以研究地球表面的地理环境中的各种自然和人文的现象,以及它们之间互相存在的关系(即地理学)为目的的科学家。西方的地理学者把地理学分为自然地理
  • 贝尔直升机德事隆贝尔直升机德事隆(Bell Helicopter Textron)是一家美国直升机和倾转旋翼机制造商,总部位于德克萨斯福沃斯(Fort Worth)。贝尔直升机前身为贝尔飞行器公司,属于德事隆(Textron)集团
  • 负债管理负债管理(Liability Management)简单而言,是银行或企业在资产负债表上对于负债部分的管理。一九六○年代,负债管理的概念兴起,乃因当时对于商业银行的资金来源与管制越趋严格,且
  • 三立电视戏剧节目列表三立电视剧,是指由三立电视自制或投资播放的台湾电视剧。多数三立偶像剧多与其他无线台以及电视台策略联盟制作播出,例如台视、中视、华视、东森电视等,也因此获得极高收视,本条
  • 张谦德张谦德(1577年-1643年),一作广德,后改名丑,字叔益,一字青甫,或作青父。江苏昆山人。明代书画家。张应文之子,生于明万历五年。万历二十三年(1595年)著《瓶花谱》,万历二十四年(1596年)著《
  • 糟菜糟菜是福建特产,主要以芥菜为原料,将其晒干加盐、置于容器中用红糟(酒糟)揉制腌存,使之入味。腌制后的糟菜保存时间长,一年四季可食,吃法多种,可有 蒸、炒、煮等烹饪方法,常作为烹饪
  • 我的共和国《我的共和国》(塞尔维亚语:Моја Република/Moja Republika)是波斯尼亚和黑塞哥维那境内政治实体塞族共和国的国歌。2006年,波斯尼亚与黑塞哥维纳宪法法院裁定原塞
  • 台湾人列表台湾人按职业分类,可以从以下各列表中查询。