强弱类型

✍ dations ◷ 2025-11-30 18:22:57 #计算机语言,类型论

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

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

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

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

相关

拿破仑战争反法同盟胜利，维也纳会议大英帝国奥地利帝国（1800–1805、1809、1813–1815）匈牙利王国（1809）俄罗斯帝国（1804–1807、1812–1815）普鲁士王国（1806–1807、1812–1815） S
印光法师净土宗十五祖印光（1862年－1940年11月4日），俗名赵绍伊，字子任，法号圣量，别号常惭愧僧，净土宗第十三代祖师，同时也是净土宗的重要中兴人物，并为中国近代佛教复兴作出显著贡献，常被尊称
通涨通货膨胀（英语：inflation，简称通膨）本意为货币流通数量增加，但也指向因货币流通数量增加，而使得物价水准在某一时期内，连续性地以相当的幅度上涨，也就是物价上升，货币购买力下降的现
无为金丹道无为金丹道，前身为圣贤道，是二十世纪中期活跃于中国山东省北部的一个会道门，该会道门声称“末劫年”即将到来，并吸引大量农民入教。1951年8月，该会道门在博兴县发动武装暴动，建立
埃利·嘉当埃利·约瑟夫·嘉当（Élie Joseph Cartan，1869年4月9日─1951年5月6日），法国数学家，嘉当又译卡当、卡坦。他在李群理论及其几何应用方面奠定基础。他也对数学物理、微分几何、群
吉列尔莫·恩达拉吉列尔莫·达维德·恩达拉·加利马尼（Guillermo David Endara Galimany，1936年5月12日－2009年9月28日），1989年至1994年担任巴拿马总统。他是巴拿马主义党创建者阿努尔福·阿里亚
黎有章黎有章（1915年4月－1958年6月23日），江西吉安人，中国人民解放军将领、中国人民解放军开国少将。曾任中国人民解放军福建军区参谋长。1955年，授予中国人民解放军少将。因患急性颗粒性
钟秉林钟秉林（1951年－），汉族，生于北京市。1977年毕业于南京工学院（1988年更名东南大学）机械系后留校任教，1987年在南京工学院获硕士学位，1990年公派英国留学，1994年在英国威尔士大学获博士学
约瑟夫·普利策约瑟夫·“乔”·普利策（Joseph "Joe" Pulitzer，1847年4月10日－1911年10月29日），匈牙利裔美国人，父亲是犹太人与匈牙利混血，母亲为德奥混血。美国报刊的编辑、出版者。美国大众报刊
X射线光电子能谱学X射线光电子能谱学（英文：X-ray photoelectron spectroscopy，简称XPS）是一种用于测定材料中元素构成、实验式，以及其中所含元素化学态和电子态的定量能谱技术。这种技术用X射线照