在语句表达式中“重新定义”变量是否安全？

Question

我的问题是关于statement expressions，它是作为 GNU C 的扩展添加的。考虑以下代码：

#include <stdlib.h>
#include <stdio.h>

int main(void)
{
    int i = 0;
    printf("%d\n", i);

    {int i = 1;printf("%d\n", i);}

    printf("%d\n", i);
    return EXIT_SUCCESS;
}

编译 (gcc -Wall -std=gnu99 lala.c -o lala) 并运行将产生：

0
1
0

这种做法（使用扩展）相当普遍，尤其是在 Linux 内核中的 container_of：

#define container_of(ptr, type, member) ({ \
                const typeof( ((type *)0)->member ) *__mptr = (ptr); 
                (type *)( (char *)__mptr - offsetof(type,member) );})

与这种情况类似，我想定义一个宏来声明一个局部变量并对其进行处理。但是，我希望这样做不会污染当前范围内可用的变量名，并避免可能的重新定义。我无法在文档中找到关于在重新定义的情况下范围界定如何发生的确切信息。

在上述情况下，编译器不会发出有关重新定义的警告。我的问题是我是否可以依靠语句表达式内部的变量不会影响外部范围内的同名变量这一事实？

Answer 1

当然这是安全的，这就是作用域的用途。

（正如 dreamlax 在他的评论中指出的那样，带有两个下划线的标识符是为实现（编译器、库、托管环境...）保留的，所以你不应该使用它们。）

Answer 2

关于范围

来自 3.1.2.1 ANSI C（类似 C99 中的 6.2.1）：

如果声明者或 声明标识符的类型说明符出现在块内或 在函数定义的参数声明列表中， 标识符具有块作用域，在 } 处终止 相关块

...

如果外 词法相同标识符的声明存在于同一 名称空间，它是隐藏的，直到当前范围终止，之后 它再次变得可见。

所以假设编译器是兼容的，你应该能够假设表达式内的变量不会影响外部范围内的变量