Type Check

释义 Definition

“Type check”指“类型检查”：在编程中，检查变量、表达式或函数参数/返回值的数据类型是否符合规则与预期，以避免类型错误。常见于编译器、解释器与静态分析工具中。（也可作动词短语：to type-check）

发音 Pronunciation

/taɪp tʃek/

例句 Examples

The compiler will type check your code before it runs.
编译器会在代码运行前进行类型检查。

To prevent subtle bugs, the language type checks function arguments and return values at compile time.
为防止隐蔽的错误，这门语言会在编译时对函数参数和返回值进行类型检查。

词源 Etymology

“Type”来自印刷与分类意义上的“类型/种类”，在计算机科学中发展为“数据类型”；“check”意为“检查”。合起来就是“检查类型是否匹配”。随着静态类型语言与编译器理论的发展，这个术语在编程语境中固定下来。

相关词 Related Words

• Type
• Type System
• Static Typing
• Dynamic Typing
• Type Error
• Type Inference
• Compile
• Lint

文学与著作 Literary Works

• Types and Programming Languages — Benjamin C. Pierce（系统讲解类型系统与类型检查）
• Programming Language Pragmatics — Michael L. Scott（涵盖编译与类型检查的核心概念）
• The Rust Programming Language — Steve Klabnik & Carol Nichols（讨论编译期类型检查如何提升安全性）