Answers:
IB:实施定义的行为。该标准将其留给特定的编译器/平台来定义精确的行为,但要求对其进行定义。
使用实现定义的行为可能会很有用,但会使代码的可移植性降低。
UB:未定义的行为。该标准未指定调用未定义行为的程序的行为。也被称为“鼻恶魔”,因为理论上它可以使恶魔从您的鼻子中飞出。
使用未定义的行为几乎总是一个坏主意。即使有时看起来可行,对环境,编译器或平台的任何更改也可能会随机破坏您的代码。
实现定义的行为和未定义的行为
C ++标准非常具体地说明了各种构造的影响,特别是您应该始终注意以下麻烦类别:
未定义的行为意味着绝对没有提供任何保证。该代码可能有效,或者可能会激怒您的硬盘驱动器或使恶魔从您的鼻子中飞出来。就C ++语言而言,绝对可能发生任何事情。实际上,这通常意味着您有一个不可恢复的错误。如果发生这种情况,你真的不能信任任何有关应用程序(因为这个不确定的行为后果之一可能是刚被弄乱你的应用程序的其它部分使用的内存)。不需要保持一致,因此两次运行该程序可能会得出不同的结果。这可能取决于月亮的相位,所穿衬衫的颜色或其他任何东西。
未指定的行为意味着程序必须执行理智且一致的操作,但是不需要对此进行记录。
实现定义的行为类似于未指定的行为,但也必须由编译器编写者记录下来。一个示例是的结果reinterpret_cast
。通常,它只更改指针的类型,而无需修改地址,但是映射实际上是实现定义的,因此只要编译器记录了此选择,它就可以映射到完全不同的地址。另一个示例是int的大小。C ++标准并不关心它是2、4还是8字节,但必须由编译器记录
但是所有这些共同点是最好避免它们。如果可能,请遵循C ++标准本身指定的100%行为。这样,您就可以保证可移植性。
您通常还必须依赖于一些实现定义的行为。它可能是不可避免的,但您仍应注意它,并意识到您所依赖的东西可能会在不同的编译器之间发生变化。
另一方面,应始终避免未定义的行为。通常,您应该仅假定它会使程序以一种或另一种方式爆炸。
IB:是实现定义的行为-编译器必须记录其行为。>>
对负值执行运算是一个示例。
UB:未定义的行为-编译器可以做任何事情,包括简单地崩溃或给出不可预测的结果。取消引用空指针属于该类别,但还包括诸如指针算术之类的更巧妙的事情,它们不在数组对象的范围之内。
另一个相关的术语是“未指明的行为”。这是实现定义的行为和未定义的行为之间的一种。对于未指定的行为,编译器必须根据标准执行某些操作,但是标准给出的确切选择取决于编译器,因此不需要定义(甚至一致)。子表达式的评估顺序之类的事情就属于此类。编译器可以按照自己喜欢的顺序执行这些操作,并且可以在不同版本中甚至在同一版本的不同运行中以不同的方式执行(不太可能,但允许)。