强弱类型

✍ dations ◷ 2025-11-28 06:27: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》的作者，曾说：

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

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

相关

长寿命裂变产物长寿命裂变产物一般指由核裂变反应产生的、半衰期超过20万年的放射性物质。这并非精确的科学定义，比如有人把某些半衰期在20年至100年间的裂变产物也称作长寿命裂变产物。另
东哥德人东哥特人（Ostrogoths），港、台译作东哥德人，是哥特人的一个分支，3世纪时曾在黑海北边建立一个帝国。5世纪末在意大利建立东哥特王国。东哥特人自波罗的海地区向南扩张，建起一个其幅
CHg有机汞化合物是含有碳-汞键的一类金属有机化合物，这类化合物通常都有很大的毒性。烷基碘化汞可由活泼碘代烃和汞在光照下反应得到，活泼碘代烃有碘甲烷、烯丙基碘、炔丙基碘和
硬石膏无水硫酸钙，又称硬石膏或无水石膏，一种矿物，化学成分为CaSO4。正交晶系。晶体呈柱状或厚板状，集合体呈块状或纤维状产出。无色透明或白色，常因含杂质而呈浅灰色，有时微带浅蓝色或
未成年怀孕未成年怀孕是指是指未达当地法定成年标准的少女有了身孕，女性只要在开始排卵之后有进行性行为就有可能怀孕，未成年怀孕多半是在第一次月经之后，但也有可能在第一次月经之前就怀
娄星区娄星区是中国湖南省娄底市所辖的一个市辖区。总面积428平方公里。2003年总人口41万人。娄星区辖7个街道、3个镇、4个乡：乐坪街道、花山街道、黄泥塘街道、长青街道、大科街道
硫化锌硫化锌（化学式：ZnS）是锌的硫化物，为白色至黄色粉末或晶体，难溶于水，主要以闪锌矿和纤锌矿的形式存在。这两种结构都为宽禁带半导体材料，在光电子器件中有广泛应用。闪锌矿结构为立
阿岱汗阿岱汗（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
路易-尼古拉·沃克兰路易-尼古拉·沃克兰（法语：Louis-Nicolas Vauquelin，1763年5月16日－1829年11月14日），生于法国诺曼地圣昂德雷代贝尔托，药剂师及化学家，为化学元素铬及铍以及氨基酸天冬酰胺的发现者
倾盆大雨 (平井坚单曲)《倾盆大雨》（日语：ドシャブリ／罗马拼音：Doshaburi／英文：Pouring Rain），日本男歌手平井坚的第4张单曲。1996年8月21日发行。