强弱类型

✍ dations ◷ 2025-12-06 02:05:26 #计算机语言,类型论

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

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

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

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

相关

假根假根是植物和真菌的一种结构，和根一样用做支撑或吸收等用途。在真菌里，假根是由固定真菌的匍匐枝向下长的小小分歧菌丝。假根会释放出消化酶并吸收消化后的有机物质。在陆生植
多巴胺转运体n/an/an/an/an/an/an/an/an/an/a多巴胺转运体（英语：Dopamine transporter，DAT；溶质载体家族6成员3（英语：solute carrier family 6 member 3，SLC6A3））是负责将神经递质从突触运输回细
籀文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
统计学家以下列出了统计学家，或对统计学理论、概率论、信息论或机器学习、人工智能等相关领域作出过突出贡献的人。
元首行省罗马帝国的的历史上，行省的划分一直在变化，在奥古斯都统治期间，他在凯撒的基础上，行省被划分为元首行省和元老院行省，其中元首行省又称皇帝行省，由罗马皇帝指派总督进行统治。其通
机器织布局机器织布局为中国第一家机器棉纺织工厂，于1878年由四川候补道彭汝琮主持筹建，1880年，郑观应接手。1883年，上海金融风潮后，郑观应离局。1890年，开始投产。投产后，织布局营业兴旺，由于
枳枳（学名：），又称枸橘、臭橘，属于芸香科柑橘属植物。枳味苦，可作中药，中国《晏子春秋》中有“南橘北枳”的寓言，晏婴以此故事来说明环境的作用。但事实上，橘、枳为不同物种。灌木或小乔
卯月号驱逐舰4×45口径三年式12cm炮2×61cm三联装鱼雷发射管18×深水炸弹卯月号驱逐舰是旧日本海军所建造的十二艘睦月型驱逐舰中的一艘，该型驱逐舰于20世纪20年代建造。在太平洋战争中，卯
恒春县志恒春县志是清朝恒春县的方志，书成于光绪二十年（1894年），在当时并未刊行，主修者是恒春县知县陈文纬，总纂为浙江人屠继善。全书共有二十二卷，另有卷首、卷末。《恒春县志》的编纂是由
王鼎 (清朝)王鼎（1768年－1842年），字定九，号省厓，陕西同州府蒲城县（今陕西省渭南市蒲城县）人，清朝大臣。父王镇淮，为太学生。王鼎少时家贫好学，十九岁补诸生，二十五岁中举人。同族人王杰说他：“观子品