强弱类型

✍ dations ◷ 2025-09-07 00:58:45 #计算机语言,类型论

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

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

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

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

相关

  • 农业农业是美国的主要工业,同时美国也是一个粮食净出口国。根据2007年农业普查,美国有220万个农场,占地面积373万平方公里(9亿2200万英亩),平均每个农场占地169公顷(418英亩)。虽然每个
  • 东非大裂谷东非大裂谷(Great Rift Valley),位于非洲东部,是一个在3500万年前由非洲板块的地壳运动所形成的地理奇观,纵贯东非的大裂谷是世界上最大的断裂带,属于生长边界。其所形成的生态、
  • 桤木属桤木属(也称赤杨属,学名:Alnus)是桦木科的一个属。在中欧有三种本土赤杨:普通赤杨,灰赤杨和绿赤杨。和其他桦木科植物一样,赤杨的花是单性雌雄同株的,葇荑花序。每一花序仅含有雌性
  • 吉美前列素吉美前列素是前列腺素E1的一种类似物,常用于治疗产科出血,也可与米非司酮一起用于24周内怀孕者堕胎。医学导航:遗传代谢缺陷代谢、k,c/g/r/p/y/i,f/h/s/l/o/e,a/u,n,mk,cgrp/y/
  • 时间疗法时间疗法(英语:chronotherapy),是指:尝试将睡眠时间和起床时间日复一日地后移,直到睡眠回归到正常的作息上。 这种治疗方法适用于患有睡眠相位后移症候群(DSWPD)的人,即总体上不能通
  • 国立自然科学博物馆凤凰谷鸟园生态园区国立自然科学博物馆凤凰谷鸟园生态园区(简称凤凰谷鸟园),位于台湾南投县鹿谷乡凤凰村,邻近鹿谷市区。占地30余公顷,饲养台湾本土及世界各地珍禽异鸟类约300种。现隶属于国立自然
  • 牵手 (消歧义)牵手可以指:
  • 前置四驱前置四驱(英语:Front-engine, Four-wheel drive layout,简写:F4)意指引擎前置在车头,由四轮驱动整辆汽车的方式。由于四轮均有动力,相对于只靠前轮或后轮驱动的设计,前置四驱拥有较
  • a Boy〜一直无法忘怀〜黄金(日本唱片协会)当周排行第2名(ORICON)《a Boy〜一直无法忘怀〜》,是日本乐团GLAY的第10张单曲。
  • 海外反腐败法海外反腐败法(英语:Foreign Corrupt Practices Act,缩写为FCPA,又被翻译称为反海外贿赂法),是一部美国联邦法律,其主要条款有两个:反贿赂条款和会计帐目条款。前者根据1934年证券交