实现定义、未明确和无定义行为的区别

简单地说: 实现定义意味着实现必须选择某种行为并提供文档。未明确意味着实现必须选择某种行为但不必提供文档。未定义意味着任何事情都可能发生。标准在任何情况下都不强加需求; 前两种情况下, 它有时建议一组可能的行为(也可能要求从中选择一种)。

注意，既然标准对无定义行为没有强制要求, 编译器就绝对可以做任何事情。特别地, 对程序其它部分的正常运行没有任何保证。

第四种不那么严格定义的行为是“场景特定” (locale-specific)。

某些构造随编译器和硬件的实现而变化, 这一直是C 语言的一个特点。这种 有意的不严格规定可以让编译器生成效率更高的代码, 而不必让所有程序为了不 合理的情况承担额外的负担。因此, 标准只是把现存的实践整理成文。

编程语言标准可以看作是语言使用者和编译器实现者之间的协议。协议的一 部分是编译器实现者同意提供, 用户可以使用的功能。而其它部分则包括用户同 意遵守, 编译器实现者认为会被最受的规则。只要双方都恪守自己的保证, 程序就 可以正确运行。如果任何一方违背它的诺言, 则结果肯定失败。

常见的未定义行为：

·使用未被初始化的变量

·带符号的整数溢出

·访问不正确的指针

·按不同的类型访问变量

   这样的一些代码应该称为漏洞，即使有时候也能起到一定的作用，但编译器在默认无未定义行为的环境下实施优化时，有可能会出现程序无法运行的情况。

   另外，先如今没有方法可以完全检查出程序中的未定义行为。但在GCC中，可以使用-Wall  -pedantic检查出未遵从ISO C的部分。