在函数内部将静态变量声明为 extern 有什么用？

Question

#include <stdio.h>

static i = 5;

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

有人能给出在函数块内将静态变量声明为 extern 的任何用例吗？

新： 为什么不允许这样做？

int main()
{
static i = 5;
extern int i;
printf("%d\n",i);
return 0;
}

Answer 1

当您需要访问驻留在另一个翻译单元中的变量而不全局公开外部变量时，这很有用（出于一些原因，例如名称冲突，或者变量不应该 可以直接访问，所以用static来限制它的作用域，但是那个TU的header还是需要访问的）。

例如，假设我们有一个翻译单元foo.c，它包含：

//foo.c
static int i = 0;

i 不应在 foo.c 之外更改或直接访问，但是，foo.h 需要访问 i 以实现内联函数，但 i 不应暴露给任何翻译单元使用foo.h，所以我们可以在功能层面使用extern，只在IncI的范围内暴露它，内联函数需要使用i：

//foo.h
inline void IncI(int val)
{
    extern int i;
    i += val;
}

---

您的第二个示例是“不允许的”，因为编译器认为您正在尝试将两个不同的变量绑定到同一个符号名称，即：它在本地范围内创建 static i，但在全局范围内搜索 extern int i ，但没有找到，因为 static i 在函数范围内。一个更聪明的编译器只会修复与static i 的链接，无论这是否遵循我不知道的标准。

---

现在我有一个 C standards document 可以工作（我知道我很惭愧......），我们可以看到官方立场是什么（在 C99 中）：

6.2.2 标识符的链接

第 3 节：

如果对象或函数的文件范围标识符的声明包含存储类 说明符静态，标识符有内部链接。

第 4 节：

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

因此，因为static 将导致内部链接，extern 会将链接带入当前范围。还有一个脚注说明这可能会导致变量隐藏：

23) 如 6.2.1 所述，后面的声明可能会隐藏前面的声明。

Answer 2

在第二种情况下，您告诉编译器您有一个静态（局部）变量i 和另一个（全局）变量i，它在其他地方定义。