读取不确定的值是未定义的行为吗？

Question

这个问题出现在问题答案的评论中 当类型转换为 int 时，C/C++ bool 类型是否始终保证为 0 或 1？

相关代码分配一个 < 的（本地）数组code>bool 而不初始化它们的值。

const int n = 100;
bool b[n];

显然，b 中的值是不确定的。

一些评论者认为读取例如 b[0] 是未定义的行为。 C++ 标准中是否有这样的规定？我仍然相信相反的情况：

1. 显然已经分配了存储空间，并且基本 bool 类型的初始化已经完成，因为它没有构造函数。因此，它肯定与取消引用未初始化的指针或在未初始化的非平凡对象上调用方法/强制转换运算符不同。标准似乎涵盖了这些特定情况。

2. 该行为在 C 中确实未定义：C 中声明的、未初始化的变量会发生什么？它有价值吗？并且一些受访者似乎混淆了两者。

3. 在最新的 C++0x 草案中，我找不到不确定值的定义，尤其是没有允许访问此类值来触发处理器陷阱的定义。事实上，Bjarne Stroustrup 不确定不确定值可能是什么：http: //zamanbakshifirst.blogspot.com/2007/02/c-independent-value.html

Answer 1

是的，形式上不确定值的右值转换是 UB （除了 unsigned char ，最初我写的是“和变体”，但我记得形式迎合 1 的补码有符号字符，其中可能可以使用负 0作为陷阱值）

我懒得为你做标准段落查找，也懒得关心对此的否决票，

但是，实际上只有（1）过时的架构，也许（2）64位上的问题系统。

编辑：哎呀，我现在似乎想起了一篇关于访问不确定字符的正式 UB 的博客文章和相关缺陷报告。所以也许我必须实际检查标准，+搜索DR。啊，那得晚点了，现在喝咖啡！

编辑2：Johannes Schaub很友善地提供了这个链接到SO问题，其中讨论了访问char的UB。所以，这就是我记得的地方！谢谢，约翰内斯。

干杯&呵呵，，

Answer 2

这个问题的答案随着最新的 C++1y 工作草案（N3946）而改变，我们可以在其中找到 此处。 8.5 Initializers 段落 12 与 C++03 和 C++11 相比发生了很大变化，现在包含以下内容（强调我的）：

如果没有为对象指定初始值设定项，则该对象为
默认初始化。 当使用自动或
获得动态存储持续时间，该对象具有不确定的
value，如果没有对该对象进行初始化，则
对象保留不确定的值，直到该值被替换
（5.17）。 [注意：具有静态或线程存储持续时间的对象是
零初始化，参见 3.6.2。 — 尾注] 如果不确定值是
由评估产生，行为是未定义的，除了
以下案例：

并继续列出一些仅无符号窄字符类型的例外情况，我在C++1y 在使用不确定值和未定义行为方面是否发生了变化？ 。

因此，在您的情况下， b 具有自动存储持续时间并且未初始化，因此具有不确定的值。因此评估 b[0] 确实是未定义的行为。

以前，我们需要使用左值到右值的转换来证明这是未定义的，但这是有问题的，因为 转换未指定。

请注意，不确定值在本节中以斜体显示，因此这意味着它是就地定义的，因此现在 C++1y 实际上定义了该术语。以前，该术语在没有定义的情况下使用，这在 缺陷报告616。

Answer 3

对于 bool，标准在 3.9.1 基本类型 下表示：

bool 类型的值为 true 或
错误。

脚注指出：

按照描述的方式使用布尔值
按照本国际标准
“未定义”，例如通过检查
未初始化的自动值
对象，可能会导致它的行为就像
这既不真实也不虚假。

Answer 4

读取不确定值通常会导致未定义行为这一事实不仅仅是一个“理论”问题。即使对于所有可能的位模式都已定义值的类型，不确定值的行为方式与未指定值不同也不应被视为“令人惊讶”。例如，如果 *p 包含不确定值，并且 x 不在任何地方使用，除了
如图所示，代码：

uint32_t x,y,z;
...
x = *p;
if (condition1) y=x;
... code that "shouldn't" affect *p if its value is defined
if (condition2) z=x;

可以重写为：

if (condition1) y=*p;
... code that "shouldn't" affect *p if its value is defined
if (condition2) z=*p;

如果 *p 的值是不确定的，则不会禁止编译器
让两个“if”语句之间的代码修改其值。
例如，如果 *p 占用的存储空间被“float”占用
在释放和重新分配之前，编译器可能会写“float”
上面两个“if”语句之间的值。