Unspecified Behavior

释义 Definition

（尤指编程语言标准中的术语）未指定行为：标准允许存在多种可能的结果或实现方式，但不要求实现必须选择哪一种；同一程序在不同编译器、平台、优化级别下可能表现不同，但仍不算违反标准。

发音 Pronunciation (IPA)

/ˌʌnspəˈsaɪfɪd bɪˈheɪvjər/

例句 Examples

The order of evaluation here can lead to unspecified behavior.
这里的求值顺序可能导致未指定行为。

In C and C++, relying on unspecified behavior may make your program behave differently across compilers, even if it seems to “work” during testing.
在 C 和 C++ 中，依赖未指定行为可能让你的程序在不同编译器之间表现不一致，即使它在测试中看起来“能用”。

词源 Etymology

unspecified 来自 *un-*（否定前缀）+ specified（被明确说明的），表示“未被明确规定的”；behavior 表示“行为、表现”。合在一起用于标准/规范语境，指“规范没有把结果固定下来”。

相关词 Related Words

• Undefined
• Implementation-Defined
• Well-Defined
• Unspecified
• Portability
• Compiler
• Optimization

文学与著作中的用例 Literary & Notable Works

• *ISO/IEC 9899 (C Standard)*（C 语言标准文本中对“unspecified behavior/unspecified value”等概念有正式定义与讨论）
• *ISO/IEC 14882 (C++ Standard)*（C++ 标准中广泛使用该术语来描述某些表达式求值顺序等不作强制规定的情形）
• The C Programming Language（Kernighan & Ritchie，常以“标准未规定/不保证”的方式讨论相近概念）
• C++ Primer（Lippman 等，讲解可移植性与标准语义时会涉及与“未指定/未定义”相关的行为类别）