块和循环之间到底有什么区别？

Question

代码 1： 没有警告 - 没有错误...一切正常

#include <stdio.h>

int main()
{
    int r = 1;
    printf("using %d\n", r);

    for (int k = 1; k <= 2; k++)
    {
       int r = r * 2;
    }

    return 0;
}

代码 2： 错误

#include <stdio.h>

int main()
{
    int cnt = 1;
    printf("using %d\n", cnt);
    
    {
        int cnt = cnt * 2;
    }

    return 0;
}

编译器响应：

'cnt' is used uninitialized in this function [-Werror=uninitialized]
       int cnt = cnt * 2;

所以，我知道在这种情况下 loop 和 block 之间存在一些区别，但我无法弄清楚。谁能告诉我scope of a variable 在这里是如何工作的？

Answer 1

它们都有完全相同的问题，即r 和cnt 在各自的程序中都是自初始化的。

这可能是未定义，因为如果它们碰巧具有陷阱表示，则使用未初始化的变量（具有不确定的值）。

gcc 碰巧在一种情况下检测到它，而在另一种情况下则没有。 gcc 有 -Wuninitialized -Winit-self 选项，但即使有这些选项，它仍然无法检测到第一种情况。无论如何，问题仍然存在（并且相同）。