强弱类型

✍ dations ◷ 2025-12-10 08:56:35 #计算机语言,类型论

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

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

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

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

相关

剑术剑术是指以剑进行格斗的技术。虽然很早就有使用剑的历史，但是剑术作为一门战斗技巧被整理和流传下来很晚。这个时期养士风气很浓，许多宾客都是剑术高手剑客，诸如越女、专诸、荆
被动式节能屋被动式房屋（德语：Passivhaus）源自于德国，德语中“Passivhaus”字面上所传达的意义可以拆解为Passive house 或 building，其中Passive是被动的意思，Haus指的就是房子亦或建筑物。当
Agsub2/subNaAg2Na是一种二元金属间化合物，由银和钠组成。Ag2Na可以由银和钠的单质在750 °C反应，并在322 °C以下由包晶反应析出：它可以和水反应，生成纳米银、氢氧化钠并放出氢气：它也能和乙
纵谷纵谷是指溪谷介于两座山脉之间，且山脉的走向与河流的主流方向是平行的，反之就是横谷；河川走向与山脉走向呈水平排列，即一山一河一山的排列，不论是南北向的（直的），或者是东西向的（横的
甑岛列岛坐标：31°45′12″N 129°47′03″E / 31.75328°N 129.78424°E / 31.75328; 129.78424 甑岛列岛（こしきしまれっとう）为东海上的一个群岛，由鹿儿岛县萨摩川内市管辖。主要有上
搜狐社区搜狐（NASDAQ：SOHU），是一家互联网中文门户网站。1995年，搜狐创始人张朝阳从美国麻省理工学院毕业回到中国，利用风险投资创建了爱特信信息技术有限公司，1998年正式推出搜狐网。2000年
登机牌登机牌是一种提供民用航空乘客登机证明的票证，通常是在乘客办理完登机报到手续后由航空公司发给。登机牌上，至少会标明乘客姓名、班机号码、搭机日期和时间。一般登机牌为长条
高锐高锐（1950年5月－），生于吉林长春，籍贯黑龙江双城。地球物理学家，从事地球物理与深部构造研究。1977年毕业于长春地质学院地球物理勘探系，1981年又取得该校硕士学位。担任中国地质科
约翰六世·坎塔库泽努斯约翰六世·坎塔库泽努斯，拜占庭帝国皇帝，1347年至1354年在位。约1295年，他出生在君士坦丁堡，1325年成为高等国公。在1321年安德洛尼卡三世与安德洛尼卡二世的战争中，他支持前者取
记忆之夜《记忆之夜》（韩语：기억의 밤）是2017年11月29日上映的一部韩国悬疑惊悚电影，剧情描述振硕（姜河那饰）的哥哥（金武烈饰）遭人绑架，回来之后却像变了一个人，并失去被绑架的记忆。哥哥的