问使用未初始化的变量而不调用未定义的行为

EN

在这种情况下，因为x已经将它的地址取下来了，所以行为并不是严格不定义的。此时indeterminate.是x的值。这意味着该值要么是陷阱表示，要么是未指定的。

如果x碰巧包含一个陷阱表示，则该行为未定义，否则该值未指定，这意味着可以打印任何有效值。

而且，您可能遇到的大多数系统在整数类型中没有任何填充位，这意味着在该实现上没有陷阱表示，并且值始终是未指定的。

C标准的相关文章

第3.19款：

3.19.2 1不确定值或未指定值或陷阱表示 3.19.3 1国际标准不要求在任何实例中选择值的相关类型的未指定值有效值 2注意，未指定的值不能是陷阱表示。 3.19.4 1陷阱表示不需要表示对象类型的值的对象表示

第6.7.9p10节：

如果没有显式初始化具有自动存储持续时间的对象，则其值是不确定的。

标准使用“未定义的行为”这一术语来描述大多数实现都会以相同的可预测的一般方式进行操作的一般情况，但是某些特定的实现可以通过不同的行为更好地服务于客户。

考虑以下职能：

struct foo { unsigned char dat[256]; };

struct foo x,y;

void test(int a, int b)
{
  struct foo temp;
  temp.dat[a] = 1;
  temp.dat[b] = 2;
  x=temp;
  y=temp;
}

我认为标准的作者不想要求程序员在存储temp之前对它进行完全初始化，但我也不认为他们想禁止实现简单地写到x.dat[a]、y.dat[a]、x.dat[b]和y.dat[b]，同时让这些结构的其他元素保存他们以前持有的东西。他们没有试图准确地描述应该允许哪种类型的优化，而是简单地假设实现将寻求最好地满足客户的需求。