c - 为什么返回一个未初始化的值被认为是未定义的行为？

Question

阅读时this看到一个UB，不太懂，希望大家指点一下

size_t f(int x)
{
    size_t a;
    if(x) // either x nonzero or UB
        a = 42;
    return a; 
}

我猜 UB 是由于 a 没有初始化值，但它不是定义的行为吗？意思是，f(0) 将返回变量 a 持有的值，无论它是什么(我认为这类似于 rand() ).我们必须知道代码片段返回什么值才能使代码具有明确定义的行为吗？

Answer 1

Meaning, f(0) will return the value held by variable a, whatever it is...

嗯，在你的情况下，

• a是自动局部变量
• 它可以有trap representation
• 它的地址没有被占用。

所以，是的，根据定义，这会导致 undefined behavior .

引用 C11，章节 §6.3.2.1

[...] If the lvalue designates an object of automatic storage duration that could have been declared with the register storage class (never had its address taken), and that object is uninitialized (not declared with an initializer and no assignment to it has been performed prior to use), the behavior is undefined.

---

• 与“未定义行为为何未定义”相关，参见this post .
• 有一个与陷阱表示和未定义行为相关的非常好的答案，check it out .
• 最后，UB and usage of indeterminate values 之间的细线.