Type-Checking

Definition / 定义

type-checking：类型检查；在编译或运行时，验证程序中表达式、变量、函数参数与返回值等是否符合语言的类型规则，以发现类型不匹配等错误。（也常写作 type checking）

Pronunciation / 发音

/ˈtaɪp ˌtʃekɪŋ/

Examples / 例句

The compiler performs type-checking before it builds the program.
编译器会在构建程序之前进行类型检查。

Strong type-checking helps prevent subtle bugs, especially when a large codebase is maintained by many developers.
强类型检查有助于避免隐蔽的漏洞，尤其是在多人维护的大型代码库中。

Etymology / 词源

由 type（类型）+ checking（检查）构成的复合词。type 源自希腊语 typos（印记、模子、范型），经拉丁语与法语进入英语；check 可能来自古法语 eschequier（核对、检查），与“核算/对账”的动作相关。合起来即“检查类型是否符合规则”。

Related Words / 相关词

• Type System
• Static Typing
• Dynamic Typing
• Type Inference
• Type Safety
• Compiler
• Runtime

Literary Works / 文学作品

• Types and Programming Languages（Benjamin C. Pierce）：系统讲解类型系统与类型检查，是该术语最常出现的经典著作之一。
• Programming Language Pragmatics（Michael L. Scott）：在编程语言实现章节中频繁讨论 type-checking。
• The C Programming Language（Kernighan & Ritchie）：在讲解声明、函数原型等内容时涉及（尤其与编译期类型检查相关）。