未定义行为

未定义行为指的是 C 标准对其结果没有任何约束的代码，这意味着编译器可以生成任何结果，包括看似正确的输出、崩溃或仅在特定条件下显现的细微损坏。常见原因包括有符号整数溢出、读取未初始化的内存、数组越界访问以及取消引用无效指针。由于未定义行为在测试期间可能看起来工作正常，但之后或在不同的编译器上可能会失败，因此它是 C 语言中最难以诊断的错误来源之一。