c - 语句表达式中的 'redefining' 变量安全吗？

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 在他的评论中指出的那样，带有两个下划线的标识符是为实现(编译器、库、托管环境...)保留的，因此您不应该使用它们。)