4. 顺应
1、在本国际标准中，“应该”被解释为对一个实现或一个程序的要求；相反地，“不该”被解释为禁用。
2、如果违反了出现在一个强制规定或运行时强制规定之外的“应该”或“不该”要求，那么该行为是未定义的。否则，未定义行为在本国际标准中通过“未定义行为”这一短语或通过对任一显式定义的行为的缺省进行指定。在这三种表达方式之中没有特别的重点强调；它们都描述了“未定义的行为”。
3、在所有其它方面都正确的一个程序且操作正确的数据，却含有未指定的行为，那么应该是一个正确的程序并且其行为符号5.1.2.3。
4、实现不该成功翻译含有一个#error预处理指示符的预处理翻译单元，除非它是通过条件包含被跳过的一个组的一部分。
原文：http://www.cnblogs.com/zenny-chen/p/4165980.html