如果在块中引用了具有内部链接的变量，我是否需要在该块中使用 extern 关键字？

Question

我试图在范围和链接的上下文中确定变量声明的所有细微差别。

考虑以下两个sn-ps代码：

---

代码 1 阻止 extern 声明

#include <stdio.h>

static int i=4;

int main()
{
  {
    i++;
    printf("i is %d \n",i);
    i++;
  }
  printf("i is %d \n", i);
  i++;
  printf("i is %d \n", i);

  return 0;
}

输出是：

i is 5
i is 6
i is 7

---

代码 2 阻止 extern 声明

#include <stdio.h>

static int i=4;

int main()
{
  {
    extern int i;
    i++;
    printf("i is %d \n",i);
    i++;
  }
  printf("i is %d \n", i);
  i++;
  printf("i is %d \n", i);

  return 0;
}

输出是：

i is 5
i is 6
i is 7

---

鉴于这两个代码 sn-ps 生成相同的输出，我将假设它们在“幕后”以相同的方式运行（即编译器生成相同的结果可执行文件)。

那么问题来了：

代码 2 是否只是执行代码 1 的一种“礼貌”、用户友好的方式（即，您要通知读者，“嘿……这个变量 i 已在其他地方定义这个文件”？）。那么extern以这种方式使用是否只是满足某种约定？

Answer 1

在您的示例中，extern 声明没有添加任何内容。无论有无该声明，都会引用名为 i 的同一变量。

在块范围内声明extern 的示例如下：

#include <stdio.h>

int i=4;

int main()
{
  int i=0;
  {
    extern int i;
    i++;
    printf("i is %d \n",i);
    i++;
  }
  printf("i is %d \n", i);
  i++;
  printf("i is %d \n", i);

  return 0;
}

在这种情况下，一个名为i 的变量具有块作用域并且没有链接，它掩盖了具有文件作用域和外部链接的同名变量。然后在内部范围内，extern 声明使i 引用文件范围内的变量。

此代码然后输出：

i is 5 
i is 0 
i is 1 

另请注意，在这种情况下，文件范围内的 i 不能是 static。这是因为extern 声明查看具有给定名称的最里面的变量以确定标识符的链接。如果前面的声明没有链接，那么extern 声明是指具有外部链接的变量。这将与声明为static 的文件范围变量冲突。

这在C standard 的第 6.2.2p4 节中有详细说明：

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