当没有参考价值时，它会永远存在吗？

Question

假设以下最小代码：

#include <stdio.h>
char character = 'c';
int main (void)
{
    char character = 'b';
    printf("The current value of head is %c", character);
}

我在main 中覆盖了character，
那c怎么了？会自动销毁还是永远活在记忆中？

这条评论让我印象深刻：“C 中的变量只不过是命名的内存块”。

Answer 1

“shadowing”全局变量character 对main 函数隐藏了变量，但它仍然是程序的一部分。

如果character 变量被声明为static，那么编译器可能会警告character 变量永远不会被使用并且character 将被优化掉。

但是，character 变量没有声明为static；编译器将假定character 变量可能被外部访问，并将character 变量保留在内存中。

编辑：

正如@Deduplicator 所指出的，如果允许，链接器优化和设置可以从最终的可执行文件中省略该变量。然而，这是一个不会“自动”发生的极端情况。

Answer 2

它将继续存在（直到程序终止，就像任何静态存储变量一样）并且您仍然可以访问它：

#include <stdio.h>
char character = 'c';
int main (void)
{
    char character = 'b';
    printf("The current value of head is '%c'\n", character);
    {
        extern char character;
        //in this scope, overrides the local `character` with 
        //the global (extern?) one
        printf("The current value of head is '%c'\n", character);
    }
    printf("The current value of head is '%c'\n", character);
}
/*prints:
The current value of head is 'b'
The current value of head is 'c'
The current value of head is 'b'
*/

本地 extern 声明对于 static 全局变量不能可靠/可移植地工作，尽管您仍然可以通过指针或通过单独的函数来访问它们。

---

( 为什么static char character='c'; int main(){ char character='b'; { extern char character; } } 不可靠而全局为static？

6.2.2p4 似乎也想让它适用于静态，但措辞模棱两可（先前的声明没有链接，而另一个声明有静态/外部链接，那么现在呢？）。

6.2.2p4:

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

我的 clang 6.0.0 使用 static char character='b'; 接受它，但我的 gcc 7.3.0 不是。

感谢Eric Postpischil 指出这也可以与static 一起使用的模棱两可的可能性。 )

Answer 3

#include <stdio.h>
char character = 'c';
int main (void)
{
    char character = 'b';
    printf("The current value of head is %c\n", character);
    printc();
}

void printc()
{
    printf("%c", character);
}

这一切都清楚了。它没有被破坏，只是被遮蔽了。

输出： head的当前值为b
c

Answer 4

在main 中声明character 之后，该函数中对character 的任何引用都指的是那个，而不是全局范围内的那个。我们称之为阴影。

至于对内存的影响，由于语言采用的as-if规则，你不能说：编译器可能会优化到

#include <stdio.h>
int main()
{
     printf("The current value of head is b");
}

例如。

Answer 5

虽然全局变量从程序执行的开始到结束都存在，但它们不能自动访问。

可以从文件中定义或声明全局变量的位置开始访问全局变量，直到文件末尾。

如果在函数范围内定义了一个同名变量，则全局变量将存在，但不可访问。

Answer 6

补充其他答案：

试试这个，你就会明白：

#include <stdio.h>

char character = 'c';

void Check()
{
  printf("Check: c = %c\n", character);
}

int main(void)
{
  char character = 'b';
  printf("The current value of head is %c\n", character);
  Check();
}

Answer 7

通常，全局变量会保留。由于您的局部变量只会隐藏名称，因此不会影响存储。

但它也可能取决于链接器设置。链接器可以优化未使用的全局变量。

Answer 8

您有两个名为character 的独立变量：一个在文件范围内设置为“c”，其生命周期是程序的生命周期，另一个在main 中设置为“b”，其生命周期是它的生命周期范围。

main 中character 的定义掩盖文件范围内的定义，因此只能访问后者。