强弱类型

✍ dations ◷ 2025-11-27 18:21:49 #计算机语言,类型论

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

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

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

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

相关

澳大利亚西部西澳大利亚州（英语：Western Australia，缩写：WA），简称西澳，是澳大利亚联邦的一个州，位于澳大利亚西部，今划分为142个地方政府区域，幅员广达2,525,500平方公里，占全国总面积1/3，是面积最广
管家管家是一个在大家庭中为其服务的仆人。如果房子非常大，那么会被分成不同的单元，如：餐厅、酒窖、餐具室，每个单元会有相应的管家来管理还会通常都会被分为很多部分。分解了管家的
津南校区坐标：38°59′13″N 117°20′49″E / 38.987076°N 117.347003°E / 38.987076; 117.347003南开大学津南校区，也称南开大学新校区，是南开大学于2015年9月5日正式启用的新校区
医药分家医药分家（业）是指开立处方跟调剂药物分离的一种制度。医药分家在西方的起源约可追溯到亚历山大大帝时代。相传亚历山大大帝在东征回程时肠胃不适，其御用医师为其治疗时不慎用药
海旋板海旋板（helicoplacoids）是一类已灭绝的棘皮动物，生存于寒武纪早期。身体覆有骨板，骨板间能够相对运动而使身体能够膨胀或收缩。食物沟呈螺旋形环绕身体并向下延伸。
大逃亡《大逃亡》（英语：）是英国另类摇滚乐队布勒乐队的第4张录音室专辑，1995年9月11日由Food Records及维京唱片发行。专辑发行后得到了极大的好评，并且达到英国专辑榜冠军，这也是他们第
cFosSpeedcFosSpeed是一个在Windows操作系统上管理网络流量的软件方案。在繁忙的网络环境中，它能有效改善网络延迟。这个程序以驱动程序的方式附加于Windows操作系统，进行数据包监测与
马赛长颈鹿马赛长颈鹿（学名：，英语：Masai giraffe），又名乞力马扎罗长颈鹿（英语：Kilimanjaro giraffe），是世界上体型最大的长颈鹿亚种。马赛长颈鹿源自东非，目前分布于坦桑尼亚和肯尼亚中南部地区。
张守炎张守炎（1848年－？），山东武定府海丰县（今山东省无棣县）人，清朝政治人物、同进士出身。同治三年，乡试中举。光绪十六年，登进士。同年五月，著主事，分部学习。光绪二十三年，任会典馆校对官。光
李林李林可以指：