Type mismatch

释义 Definition

（尤指编程中）类型不匹配：把一种数据类型当作另一种类型来使用，导致编译报错、运行错误或结果不符合预期（例如把字符串当作数字相加）。

发音 Pronunciation (IPA)

/taɪp mɪsˈmætʃ/

例句 Examples

The compiler reported a type mismatch.
编译器报告了类型不匹配。

If you pass a string where the function expects an integer, you’ll get a type mismatch error that can be hard to trace in a large codebase.
如果你把字符串传给一个期望整数的函数，就会出现类型不匹配错误，在大型代码库里可能很难定位。

词源 Etymology

type 源自希腊语 typos（“印记、模型、类型”），在计算机领域指“数据类型”；mismatch 由 *mis-*（“错误地”）+ match（“匹配”）构成，意为“不匹配”。合起来即“类型不匹配”，常用于描述静态类型检查或运行时类型检查发现的错误。

相关词 Related Words

• Type Error
• Type Conflict
• Incompatible Types
• Type Checking
• Cast
• Coercion
• Compile-time
• Runtime Error

文学与著作中的用例 Literary Works

• The C Programming Language（Kernighan & Ritchie）——在讨论编译器诊断与不兼容操作数时常涉及“类型不匹配/不兼容类型”的概念与表述。
• Programming Languages: Application and Interpretation（Shriram Krishnamurthi）——在类型系统与错误示例中使用“type mismatch”来说明表达式与期望类型不一致。
• Types and Programming Languages（Benjamin C. Pierce）——讲解类型系统时以“type mismatch”作为典型错误现象与教学术语。