强弱类型

✍ dations ◷ 2025-12-04 10:50:36 #计算机语言,类型论

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

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

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

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

相关

皮革皮革或称革，是指经鞣制等制革过程处理的动物皮肤，是一种服装和工艺材料。二十世纪以来还用聚氨酯、聚氯乙烯等合成高分子制造外观模仿皮革的材料，称为“人造革”。因此来自动物
法国电视二台除特别注明外，本文所有时间均以东一区时间（UTC+1）为准。法国电视二台（France 2）是法国国营的电视台公共频道，与法国电视三台，法国电视四台，法国电视五台，法国电视Ô台一样，隶属于国有
索勒索勒（Sorø）是位于丹麦西兰大区索勒自治市的一个城市。2003年，有人口6,996人。索勒是西兰大区及索勒自治市的行政中心所在地。
十方法界弘法卫星电视台十方法界弘法卫星电视台（英语：Cosmos Buddhist Missionary TV），简称十方法界卫视，是台湾的一家佛教电视台，由法界弘法卫星电视台创办人之一黄丽淑及其子女创办。1996年，法界弘法卫
鲜花饼鲜花饼是一种以食用花卉（主要为食用玫瑰花）入馅的酥饼，为中国传统糕点，以酥脆爽口、花香沁心而著称。鲜花饼的历史可追溯到清朝，据晚清《燕京岁时录》记载：“四月以玫瑰花为之者，谓
先吉列伊坐标：53°58′N 48°48′E / 53.967°N 48.800°E / 53.967; 48.800先吉列伊（俄语：Сенгиле́й）是俄罗斯乌里扬诺夫斯克州东部的一个城市，位于伏尔加河（古比雪夫水库）西岸，
本杰明·巴瑟斯特 (外交官)本杰明·巴瑟斯特（英语：Benjamin Bathurst；1784年3月18日－1809年？），或译班杰明·巴沙斯特，是18世纪时期的一位英国外交官。在拿破仑战争期间，他被任命为英国的全权公使，前往奥地利。18
全民写传记全民写传记是2008年时由台湾桃园县政府发起的一项文化活动，该活动的宗旨为鼓励与保存珍贵而隐性的民间传记文化资产，培养民间传记书写人才，促进多元文化发展与融合，并提供地方教
DMZDMZ（全称Demilitarized zone，中文为“非军事区”，或称Perimeter network，即“边界网络”、周边网络或“对外网络”）为一种网络架构的布置方案，常用的架设方案是在不信任的外部网络
周佳纳周佳纳（1974年—），即好莱坞著名的China Chow，著名演员、模特。在西方有“中国千金”之称。持英国、美国双国籍。1974年4月，出生于英国伦敦。祖籍浙江慈溪，出自周信芳家族，是京剧大