Question

下面是我的代码：

//main.c

int x = 9;

int f()
{
    static int x = 0;
    x += 1;
    return x;
}

int main()
{
   printf("Value is %d", f());
   return 0;
}

我的问题是：

在Q1内部f()中，定义了一个局部静态变量x，并且有一个全球变量也称为x，该程序可以编译，但这不是冲突到编译器和链接器？

我在运行Q2时，输出为1，这意味着x中的x += 1;是局部静态变量x，而不是全球变量x 。但是我本来可以说“增加全局变量x”，我该怎么办呢？

Answer 1

程序的局部变量和全局变量可以具有相同的名称，但是函数内局部变量的值将具有优先级。在C语言中，没有规定可以在本地范围内以与本地相同的名称显式修改全局变量。在C ++中，虽然要访问具有相同名称的全局变量，但必须使用范围解析运算符

#include <iostream>
using namespace std;
// Global variable declaration:
int g = 20;
int f()
{
   int g = 0;
   ::g += 5;
   return g;
}

int main () {
   // Local variable declaration:
   int g = 10;

   cout << f();   // Local
   cout << ::g; // Global
   return 0;
}

产生 0 25

编辑- 确实有一种方法可以在具有相同变量名的局部范围内显式更改全局范围变量（仅当全局变量未声明为static时）

int x = 9;

int f()
{
    static int x = 0;
    
    {
       extern int x;
       x += 1;
    }
    
    return x;
}

int main()
{
   printf("Value is %d", f());
   return 0;
}

产生0

Answer 2

在f（）中的Q1-内，定义了局部静态变量x，并且还存在全球变量（也称为x），这与编译器和链接器是否有冲突？

否，该函数始终首先处理局部变量名称。函数x中的本地名称f遮盖了全局名称x。

当我运行Q2-时，输出为1，这意味着x + = 1中的x；是局部静态变量x，而不是全局变量x。但是我的意思是“增加全局变量x”，怎么办？

与您的第一个问题相同。您调用f()，它使用局部变量名x，该变量遮盖了全局名x。如果要使用全局x，则需要直接使用它，而不是通过函数f使用。

Answer 3

从概念上讲，程序控制到达x中f的局部声明，全局x被遮盖。 C中不存在用于访问全局x的语法。

除了重命名其中一个变量之外，

int f()
{
    int* y = &x; // still refers to the global x
    static int x = 0;
    x += 1;
    *y += 1; // increments the global x via the pointer
    return x;
}

是一种选择，尽管不是特别明智。

Answer 4

Q1。该语言是有意设计的，因此我们不必担心全局名称空间中存在哪些标识符-在大型项目中可能有很多标识符。

内部，编译器根本不使用变量名，但有时必须保留其名称以生成调试器文件（例如ELF等）。在这种情况下，编译器使用一种称为“名称修改”的方法将两个变量在内部分开。例如，如果我用gcc x86反汇编了您的代码并且没有进行优化，则它在内部为本地yy::parser::symbol_type_kind::S_T_ID命名，其中x.0是特定于编译器的内容，不要与有效的C语法混淆。

第二季度。在本地.0可见的函数f内部，您看不到。除非您通过参数等明确地将指针传递给另一个变量。同样，我们也不想偶然更改文件范围变量的值。

Answer 5

Q1-在f()内，定义了一个局部静态变量x，并且有一个也称为x的全局变量，程序可以编译，但不是冲突到编译器和链接器？

不，这不是冲突。这里发生的是过程variable shadowing。本地x遮盖了全局x。

Q2-运行它时，输出为1，这意味着x中的x += 1;是局部静态变量x，而不是全局变量x 。但是我的意思是“增加全局变量x”，我该怎么办？

在内部范围内声明带有extern的new全局变量，然后从该范围返回：

int f (void)
{
    static int x = 0;
    {
        extern x;
        x += 1;
        return x;
    }   
}

请注意，如果在全局空间中不添加代码的情况下将全局x声明为static，则此方法将无效。

如何消除具有相同名称的局部静态变量和全局变量的歧义

5 个答案: