GCC的范围深度表示方法

Question

GCC中描述file_scope的深度为1，external_scope为0。 我写了一个程序来测试结果。

int main() {
        int a;
        {
                int b;
        }
        {
                int c;
        }
        if (1) {
                int d;
        }
}

变量a的深度是2，b和c都是3，但是变量d的深度是5。

为什么变量d的深度不是3或4？

Answer 1

根据 C 标准（6.8.4 选择语句）

3 选择语句是一个块，其范围是其封闭块范围的严格子集。每个关联的子语句也是一个块，其范围是选择语句范围的严格子集。

这是一个演示程序。

#include <stdio.h>

int main( void )
{
    if ( sizeof( struct A { long x; } ) == sizeof( long long ) )
    {
        struct A
        {
            long x;
        } a;

        printf( "sizeof( a ) within if = %zu\n", sizeof( a ) );
    }
    else
    {
        struct A
        {
            long long x;
        } a;
        
        printf( "sizeof( a ) within else = %zu\n", sizeof( a ) );
    }
}

在 if 语句中引入了类型说明符struct A

    if ( sizeof( struct A { long x; } ) == sizeof( long long ) )

在 if 语句的子语句中，还引入了同名的类型说明符，隐藏了 if 语句中引入的类型说明符。

因此，如果要像您一样计算范围，那么有以下范围；

1. 文件范围
2. 以参数列表开头的块作用域 main的定义
3. if 语句的范围
4. 以及 if 语句子语句的范围

gcc 可以为 if 语句的复合语句添加自己的作用域。