强弱类型

✍ dations ◷ 2025-11-20 19:49:08 #计算机语言,类型论

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

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

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

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

相关

  • 暗网黑暗网站(英语:Dark web)多简称为暗网,是存在于黑暗网络、覆盖网络上的万维网内容,只能用特殊软件、特殊授权、或对电脑做特殊设置才能访问。暗网是由深网的一小部分所构成的。而
  • 中华人民共和国自杀政治人物列表中华人民共和国自杀政治人物列表,本表列出中华人民共和国因自杀而当场或稍后身亡的官员或政治人物,自杀未遂者不在本类收录范围内,收录的对象以曾经有事迹与作品而广泛知名、曾
  • 恐鳄恐鳄属(学名:Deinosuchus),是种已灭绝大型鳄鱼,属于短吻鳄总科,生存于白垩纪晚期的北美洲东部海岸地区,约8,200万到7,300万年前。恐鳄的属名在希腊文意为“恐怖的鳄鱼”,δεινό
  • 特拉维斯县特拉维斯县(Travis County, Texas)是位于美国德克萨斯州中部的一个县。面积2,647平方公里。根据美国2000年人口普查,共有人口812,280人。县治奥斯汀也是州的首府。成立于1840年
  • 2019年智利APEC峰会2019年智利APEC峰会原本在智利圣地亚哥举行的亚太经济合作组织(APEC)系列会议。这些会议的重点应放在数字经济,区域连通性和妇女在经济增长中的作用。智利此前曾于2004年主办过
  • 环量环量是流体的速度沿着一条闭曲线的路径积分,通常用 Γ {\displaystyle \Gamma } 来表示。如果 V
  • 雷公连雷公连(学名:)为天南星科雷公连属下的一个种,是中国的特有植物。分布于中国大陆的广西、贵州、四川、湖北西部、湖南西部和南部、云南东南部等地,生长于海拔550米至1,100米的地区
  • 北京湿地北京湿地面积约5.14万公顷,占全市总面积的3.13%。其中,天然湿地2.38万公顷,占湿地总面积的46.4%,主要是由河流、沼泽湿地组成;人工湿地约2.76万公顷,占湿地总面积的53.6%,主要是由
  • 张岳崧张岳崧(1773年-1842年),字子骏,一字翰山(一作澥山),又号指山,海南临高人,祖籍福建莆田。乾隆三十八年(1773年)出生于海南省临高县新化乡遵宪都罗万村(今美台乡罗万村)。后随父迁至海南省定
  • 骨鲱群骨鲱群(学名:Otomorpha)是辐鳍鱼纲的重要演化支之一,包含了从鲤鱼到沙丁鱼等真骨鱼类。依2017年《硬骨鱼系统分类》,本群属于新鳍亚纲、真骨下纲、骨舌鱼高群、鲱头鱼总群。本群