强弱类型

✍ dations ◷ 2025-11-19 19:05:39 #计算机语言,类型论

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

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

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

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

相关

土豆土豆可能表示：
铬酸盐铬酸盐是铬酸形成的非多聚阴离子的盐，含有铬酸根离子——CrO2−4，呈现特征性的黄色；重铬酸根化学式则为 Cr2O72−，在水性溶液中呈橙色。铬酸盐中的铬为 VI 氧化态，具氧化性、有毒
榕树榕亚属（学名：Ficus subg. Urostigma），是桑科榕属的亚属之一，由于多为常绿乔木及细节分冶不易被人分辨，因此也统称榕树。有“正榕”、“鸟榕”、“老公须”或“戏叶榕树”等别名。
硅铝层硅铝层是地球化学中所指地球的大陆地壳岩石圈，得名于其主要构成化学元素硅与铝。也称硅铝层岩石为长英质，因为其包含很高比例的硅铝长石矿物。硅铝层最初由爱德华·修斯在19世
蒙索罗城堡-当代艺术博物馆蒙索罗城堡-当代艺术博物馆 (法语：Château de Montsoreau - Musée d'Art contemporain），地处卢瓦尔河谷，是一处对外开放的私人博物馆。这一项目从2014年11月开始策划，于2016年
松鼠猴松鼠猴（学名Saimiri sciureus）是一种小型的新世界猴，属于卷尾猴科，分布于南美的大多数国家。由于松鼠猴体型娇小，不具有攻击性，因此近年来深受全球各地动物园的欢迎，国内不少野生动
侵华日军侵华日军，是中国抗日战争期间所有参与侵略中国的日本军各部队的泛称，先后包括中国驻屯军、关东军、华北方面军（北支那方面军）、上海派遣军、华中方面军（中支那方面军）、驻蒙军、华
魔兽世界种族列表魔兽系列作品中有着庞大的背景故事体系，包括许多虚构的种族和派别。大部分种族隶属于联盟和部落两个阵营，但是也有各种中立的种族和派别，他们对联盟和部落有时候会处于友好或敌
山冈铁舟山冈铁舟（1836年7月23日－1888年7月19日），日本幕末政治家、剑术家及思想家。讳高步、通称铁太郎，铁舟为其居士号。一刀正传无刀流的开山祖师，与胜海舟、高桥泥舟（日语：高橋泥舟）并称“
同时多线程同时多线程（英语：Simultaneous multithreading，缩写SMT）也称同步多线程，是一种提高具有硬件多线程的超标量CPU整体效率的技术。同时多线程允许多个独立的执行线程更好地利用现代