c++ - 为什么非静态数据成员引用不是变量？

Question

C++11中变量的定义如下(§3/6):

A variable is introduced by the declaration of a reference other than a non-static data member or of an object. The variable’s name denotes the reference or object.

所以非静态数据成员引用不是变量。为什么这种区分是必要的？这里的基本原理是什么？

Answer 1

这是我可以在 C++ 中声明变量的一种方法:

int scientist = 7;

在这个声明(和定义，在本例中)之后，我可以使用 scientist 来读取和设置它的值，获取它的地址等。这是另一种声明:-

class Cloud {
    public:
    static int cumulonimbus = -1;
};

这个有点复杂，因为我必须将新变量引用为 Cloud::cumulonimbus，但我仍然可以读取和设置它的值，所以它显然仍然是一个变量。这是一种不同类型的声明:-

class Chamber {
    public:
    int pot;
};

但是在这个声明之后，没有一个名为pot 或Chamber::pot 的变量。事实上根本没有新变量。我已经声明了一个新类，当我稍后声明该类的一个实例时，它将有一个名为 pot 的成员，但现在，没有任何名称。

类的非静态数据成员本身不会创建新变量，它只是帮助您定义类的属性。如果它确实创建了一个新变量，您就可以编写如下代码:

class Chamber {
    public:
    int pot;
};

void f(bool b) {
    if (b)
        Chamber::pot = 2;
}

那甚至意味着什么？它会找到 Chamber 的每个实例并将它们的所有 pot 设置为 2 吗？这是胡说八道。

快速注脚:这里的标准语言专门讨论引用，但为了使示例更简单，我一直使用非引用。我希望你能看到这不会改变它的原则。