为什么自动值可以初始化为陷阱表示而不会导致UB？

Question

因此，可以将自动变量初始化为陷阱表示，而不会导致未定义的行为，但在变量中存储适当的值之前，不能使用该变量的值。

事实上，他们两个我都听不懂。

Answer 1

作为示例，可以使用陷阱表示的最简单类型是_bool。事实上，只有当_bool的值为0或1时，它才定义得很好。所有其他值都是（或可以看作是）陷阱表示。

现在看看像这样的东西

struct both {
  _Bool b;
  char  c;
};

both two = { .c = 'a', };

printf("char: %c\n", two.c);                     // All fine
printf("bool: %s\n", two.b ? "true" : "false");  // error

所以two.b的值是一个陷阱，只有当您试图使用程序错误的值时，行为才会被定义。例如，您的编译器可以决定通过以下内容实现对这两个字符串的选择：

(char const*[]){ "false", "true" }[two.b]