为什么我会因为将变量地址分配给全局 scope 中的指针而收到警告错误？

Question

这是我尝试编译程序时收到的警告片段。 我刚刚开始使用指针，由于某种我无法理解的原因，编译器正在标记以下程序。 代码如下：

#include <stdio.h>

int dec = 0;
int *d;
d = &dec;

int main() {
    return 0;
}

当我将这些声明填充到 main 的正文中时没有错误。 我正在使用的 gcc 版本是 gcc 版本 12.2.0（使用 MSYS2 下载）和代码编辑器 MS visual code。有人可以对此发表解释吗？

正如我上面所说的，我随机开始输入一个程序来熟悉指针，我希望指针的处理不会有任何变化，无论它们在哪里被声明和初始化。

Answer 1

您正在尝试在 function 之外执行分配，这是不允许的。 你可以做的是初始化：

int *d = &dec;

Answer 2

您只能在文件范围内使用声明。

在提供的程序中，您使用的是赋值语句

d = &dec;

在文件 scope 中。因此编译器发出错误。

相反，你可以写例如

#include <stdio.h>

int dec = 0;
int *d = &dec;

int main( void ) {
    return 0;
}

由于变量dec具有 static 存储持续时间，因此表达式&dec是一个地址常量，并且 my 用作变量d的初始值设定项，它也具有 static 存储持续时间。

来自C标准（6.7.9初始化）

4 具有 static 或线程存储持续时间的 object 的初始化程序中的所有表达式都应为常量表达式或字符串文字。

和（6.6 常量表达式）

7 初始化器中的常量表达式允许有更多的自由度。 这样的常量表达式应是或评估为以下之一：

— 一个算术常量表达式，

— 一个 null 指针常量，

— 地址常量，或

— 完整 object 类型的地址常量加上或减去 integer 常量表达式。

和

9地址常量是一个 null 指针，一个指向指定 static 存储持续时间的 object 的左值的指针，或者一个指向 function 指示符的指针； 它应使用一元 & 运算符或转换为指针类型的 integer 常量显式创建，或使用数组或 function 类型的表达式隐式创建。 数组下标[] 和成员访问。 和 -> 运算符、地址 & 和间接 * 一元运算符以及指针转换可用于创建地址常量，但不得使用这些运算符访问 object 的值。