强弱类型

✍ dations ◷ 2025-12-06 09:07:41 #计算机语言,类型论

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

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

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

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

相关

奥斯曼萨利赫·默罕默德·奥斯曼（英语：Salih Mahmoud Osman，1957年－），苏丹人权律师。他关注达尔富尔问题中的受到人权受到严重侵害的平民，并与苏丹反酷刑组织合作，为许多平民提供了保护。
阴道隔膜避孕隔膜（diaphragm）是一种屏障式的生育控制方法。正常使用下，一年内的失败率为12%，属于成功率中等的避孕方式。使用方式是配合杀精剂使用，在性行为放在子宫颈前，且在性行为至少六
东沙机场东沙机场（IATA代码：DSX；ICAO代码：RCLM）是一座位于中华民国所管辖的东沙群岛上的机场，主要用途为军事用途并不开放予一般民众，平日有中华民国空军的C-130运输机，以及立荣航空所提供的
智乐堂智乐堂网络股份有限公司（英语：Zealot Digital International Corp），简称智乐堂，是台湾的电脑游戏研制、发行公司，旧名为汉堂国际资讯股份有限公司（英语：Dyansty International Infor
泡菜炒饭泡菜炒饭 (김치볶음밥)是一种很流行的朝鲜民族饭食，属于拌饭类。配料除了有朝鲜泡菜以外，还有蛋(可放炒蛋或生鸡蛋)、火腿、海苔及其他蔬菜。主料为冷米饭、泡菜、黑芝麻、牛
柚子茶柚子茶，又称柚子蜜、柚子蜜茶，是一种韩国传统茶，以韩国南部的“黄金柚”和蜂蜜为原料制成。柚子蜜可加入开水直接饮用，也可以用作制造甜品（例如戚风蛋糕、雪芳蛋糕），或当作甜酸汁烹
捷克国家足球队捷克国家足球队（捷克语：Česká fotbalová reprezentace；英语：Czech Republic national football team）是捷克共和国的官方足球队，属于捷克足球协会拥有。捷克的球衣赞助商是Puma
拉塞福 (单位)在实验室所用的放射性物质之量，同常为毫居里或为居里之程度。为使用上方便计量又提出一单位，称之为拉塞福，1拉塞福即为1× 10
大同盆地大同盆地位于中国山西省北部、内外长城之间。为桑干盆地的西部，由桑干河及支流御河等切割黄土高原并冲击而成。盆地海拔1100米左右。农牧业发达，富矿产资源。
周末 (电影)《周末》（法语：Week-end）是法国导演尚卢·高达于1967年执导的黑色幽默电影，本片获选为第18届柏林影展正式竞赛片。本片对西欧资产阶级与美式资本主义作出强烈嘲讽，并充斥超现实影