强弱类型

✍ dations ◷ 2025-11-08 02:55:50 #计算机语言,类型论

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

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

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

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

相关

高雄市议会坐标：22°37′16″N 120°20′50″E / 22.6212210°N 120.3473535°E / 22.6212210; 120.3473535高雄市议会是高雄市的最高立法机关，位于凤山区国泰路上。现行高雄市议会系于2
贾吉商学院剑桥大学贾吉商学院（英语：Cambridge Judge Business School)，成立于1990年，原为贾吉管理研究学院（Judge Institute of Management Studies）位于联合王国的英格兰剑桥市Trumpington
淡水街长多田荣吉故居淡水街长多田荣吉故居又可称多田荣吉故居是一个在台日本式建筑。始建于1937年。原先为日治时期的淡水街长多田荣吉的住居。原预定2014年能完成整修并且开放参观，但因种种因素
藤嶋昭藤嶋昭（日语：藤嶋昭／ふじしまあきら Fujishima Akira ?，1942年3月10日－），日本化学家，东京理科大学校长，东京大学最初4名特别荣誉教授之一，神奈川科学技术学院（日语：神奈川科学技術ア
奥兰特奥兰特（英语：Aurant）是位于美国加利福尼亚州洛杉矶县的一个非建制地区。该地的面积和人口皆未知。奥兰特的座标为34°04′41″N 118°09′51″W / 34.07806°N 118.16417°W /
柑桔柑橘属（学名：Citrus），或写作柑桔属，属于芸香科，包括柚、柑、橘、橙、柠檬、枳、金橘等，在世界上主要分布在北纬35°以南的区域。包含一般熟知的柑橘类水果。而柑橘属中有不少野生
预算线预算线又称预算结束线，消费可能线和价格线。预算线表示在消费者的收入和商品的价格给定的条件下，消费者的全部收入所能购买到的两种商品的各种组合。预算线，又名预算限制(Budge
葡萄牙华人葡萄牙华人（葡萄牙语：）是指居住在葡萄牙的华人，不管其国籍为何。而国籍为葡萄牙的华人则称为华裔葡萄牙人。葡萄牙华人是葡萄牙最大的亚裔团体，在葡萄牙具有外国背景的团体当中排
约瑟夫·鲁斯约瑟夫·鲁斯（罗马尼亚语：Iosif Rus；1936年2月1日－），少将，罗马尼亚的空军司令，1989年罗马尼亚革命时期，加入到罗马尼亚救国阵线一边，之后担任过国防部首席顾问。1997年被转移到预备役
吊带吊带(安全带），又称背带，是穿在双肩上用来吊起裤子的两条带子。带子通常是带有弹性的，或者整条都有弹性，或者仅在带子和裤子相接触的部分带有弹性。大多数吊带是用织布制作，在背后