强弱类型

✍ dations ◷ 2025-12-02 17:43:33 #计算机语言,类型论

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

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

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

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

相关

糖原分解糖原分解是指由糖原分解成为葡萄糖-1-磷酸（G-1-P）及葡萄糖的过程，即糖原支链的异化作用。此反应的化学实质是链最末端的葡萄糖残基被磷酸化，进而以单体葡萄糖形式脱离糖原链。在
计亮年计亮年（1934年4月20日－），配位化学及生物无机化学专家，中国科学院院士（2003年）。现任广东省化学会理事长，中山大学教授、化学与化学工程学院院长。浙江省鄞县人，1934年出生上海市，1956
弗里蒙特-维纳玛坐标：42°36′N 121°12′W / 42.600°N 121.200°W / 42.600; -121.200弗里蒙特-维纳玛国家森林（英语：Fremont–Winema National Forest）是一座美国国家森林，2002年由弗里蒙特国
鸽形目small/small鸽形目（学名：Columbiformes）在动物分类学上是鸟纲中的一个目，现在仅包含一科——鸠鸽科。今天分布广阔、种类众多的鸽子与已经灭绝的愚鸠（渡渡鸟）都属于鸠鸽科。沙鸡科（Pteroclidae
长深高速长春－深圳高速公路，简称长深高速，中国国家高速公路网编号为G25，起点为长春，途经吉林、辽宁、河北、天津、山东、江苏、安徽、浙江、福建、广东10省市，全长3658.244公里。途经城市：
猞猁属猞猁属（学名：Lynx），短尾胸腹白毛耳尖黑毛，也称为山猫、大山猫、林㹭，是哺乳纲食肉目猫科的一属，主要分为四种：
NHK福山支局NHK福山支局，是日本放送协会位于广岛县福山市的支局，也是负责主管当地事务的放送支局。
刘易斯·伯韦尔·普勒美国第1海军陆战师香蕉战争墨西哥革命第二次世界大战朝鲜战争刘易斯·伯韦尔·“挺胸王”·普勒（英语：Lewis Burwell "Chesty" Puller，1898年6月26日－1971年10月11日），是美国海
陈昌笃陈昌笃（1927年1月－2020年2月20日），男，湖南新宁人，中国生态学家。1945年，考入国立清华大学地学系学习。1952年，入中国科学院植物研究所攻读植物生态学研究生。1953年起，陈昌笃任教于北
分形压缩分形压缩 (Fractal Compression)又名碎形压缩，是一种有损数据压缩（失真压缩）的方法，是一种以碎形为基础的图像压缩，适用于纹理及一些自然影像。当需要压缩的影像自身存在部分相似