C++标准在C++14中使用不确定值和未定义行为方面是否发生了变化？

Question

int x = 12;
{ int x = x; }

unsigned char x = 12;
{ unsigned char x = x; }

在C++14中，关于不定值和未定义行为的一些变化是否导致了示例中的这种变化？

Answer 1

是的，这种变化是由语言的变化驱动的，如果计算产生了一个不确定的值，它就会成为未定义的行为，但对于无符号窄字符有一些例外。

缺陷报告1787，其建议文本可在N3914¹中找到，最近于2014年被接受，并纳入最新的工作草案N3936:

关于不确定值，最有趣的变化是8.5节第12段：

丢弃值表达式（子句5[expr])，

则运算的结果是一个不确定的值。

如果通过对一个简单赋值html" target="_blank">运算符(5.17[expr.ass])的右操作数求值产生一个无符号窄字符类型(3.9.1[Basic.Basic])的不定值，该运算符的第一个操作数是无符号窄字符类型的lvalue，则不定值将替换左操作数引用的对象的值。

int f(bool b) {
  unsigned char c;
  unsigned char d = c; // OK, d has an indeterminate value
  int e = d;           // undefined behavior
  return b ? d : 0;    // undefined behavior if b is true
}

[...]如果对象未初始化，则需要进行此转换的程序具有未定义的行为。[...]

脚注：

1. 1787是缺陷报告616的修订版，我们可以在N3903
中找到该信息