GCC/clang函数域static指针指向匿名数组报错，文件域正常的原因？

问题说明 #

在GCC和Clang中，将函数作用域的static指针初始化为匿名数组时，会分别报出error: initializer element is not constant和error: initializer element is not a compile-time constant错误；但把相同的static指针定义在文件作用域并指向同一匿名数组时，却能正常编译。用嵌入式硬件编译器编译同一程序则无报错。

报错代码片段 #

int foo()
{
    static int *ptr = (int[]) { 9, 8, 7 }; /* 编译错误 */
    return ptr[2];
}

int main(void)
{
    return foo();
}

正常编译的代码片段 #

static int *ptr = (int[]) { 9, 8, 7 }; /* 文件作用域正常 */

int foo()
{
    return ptr[2];
}

int main(void)
{
    return foo();
}

尝试过-std=c90、-std=c99、-std=c11、-std=gnu11等编译选项，均无法消除函数内定义时的报错。

原因分析 #

这是由C标准对static变量初始化器的规则决定的：

1. static变量的初始化要求：C标准规定，所有static存储期的对象（包括文件作用域和函数内的static变量），其初始化器必须是编译时常量表达式。
2. 不同作用域的匿名数组（复合字面量）性质差异：
   • 文件作用域的复合字面量：属于静态存储期，其内存地址在编译阶段就能确定，是合法的常量表达式，因此可以用来初始化文件作用域的static指针。
   • 函数内的复合字面量：默认属于自动存储期（栈内存），其地址是运行时才能确定的动态值，不属于编译时常量表达式，因此无法满足函数内static指针的初始化要求。
3. 嵌入式编译器的特殊性：多数嵌入式编译器为了适配场景需求，会放宽C标准的限制，允许这种非标准的初始化方式，所以不会报错。

解决方案 #

如果想要在函数内用匿名数组初始化static指针，只需给复合字面量加上static修饰，将其改为静态存储期，此时它的地址就会成为编译时常量，符合初始化规则：

int foo()
{
    static int *ptr = static (int[]) { 9, 8, 7 };
    return ptr[2];
}

int main(void)
{
    return foo();
}

内容的提问来源于stack exchange，提问作者billibub