强弱类型

✍ dations ◷ 2025-11-29 21:39:14 #计算机语言,类型论

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

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

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

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

相关

饮用饮用水是具有一定品质控管，可供饮用或使用而不会造成立即或长期性危害的水。在多数发达国家，即使只有极低比例的水实际使用于饮用或烹饪，常见用途包括洗涤和景观灌溉等，但其家庭
劳工保险劳工保险，一般简称为劳保，是中华民国政府所设计制定的一种强制性的社会保险制度。1950年，台湾省政府依据《台湾省劳工保险办法》开设劳工保险。在早期施行时，劳工保险制度层面属
Hemimastigophora半鞭毛虫（Hemimastigophora）是一类单细胞真核生物，目前认为此支序为多貌生物的姊妹群。本支序于1988年由Foissner等人建立的一个门级分类元，其下仅有Spironemidae一科。当时该支
海洋行星海洋行星（英语：Ocean planet）是一类假定存在的系外行星，其表面完全为液态水构成的海洋所覆盖，而没有陆地或岛屿。在外太阳系中形成的行星，其最初的物质构成类似于彗星，包括质量近乎
吴兴郡吴兴郡，中国三国吴时设置的郡，为“三吴”之一，治所在乌程县。东吴孙皓宝鼎元年（266年），分吴郡之阳羡、永安、余杭、临水，丹杨郡之故鄣、安吉、原乡、于潜、乌程九县置吴兴郡，治乌程，
北海道狼北海道狼，又称虾夷狼，是一种已灭绝的狼，曾分布在日本的北海道，以及俄罗斯的萨哈林州（桦太、千岛群岛）一带，后来因为人类大量猎杀，导致北海道狼的数量减少，在1889年灭绝。北海道狼和分
石勒苏益格-荷尔斯泰因石勒苏益格-荷尔斯泰因（德语：Schleswig-Holstein；丹麦语：Slesvig-Holsten；低地德语：；北弗里斯兰语：Slaswik-Holstiinj）是德国16个州中最北面的一个州。这个州是在第二次世界大战后设
甲基丙烯酸甲基丙烯酸，结构式H2C＝C(CH3)COOH。甲基丙烯酸在常温下为无色透明液体。易溶于热水、乙醇和大多数有机溶剂。易聚合。其蒸气可与空气形成爆炸性混合物。具中等毒性，对皮肤和粘
丹尼尔·戈特利布·施泰贝尔特丹尼尔·戈特利布·施泰贝尔特（德语：Daniel Gottlieb Steibelt，1765年10月22日－1823年9月20日）是一名德国钢琴家与作曲家。其作品主要都在巴黎和伦敦完成。施泰贝尔特于柏林出生，
无聊艺术无聊艺术，此概念为中国职业艺术家、批评家兼独立策展人王南溟所提出，相对于关注现实社会问题、呈现观点或立场的“批判性艺术”（以渠岩《权力空间》摄影为例），“无聊艺术”虚假而