强弱类型

✍ dations ◷ 2025-11-25 06:48:59 #计算机语言,类型论

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

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

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

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

相关

  • 螨传播螨(英语:mite, 音mán)是一种八足生物,是蜘蛛的近亲。螨的体形极小,必须借助显微镜观察。螨又可分为尘螨(dust mite)与农业螨,其中农业螨又有叶螨(spider mite)、拟叶螨(false spider mi
  • 中部非洲国家经济共同体中部非洲国家经济共同体(英语:Economic Community of Central African States,简称ECCAS、法语:Communauté économique des États de l'Afrique Centrale,简称CEEAC、葡语:Comu
  • 互联网信息服务互联网信息服务(英語:Internet Information Services),在台湾被称为网际网路资讯服务,是由微软公司提供的基于运行Microsoft Windows的互联网基本服务。最初是Windows NT的可选包
  • 维也纳迅速体育俱乐部维也纳迅速体育俱乐部(简称:维也纳迅速,英文:Rapid Vienna,德语:SK Rapid Wien)是一间位于奥地利首都维也纳的体育俱乐部,成立于1898年。维也纳迅速是维也纳市中两队最著名的俱
  • 巴利索岛巴利索岛(Baliceaux)是圣文森特和格林纳丁斯的私人小岛屿,属于格林纳丁斯群岛的一部分,面积1.35平方公里,最高点甘山海拔高度126米,岛上无人居住。
  • 勒克什米纳特·贝杰伯鲁阿勒克什米纳特·贝杰伯鲁阿(阿萨姆语:লক্ষ্মীনাথ বেজবৰুৱা,印地语:लक्ष्मीनाथ बेजबरुवा,1868年-1938年)是阿萨姆语文学中的杰出人物。他的散文
  • 胜乐金刚胜乐金刚又称上乐金刚,(梵语:Cakrasamvara,藏语名:“阔洛登巧”,蒙古语名:“德穆钦格”),是藏传佛教无上瑜伽部智慧母续的本尊,是诸佛身语意三密加持的坛城本尊,总摄一切如来本尊坛城空
  • 赵安宗赵安宗(342年-363年4月16日),下邳僮(今江苏省沭阳县县)人,治书侍御史赵彪孙女,平原太守赵裔之女,南朝宋武帝刘裕的母亲,也是刘裕父亲刘翘的第一任妻子。母亲孙氏是东莞人。有两个兄弟
  • 吴发祥吴发祥,号萝轩,南京人。明末出版家。天启六年(1626年),吴发祥曾刊行《萝轩变古笺谱》,为拱花木刻彩印笺谱,由颜继祖辑稿。是中国早期木版彩印的精品之作。
  • 中央商科短期大学中央商科短期大学(日语:中央商科短期大学/ちゅうおうしょうかたんきだいがく  *)是过去一所位于日本东京都中央区的私立短期大学。