“递归输入块”是什么意思？

Question

我在 reddit 上问了一个问题。这个问题实际上是Why does the starting point of a lifetime of an automatic object(which doesn't have VLA) precede a scope of an object?
我得到的答案可以作为我的问题的例子。

代码

#include <stdio.h>

int main(void) {
    int i = 0;
back:
    printf("i = %d", i);
    int j;
    if (i < 5) {
        if (i == 0)
            j = 0;
        j += i;
        printf(", j = %d\n", j);
        i++;
        goto back;
    }
    printf("\n");
}

输出

i = 0, j = 0
i = 1, j = 1
i = 2, j = 3
i = 3, j = 6
i = 4, j = 10
i = 5

但是有人说“j 的值在达到其声明时变得不确定，......”因为 C17 6.2.4p6（用我的粗体字）

对于这样一个没有变长数组类型的对象，它的生命周期从入口开始 进入与其关联的块，直到该块的执行以任何方式结束。 （输入一个 封闭块或调用函数会挂起，但不会结束当前块的执行。）如果 递归进入块，每次都会创建一个新的对象实例。 对象的初始值是不确定的。如果为对象指定了初始化，则每次在执行块时到达声明或复合文字时都会执行它；否则，每次达到声明时，值都会变得不确定。

仅转到当前块中的标签不同于在递归函数或迭代语句中重复整个关联块。从这个角度来看，我不认为j 不受规则影响（但这只是我的想法）。

顺便说一句，我认为无论我们以哪种方式思考，都存在矛盾。
- 如果int j; 没有在每个序列中重新创建，则它是重新定义。
- 如果int j; 在每个序列中重新创建，j 将具有来自第二个序列的垃圾值。但输出显示为好像保留了“j”的值。

我一遍又一遍地阅读引用的部分文档，但无法理解。我错过了什么？

Answer 1

重要的部分在后面：

如果为对象指定了初始化，[...];否则，每次达到声明时，值都会变得不确定。

每次达到int j，j 的值就变得不确定。 j 保留以前的值也是垃圾值的一个例子，因为它可以是 any 值。如果您的代码依赖于该值，则意味着您的代码的行为未定义。

如果递归进入块，每次都会创建一个新的对象实例

“块”通常以{ 开头并以} 结尾。该段用于递归函数。

void func()
{ // block start
    int a; // new instance of object created each time, even recursively
    func(); // enter the block recursively
} // block end

您的代码中有一个块是用int main(void) { 创建的，而您的代码中的另一个块是if (i < 5) { 之后的块。 if (i < 5) { 块不是递归进入的，它是进入，然后离开，然后再次进入，然后再次离开。

如果int j;不是在每个序列中重新创建，而是重新定义。

引用那句话：

对于这样一个没有可变长度数组类型的对象[具有自动存储持续时间的对象，参见标准中的前一点]，它的生命周期从进入与其关联的块直到该块的执行以任何方式结束。

j 标识的对象的生命周期从进入块开始，所以我认为它不是“重新创建”。

int main(void) { // lifetime of "object j" starts here
                 // but you can't access it, no identifier is associated with it
back:;
    int j; // the identifier `j` is associated with "object j"
           // the value of the object associated with `j` is indeterminate
           // _each time_ execution flow gets here
    goto back;
} // lifetime of "object j" ends here (or at `return`)
  // scope of identifier `j` also ends here