强弱类型

✍ dations ◷ 2025-11-30 10:43:43 #计算机语言,类型论

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

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

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

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

相关

区根据元素外层价电子构型的不同，周期表可以分成几个区；同一区里的元素，其填在最高能级上的电子的亚层轨道类型是相同的。分区的名称就是根据轨道的名称定的：下表列出了元素周期表
耶莱娜·珍高域耶莱娜·扬科维奇（塞尔维亚语：Јелена Јанковић，拉丁字母：Jelena Janković，1985年2月28日－），生于前南斯拉夫首都贝尔格莱德，塞尔维亚职业网球女运动员及联合国儿童亲善
连词连词（英语：conjunction; 西班牙语：conjunción）又称连接词，是用来连接词语、短语、句子、段落等的词，表示被连接的语言单位之间的关系。连不同的逻缉关系。连接词和词组的连词，跟连
张楚汉张楚汉（1933年10月11日－），中国水利水电工程专家。生于广东梅州梅县区。1957年毕业于清华大学水利工程系，1965年研究生毕业。清华大学水利水电工程系教授。2001年当选为中国科学院
环丁二烯环丁二烯是最简单的-轮烯（-轮烯），化学式为C4H4。它是一种极不稳定的碳氢化合物，仅能单独存在5秒钟。尽管环丁二烯含有交替的单双键，但是它不符合休克尔规则，因为它只有4个π电子，不
孙羽孙羽（1934年－2014年2月19日），原名孙洪纺，吉林扶余人，中华人民共和国导演、演员。早年进入东北电影制片厂当演员，出演《钢铁战士》、《翠岗红旗》、《猛河的黎明》、《暴风雨中的雄
恐齿猫古飙（Dinictis），又名恐齿猫，是猎猫科中的成员。它们体长1.1米，脚短只有约0.6米高，爪不能完全伸缩，颚部强壮，有长的尾巴。它们很像其近亲的伪剑齿虎。头颅骨形状很像猫科的，而不像剑齿
辛迪·克劳馥辛西娅·安·“辛迪”·克劳馥（英语：Cynthia Ann "Cindy" Crawford，1966年2月20日－），美国超级名模，曾是维多利亚的秘密（Victoria's Secret）的模特儿。西北大学化学系肄业。育有1子1女
韦恩赫尔·冯·布劳恩name = 'Transport',description = '交通',content = {{ type = 'text', text = ] },{ type = 'item', original = 'articulated bus', rule = 'zh-cn:铰接客车;zh-tw:双节
Cartes du Ciel天象仪Cartes du Ciel是一个开放源代码的天象仪程序，可以在Linux、Mac OS X 微软的平台上运行，目前已经发行到第四版，并且加入了Linux做为目标平台，使用授权也已从免费软件成为