在块中获取全局变量时,extern 会做什么? 使用相同名称定义的不同变量

问题描述

最近在C中学习了全局和局部变量,在网上找到了这个例子(没有明确说明)

#include<stdio.h>

int x = 50;

int main(){
    int x = 10;
    {
      extern int x;
      printf("global: %d\n",x);
    }
    printf("local: %d\n",x);
    return 0;
}

我确实明白您可以在同一个程序中创建具有相同名称的局部变量和全局变量(并且局部变量将在该函数或块中优先),因此 printf("local: %d\n",x); 的结果将是 { {1}}。但我无法理解如何在代码中使用 local: 10 会在定义了局部变量的块中获取全局变量。

看到这个之后我确实研究了 extern 是如何工作的,但我仍然无法理解:在块内“声明”一个变量(通过使用 extern)如何帮助调出全局变量?

提前致谢

解决方法

每个作用域都可能隐藏来自更高级别作用域的标识符。 extern 声明向编译器表明代码中的其他地方存在具有外部链接的变量 x。此声明掩盖了先前的范围变量 x 定义。

#include <stdio.h>

int x = 50;

int main(){
    int x = 10;
    printf("scope 1: %d\n",x);
    {
      extern int x;
      printf("scope 2: %d\n",x);
      {
          int x = 20;
          printf("scope 3: %d\n",x);
          {
                extern int x;
                printf("scope 4: %d\n",x);
          }
          printf("scope 3 again: %d\n",x);
      }
      printf("scope 2 again: %d\n",x);
    }
    printf("scope 1 again: %d\n",x);
    return 0;
}

https://godbolt.org/z/YPc6jenEG

Program stdout

scope 1: 10
scope 2: 50
scope 3: 20
scope 4: 50
scope 3 again: 20
scope 2 again: 50
scope 1 again: 10

更多:How do I use extern to share variables between source files?

,

声明 extern int x; 引用在文件范围内声明的 int x; 这一事实是 链接 如何工作的一个示例。指定对象或函数的标识符可能具有以下链接之一:

  • 具有外部链接的标识符代表程序中任何翻译单元(即源文件和包含的标题)中的相同对象或函数。
  • 具有内部链接的标识符代表一个特定翻译单元中的相同对象或功能。
  • 无链接的标识符代表一个不同的对象,并且只存在于它们被声明的范围内。

在您的示例中,文件范围内的 int x; 具有外部链接,因为它没有使用 static 存储类说明符声明。

int x; 函数的最外层块中声明的

main 没有链接,因为其上没有存储类说明符,因此此声明定义了一个新对象,该对象屏蔽了声明于的 x文件范围。

现在您已经在 extern int x; 内的子块中声明了 main。因为这个标识符是用 extern 声明的,所以它与之前的可见声明进行比较,特别是在它上面的块作用域中声明的 x。由于这个先前的声明没有链接,这个新标识符具有外部链接(如果先前的声明具有内部链接,它将具有内部链接)。这在 C standard:

的第 6.2.2p4 节中有更详细的描述

对于在该标识符的先前声明可见的范围内使用存储类说明符 extern 声明的标识符,如果先前声明指定了内部或外部链接,则后面的标识符的链接声明与先前声明中指定的链接相同。 如果没有可见的先前声明,或者先前声明没有指定链接,则标识符具有外部链接。

并且因为它具有外部链接,所以它引用与在文件范围内声明的 int x; 相同的对象。

,

因为 int x = 50; 出现在函数外部,所以它声明了一个具有外部链接x,我将在下面讨论。

int x = 10; 出现的地方,它声明了一个新的 x,它隐藏了 x 的前一个 int x = 50;。由于此声明在函数内部,因此没有链接。

extern int x; 出现的地方,它声明了第三个 x,它隐藏了 x 的前一个 int x = 10;。尽管它在函数内部,但 extern 使它具有外部链接。

第一个 x 和第三个 x 的外部链接导致编译器(或链接器)将它们解析为引用同一个对象。因此,第三个 x 与第一个 x 指代相同的对象,即使它是标识符的不同实例。 (因为第二个 x 没有链接,所以它不会以这种方式链接到同一个对象。)

相关问答

错误1:Request method ‘DELETE‘ not supported 错误还原:...
错误1:启动docker镜像时报错:Error response from daemon:...
错误1:private field ‘xxx‘ is never assigned 按Alt...
报错如下,通过源不能下载,最后警告pip需升级版本 Requirem...