c - 程序有效性；循环内定义的变量的生命周期和范围

Question

考虑程序

#include <stdio.h>
int main(void) {
    for (int curr = 0; curr < 3; curr++) {
        int prev;
        if (curr) {
            printf("%d\n", prev); //valid; prev has 0 or 1
        }
        prev = curr;
    }
}

有效吗？
prev 的生命周期和范围是多少？

1. 在 for 循环中将有 3 个不同的 prev 具有生命周期和作用域。
   不同的 prev 可以(但不是必须)共享相同的地址。
   程序无效。

2. 在 for 循环中将有 3 个 prev 具有生命周期和作用域。
   prev 将共享相同的地址，就像使用 static 定义一样。
   程序有效。

3. 将有 1 个 prev，就好像它是在 for 循环之外定义的。
   程序有效。

^{注意:问题源于关于 this answer 的讨论}

Answer 1

三个不同且不同的 prev 不(需要)共享地址或值。

在每个循环中，不同的 prev 将被“创建”和“删除”。