强弱类型

✍ dations ◷ 2025-12-05 13:20:04 #计算机语言,类型论

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

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

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

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

相关

反义单链RNA病毒核糖核酸病毒（英语：RNA virus），又称RNA病毒，其遗传物质为RNA，这些核糖核酸通常是单链RNA（ssRNA），但是也可能是双链RNA（dsRNA）。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
连多硫酸连多硫酸是一种强酸，通式为H2SxO6，x可以从3一直到80，通常范围在1~6。阴离子通式为O3SSySO32-，y为0~3。连多硫酸常在加热时分解为硫酸、二氧化硫或硫
指南宫坐标：24°58′45″N 121°35′13″E / 24.97917°N 121.58694°E / 24.97917; 121.58694指南宫，位于台湾台北市文山区木栅指南山一带山麓，为台湾道教圣地之一，俗称仙公庙，以主祀
右手定则右手定则（英语：Right-hand rule）是一个在数学及物理学上使用的定则。是由英国电机工程师约翰·弗莱明（John Fleming）于十九世纪末期发明的定则，用来帮助他的学生轻松地求出移动于
各国石油消费量列表这是一个各国石油消费量列表，大部分数据基于世界概况。为了参考之用，几个非主权实体也包括在列表内。本列表列出各国石油消费量。
人参属人参属（学名：）属于五加科，主要生长在北半球的东亚和北美，特别是寒冷地区。发现于越南的越南人参（）是已知生长在最南端的人参。人参的特点在于含有人参皂苷。又称“西伯利亚人参”的
牛兆奎牛兆奎，直隶大兴（今北京大兴）人，是一名清朝政治人物。廪贡出身。乾隆六十年，接替唐仲冕。担任江苏荆溪县知县以靖江知县摄任。后由段琦接任。牛兆奎曾于1795年接替张桂林任娄县知
增田有华增田有华（増田有華，1991年8月3日－），之前是日本女子偶像团体“AKB48” Team K兼DiVA的成员，来自大阪府，隶属于FLAVE ENTERTAINMENT事务所。※奥真奈美的solo曲Under※柏木由纪的sol
铗蠓属见内文铗蠓属（学名：）是双翅目蠓科铗蠓亚科昆虫之下两个属的其中之一。这个属的物种还可以再细分为多个亚属：当中的蠛蠓亚属（）以吸取有脊椎动物的血为生；又有一些亚属是其他较大型昆
张炳斗张炳斗（1938年－），山东莱西朴木镇人，中华人民共和国武术家、作家，太极梅花螳螂拳第七代传人，第七届青岛市政协委员。1938年出生，其父亲张修山、祖父张文英、外祖父李昆山都是武术名家