名称表示同一实体

Question

声明性区域的如下定义：

每个名称都在程序文本的某些部分中引入，称为 声明区域，它是程序的最大部分，其中 该名称是有效的，也就是说，该名称可以用作 非限定名称来指代同一实体。

我们在下面的规范中有示例：

int j = 24;
int main() {
    int i = j, j;
    j = 42;
}

标识符 j 被声明为名称两次（并使用了两次）。这 第一个 j 的声明区域包括整个示例。这 第一个 j 的潜在范围紧接在那个 j 之后开始，并且 延伸到程序的末尾，但其（实际）范围不包括 和 } 之间的文本。第二个声明区域 j 的声明（分号前的 j）包括所有 { 和 } 之间的文本，但其潜在范围不包括 i 的声明。 j的第二个声明的范围是一样的 作为它的潜在范围。

目前还不清楚如何确定任意名称的声明区域。至少我在标准中找不到这个。

Answer 1

在文件范围内（即不在命名空间、类或函数内）声明的变量的潜在范围是从声明变量的点到文件末尾。在函数内声明的变量的潜在作用域是从声明变量的点到声明变量的右大括号。

如果在某个内部范围内声明了同名的新变量，则变量的实际范围可能小于潜在范围。这称为阴影。

// The following introduces the file scope variable j.
// The potential scope for this variable is from here to the end of file.
int j = 42; 

// The following introduces the file scope variable k.
int k = 0;

// Note the parameter 'j'. This shadows the file scope 'j'.
void foo (int j) 
{
    std::cout << j << '\n'; // Prints the value of the passed argument.
    std::cout << k << '\n'; // Prints the value of the file scope k.
}
// The parameter j is out of scope. j once again refers to the file scope j.


void bar ()
{
    std::cout << j << '\n'; // Prints the value of the file scope j.
    std::cout << k << '\n'; // Prints the value of the file scope k.

    // Declare k at function variable, shadowing the file scope k.
    int k = 1; 
    std::cout << k << '\n'; // Prints the value of the function scope k.

    // This new k in the following for loop shadows the function scope k.
    for (int k = 0; k < j; ++k) { 
        std::cout << k << '\n'; // Prints the value of the loop scope k.
    }
    // Loop scope k is now out of scope. k now refers to the function scope k.

    std::cout << k << '\n'; // Prints the function scope k.
}
// Function scope k is out of scope. k now refers to the file scope k.