强弱类型

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

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

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

相关

血尿血尿（英语：Hematuria、hematuria、或 haematuria）是指尿液中带有红细胞的症状。当尿液中含有少量红细胞时，肉眼无法识别，仅在实验室检查时才能发现，称为镜下血尿（microscopic hemat
尼帕病毒亨尼巴病毒属（学名：Henipavirus），包括尼帕病毒（又译尼巴病毒、立百病毒）（Nipah virus）和亨德拉病毒（Hendra Virus，HeV）。1999年于东南亚被发现的会引发立百脑炎的新型病毒，也会造成人类
反重力反重力一词常见于宇宙论和星体动力学。该词的概念是希望能创造一个物体或者空间，可以不受重力影响。它并不是指一种失重状态，例如自由落体或卫星运行，也不是指用别的力来平衡万
自动车汽车（英式英语：car；美式英语：automobile；美国口语：auto），即本身具有动力得以驱动，不须依轨道或电缆，得以动力行驶之车辆。广义来说，具有两轮或以上以原动机行驶之车辆，便可称为汽车；狭义
主神教主神教是另一邪教组织“被立王”派生的一个教派，系基督教新教地方教会运动变种组织。1998年被中华人民共和国政府宣布为邪教组织加以取缔。“主神教”教主刘家国，于1964年10月
足球比赛足球比赛是两支足球队之间根据足球比赛规则所进行的比赛。各种足球比赛里，最有影响力的是世界杯足球赛，每四年举办一届，1930年由乌拉圭开始举办第一届，因为二战停办了两届，从1950
癸烷正癸烷是化学式为CH3(CH2)8CH3的烷烃，总共有136种异构体，若不计立体异构则为75个，全都是可燃液体。癸烷是汽油的组分之一。与其他烷烃类似，癸烷是非极性分子，不易溶于水之类的极
上原勇作上原勇作（日语：うえはらゆうさく、1856年12月6日－1933年11月8日），日本明治～昭和时期的陆军军人。元帅陆军大将从一位大勲位功二级子爵。陆军大臣、教育总监、参谋本部参谋总长。
GoodreadsGoodreads是一家图书分享型社交网站。网站由Otis Chandler和Elizabeth Chandler创立，于2006年底启动，2007年1月正式推出，总部位于美国旧金山。网站允许访客搜索网站内已收录的
道林·格雷的画像《道林·格雷的画像》（），亦作《道林·格雷的肖像》，由爱尔兰作家奥斯卡·王尔德创作，是极少数仍广受欢迎的十九世纪唯美主义小说之一。此小说具有很强的唯美倾向，不但文辞绚丽，意象