Type Checking

Definition 定义

“类型检查”：在编程语言中，检查表达式、变量、函数参数/返回值等是否符合规定的数据类型规则，以提前发现类型错误并保证程序的正确性与安全性。常见分为静态类型检查（编译期）与动态类型检查（运行期）。

Pronunciation 发音（IPA）

/taɪp ˈtʃekɪŋ/

Examples 例句

Type checking helps catch bugs early.
类型检查有助于及早发现漏洞（错误）。

In a statically typed language, the compiler performs type checking to ensure the function receives the correct argument types before the program runs.
在静态类型语言中，编译器会在程序运行前进行类型检查，以确保函数接收到正确的参数类型。

Etymology 词源

“Type”源自希腊语 typos（印记、模型、类型），经拉丁语与法语进入英语；“check”来自古法语 eschequier（检验、核对，原指在棋盘格上计算与核账），后来引申为“检查”。合在一起，“type checking”就是“对类型进行核对/检验”。

Related Words 相关词汇

• Static Typing
• Dynamic Typing
• Type System
• Type Inference
• Compile-Time
• Runtime
• Type Error
• Type Safety
• Strong Typing
• Weak Typing

Notable Works 出处（著名作品）

• Types and Programming Languages（Benjamin C. Pierce）——系统讲解类型系统与类型检查的经典教材。
• Programming Language Pragmatics（Michael L. Scott）——讨论编译器、语义分析与类型检查在语言实现中的作用。
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）——在语义分析部分涉及类型检查与类型相关的编译技术。