“外部”的正确解释是什么？ C 中的关键字？

Question

在 此页面中，我无法理解为什么示例 3 会抛出错误：

// CODE 1:

extern int var;
int main(void)
{
  var = 10;
  return 0;
}

有几个答案提到 main 中的 var 是一个局部变量。但为什么它不能同时是一个全局变量呢？下面的代码工作起来很艰难：

// CODE 2:

int var;        // global
int main(void)
{
  var = 10;
  return 0;
}

---

在多个文件的情况下...

...下面的代码工作：

// CODE 3:

// File 1
extern int var;
int main(void)
{
  print("%d",var);
  return 0;
}
----------------

// File 2
var = 4;

...而这个代码则不然：

// CODE 4:

// File 1
extern int var;
int main(void)
{
  print("%d",var);
  return 0;
}
----------------

// File 2
int func(int a) {
    extern int var;
    var = 3;
    return 0;
}

所以我找不到对 extern< 的行为的有意义的解释/code> 关键字。您如何解释/解释该关键字？另外，我应该在代码中更改哪些内容才能使它们按预期工作？

Answer 1

在 C 语言中，每个定义都是一个声明。有些声明是定义，有些则不是。

您链接到的页面有错误。一是它说“变量或函数的声明只是声明该变量或函数存在于程序中的某个位置，但没有为其分配内存。”事实上，这至少是两个错误。根据 C 2018 6.7 5，“声明指定一组标识符的解释和属性……”这并不一定意味着程序中实际存在具有声明名称的任何对象或函数。例如，如果我们包含 标头，则会声明 fputc 函数，但是，如果我们从不使用它，它可能永远不会链接到程序中，因此程序中可能不存在这样的函数，即使在文件可执行文件中也是如此。不是定义的声明仅告诉编译器有关名称的信息（我们称之为标识符）；它不传达有关某物是否存在的信息。

该句子中的第二个错误是它表示没有为声明的变量或函数分配内存。这是不正确的，因为每个定义都是一个声明。 C 2018 6.7 5 继续“……标识符的定义是该标识符的声明： — 对于一个对象，导致为该对象保留存储； — 对于函数，包括函数体…”例如，int x = 3;是x的声明，也是x<的定义/code>，它会导致为 x 分配内存，但您链接到的页面表示声明不会导致分配内存。所以页面是错误的。

关于 extern 以及什么是定义、什么不是定义的规则很复杂，因为 C 是由多个人用它做不同的事情开发的。当 C 被标准化时，委员会必须协调不同的实践。因此，extern 没有单一的规则。

关于术语的注释：变量实际上是两件事：标识符（其名称）和对象（存储其值的表示形式的内存）。

在代码 1 中，链接页面的示例 3，extern int var; 是一个声明，而不是定义。没有定义。如果表达式中使用了具有外部链接的标识符，则程序中必须恰好有一个该标识符的外部定义（由 C 2018 6.9 5 规定）。由于没有外部定义，链接器会抱怨。

有几个答案提到 main 中的 var 是一个局部变量。

如果在块内声明标识符，例如形成函数体的 { … }，则声明的效果对于该块来说是局部的。如果在任何函数外部声明标识符，则该声明的效果将持续到正在编译的文件的其余部分，除非它们被嵌套声明隐藏。

如果 var 在任何函数外部且在 main 之前声明，然后我们在 main 内部使用该标识符而无需再次声明它，则使用 < code>var 指的是之前的声明。它不会创建或引用名为 var 的新本地对象。

但是为什么它不能同时是一个全局变量。

在源代码中的任何一点，标识符最多指一件事。

..下面的代码有效：

…

//文件2
var = 4

var = 4 不是正确的 C 代码，因为它没有分号。如果是 var = 4;，某些编译器可能会在函数外部接受它，但它已经过时了。在现代 C 语言中，它应该有一个类型，例如 int var = 4;。这就是 var 的正确定义。如果您的编译器在函数外部接受 var = 4;，您应该知道它正在接受旧代码，并且最好使用开关来告诉编译器需要现代 C 代码。