慕妹3242003
实现定义的行为和未定义的行为C ++标准非常具体地说明了各种构造的影响,尤其应该始终注意以下类别的麻烦:未定义的行为意味着绝对没有提供任何保证。该代码可能有效,或者可能会激怒您的硬盘驱动器或使恶魔从您的鼻子中飞出来。就C ++语言而言,绝对可能发生任何事情。实际上,这通常意味着您有一个不可恢复的错误。如果发生这种情况,你真的不能信任任何有关应用程序(因为这个不确定的行为后果之一可能是刚被弄乱你的应用程序的其它部分使用的内存)。不需要保持一致,因此两次运行该程序可能会得出不同的结果。这可能取决于月亮的相位,所穿衬衫的颜色或其他任何东西。未指定的行为意味着程序必须执行理智且一致的操作,但是不需要对此进行记录。实现定义的行为类似于未指定的行为,但还必须由编译器编写者记录下来。一个示例是的结果reinterpret_cast。通常,它只是更改了指针的类型,而没有修改地址,但是映射实际上是实现定义的,因此只要编译器记录了此选择,它就可以映射到完全不同的地址。另一个示例是int的大小。C ++标准并不关心它是2、4还是8个字节,但是必须由编译器记录下来但是所有这些共同点是最好避免它们。如果可能,请坚持使用C ++标准本身指定的100%行为。这样,您就可以保证可移植性。您通常还必须依赖于一些实现定义的行为。这可能是不可避免的,但您仍应注意这一点,并意识到您所依赖的东西在不同的编译器之间可能会发生变化。另一方面,应始终避免未定义的行为。通常,您应该只假定它会使程序以一种或另一种方式爆炸。