强弱类型

✍ dations ◷ 2025-05-17 21:13:11 #计算机语言,类型论

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

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

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

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

相关

国家食品药品监督管理局1999年规定：国务院部委管理的国家局的印章直径4.5厘米，中央刊国徽，由国务院制发。国家食品药品监督管理局（官方英文译名：State Food and Drug Administration，缩写为SFDA），简称国家
邮区编号美国邮政编码（英语：ZIP Code）是美国邮政使用的一种邮政编码，一般常以大写ZIP。ZIP是英语：Zone Improvement Plan（地区改进计划）的简称，它暗示邮件可以以更有效率及快捷地送到目的地
株洲炎帝陵旅游区炎帝传说本非信史，其确切的葬地难以考证，现在中国境内有多处炎帝陵，其中最著名的是位于陕西省宝鸡和湖南省酃县的两处，而酃县也因为炎帝陵的关系于1994年更名为炎陵县。宝鸡相传
雌配子体雌配子体是指陆生植物在配子体阶段时，会产生雌配子者。苔藓植物的配子体极度发达，孢子体寄生于配子体上，而从蕨类植物开始，配子体开始退化，其配子体称原叶体，扁平且非常微小，仍可独
奚姓奚姓是一个汉字姓氏，在《百家姓》中排名第45位。一：“奚”出自“任”姓。据《姓源》载，夏朝奚仲任车正（掌管马车的官），原职于薛（山东滕县）后迁于邳（山东微山），其后代以“奚”为氏。二
小托马斯·J·沃森小托马斯·J·沃森（英语：Thomas Watson Jr.，全名小托马斯·约翰·沃森（Thomas John Watson, Jr.）1914年1月14日－1993年12月31日）是美国商人，政治人物和慈善家。他是IBM第二任总裁（1
方一藻方一藻，字子元。直隶歙县人。明朝政治人物。天启二年（1622年）壬戌科进士。崇祯三年（1630年），担任山东副使。崇祯四年，以右佥都御史，担任辽东巡抚。此后累升为兵部尚书。后以大学士巡
沈策 (镇海)沈策，浙江镇海人，中华人民共和国政治人物。担任旅大职工总会秘书长。1954年，当选第一届全国人民代表大会代表。
涅墨亚狮子涅墨亚狮子（希腊语：Λεον Νεμειο）希腊神话中的巨狮。它的皮坚逾金铁，刀枪不能入。“涅墨亚”三字源于它常年盘踞的涅墨亚（英语：Nemea）地方。该地一马平川，位于阿卡迪亚山脉
量子引力研究者列表以下为较有名的量子引力研究者列表，按姓氏拉丁字母首字序排列：