C++03 和 C++11 之间的未定义行为有什么区别？

Question

新标准与旧标准具有不同的未定义行为。例如，新的排序规则意味着一些过去未定义的算术运算（由于序列点之间的多次写入等原因）现在已定义。

那么，对于未定义的行为，我们需要重新学习什么呢？

Answer 1

在我看来，新规则的描述和理解更加复杂。例如，考虑一下：

int x = 12;
x = x++ + 1; // undefined behaviour
x = ++x + 1; // valid

我建议简单地避免同一表达式中同一变量的多个副作用，这是一条更容易理解的规则。 AFAIK C++0X 改变了一些过去未定义行为但现在合法使用的情况（例如上面两个表达式中的第二个），但请记住，合法和合法之间始终存在差异是道德的;-) ...没有人强迫你使用这样的东西。

实际上，在上述情况下，第二个表达式的有效性似乎是无意中发生的，是修复语言中另一个问题（#222）的副作用。我们决定使该表达式有效，因为人们认为将某些内容从 UB 更改为 well Defined 不会造成任何损害。然而，我认为，虽然这不会对程序造成任何损害（当然，UB 是最糟糕的问题），但它实际上对语言本身造成了一些损害……改变了一个已经很复杂的解释和理解规则更晦涩难懂的一个。

IMO C++ 正在继续其从 C 的自然演变，成为一种语言，其中一堆好看、漂亮、逻辑性强的语句可以做奇妙的事情……而在这种语言中，另一堆同样好看、同样漂亮、同样逻辑性的语句可以让你的电脑反而会爆炸。

Answer 2

C++0x 将许多以前未定义的情况更改为现在有条件支持的情况。语义是：

• 如果实现不支持有条件支持的功能，则它应记录该情况，并对违反该功能的程序发出诊断。
• 如果实现确实支持它，它应该满足标准对其提出的附加要求。例如，标准可能会说某些东西是通过实现定义的语义有条件支持的。如果是这样，实现应记录它如何支持该功能。

以前未定义的一个常见情况是，通过省略号函数参数传递具有非平凡复制构造函数、非平凡移动构造函数或非平凡析构函数的类类型参数时。现在这是有条件支持的，具有实现定义的语义。