强弱类型

✍ dations ◷ 2025-11-24 04:42:58 #计算机语言,类型论

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

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

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

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

相关

精华町精华町（日语：精華町／せいかちょう Seika chō */?）是位于京都府南部的行政区划，木津川从辖区东侧通过，辖内西部与南部为丘陵地，主要市区位于东部的平原。由于被划入关西文化学术
姐妹染色单体姐妹染色单体（英语：Sister chromatids，或称姊妹染色单体）是指被同一个着丝粒相连接的两个完全相同的染色体拷贝之一。在DNA复制结束后，每对染色体包含一对相同的备份，被称为姊妹染
Paragonimus skrjabini斯氏肺吸虫（学名：Paragonimus skrjabini），亦作斯氏并殖吸虫，是一种淡水生的斜睾目住胞科并殖属吸虫，营寄生生活，以福建南海溪蟹（Nanhaipotamon fujianense）为中间宿主。
康平康平可以指：
板齿鼠板齿鼠（学名：）为鼠科板齿鼠属的动物，原生于中国、印度、印尼、老挝、缅甸、尼泊尔、斯里兰卡、泰国、越南，并引进马来西亚。分布于中国的广西、广东、云南、四川、贵州、福建等地
2014年国际足联世界杯外围赛 – 欧洲区F组2014年世界杯外围赛欧洲区F组（英语：2014 FIFA World Cup qualification UEFA Group F）是欧洲足协辖下2014年世界杯欧洲赛区外围赛的一个分组，包括葡萄牙、俄罗斯、以色列、北爱
小尾元政小尾元政（日语：おびゆきまさ；1978年9月22日－）是日本男性声优。所属经纪公司ガジェットリンク（日语：ガジェットリンク），北海道网走市出生。2000年，以电视动画‘女神候补生’的主角杰
尚典尚典（琉球语：尚典／ショーティン ?；日语：尚典／しょうてん；1864年9月2日（同治三年八月二日）－1920年9月20日）和名中城王子朝弘，是琉球国末代国王尚泰王的长子。他是琉球国最后一位
原田要原田要（日语：はらだかなめ、1916年8月11日－2016年5月3日）是一位出生于日本长野县的第二次世界大战（以下简称二战）王牌飞行员。他在1941年底一直到被击落而身受重伤的1942年10月间
Pink FantasyPink Fantasy（朝鲜语：핑크판타지）是韩国 Mydoll Ent.推出的六人女子音乐组合，成员包括SEEA、 YECHAN、SangA、ARANG、HARIN及DAEWANG(吉祥物)。于2018年10月24日以单曲《iriwa》