强弱类型

✍ dations ◷ 2025-11-22 09:48:15 #计算机语言,类型论

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

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

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

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

相关

水泡状胎块葡萄胎也称水泡状胎、水泡状胎块（Hydatidiform Mole）是一种异常的人类妊娠，系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿，形成透明或半透明的薄壁水泡，形似
荧光粉磷光体（Phosphor）是产生冷发光现象现象的物质。包括缓慢亮度衰减（大于1毫秒）的磷光材料和发射衰减在几十纳秒之内的荧光材料。磷光体通常包含各种类型的过渡金属或稀土化合物。
缅甸联邦巩固和发展协会联邦巩固与发展党是缅甸的一个政党。其前身为国家和平与发展委员会，2010年6月2日在联邦选举委员会以此名注册为政党。2011年2月4日，该党时任主席登盛在缅甸联邦议会全体会议上
OHOH可能是：
Raven, Peter H.彼得·汉密尔顿·雷文（英语：Peter Hamilton Raven，1936年6月13日－），美国植物学家和环保主义者，在密苏里植物园长期担任主任和名誉主席。1936年6月13日出生于中国上海，他的父母是美国
彼得·辛格彼得·辛格（英语：Peter Albert David Singer 1946年7月6日－）著名澳大利亚哲学家，现代效益主义代表人物，动物解放运动活动家，美国普林斯顿大学生物伦理学教授，澳大利亚墨尔本大学应用
地幔熱柱地幔热柱（Mantle plume）或热柱或地幔柱是地球等行星地幔热对流的一种方式。较热的岩石由地幔底部一路上升至地幔顶部，此时岩石顶部会部分熔融，岩浆进而喷出地表，而这可能是热点或
驮隆口岸驮隆口岸（越南语：Cửa khẩu Tà Lùng），是位于越南高平省复和县的一个边境口岸。该口岸地处越南国道3号的终点，与中国广西省龙州县水口口岸隔河相望。广西·龙州中越水口—驮隆
室伏广治室伏·亚历山大·广治（日语：室伏アレクサンダー広治，英语：Koji Alexander Murofushi，1974年10月8日－），出生于静冈县沼津市，日本链球运动员，曾获两届亚运会冠军，为2004年雅典奥运会金
李方李方可以指：