使用与 C++ 标准允许的成员变量相同的名称为构造函数参数初始化成员变量？ [复制]

Question

我发现可以使用同名的构造函数参数来初始化成员变量，如下例所示。

#include <cstdio>
#include <vector>

class Blah {
    std::vector<int> vec;

public:
    Blah(std::vector<int> vec): vec(vec)
    {}

    void printVec() {

        for(unsigned int i=0; i<vec.size(); i++)
            printf("%i ", vec.at(i));

        printf("\n");
    }
};

int main() {

    std::vector<int> myVector(3);

    myVector.at(0) = 1;
    myVector.at(1) = 2;
    myVector.at(2) = 3;

    Blah blah(myVector);

    blah.printVec();

    return 0;
}

g++ 4.4 带有参数-Wall -Wextra -pedantic 没有给出警告并且可以正常工作。它也适用于 clang++。我想知道 C++ 标准对此有何评论？是否合法并保证始终有效？

Answer 1

我想知道 C++ 标准对此有何规定？是否合法并保证始终有效？

是的。这是完全合法的。完全符合标准。

Blah(std::vector<int> vec): vec(vec){}
                             ^   ^                           
                             |   |
                             |    this is the argument to the constructor
                             this is your member data

既然你在标准中要求参考，这里是一个例子。

§12.6.2/7

mem-initializer 的表达式列表中的名称在指定 mem-initializer 的构造函数的范围内进行评估。

[Example:
class X {
 int a;
 int b;
 int i;
 int j;
 public:
 const int& r;
  X(int i): r(a), b(i), i(i), j(this->i) {}
                      //^^^^ note this (added by Nawaz)
};

初始化 X::r 以引用 X::a， 用 的值初始化 X::b 构造函数参数 i，初始化 X::i 与构造函数的值 参数 i，并用 X::i 的值；这发生 每次 X 类的对象是 创建的。 ]

[注意：因为 mem-initializer 在 构造函数的范围，this 指针可用于 mem-initializer 的表达式列表 指代对象 初始化。 ]

如您所见，在上面的示例中还有其他有趣的事情需要注意，以及来自标准本身的评论。

---

顺便说一句，你为什么不接受参数作为 const 参考：

 Blah(const std::vector<int> & vec): vec(vec) {}
      ^^^^const              ^reference

它避免了原始矢量对象的不必要复制。

Answer 2

保证始终有效（我经常使用它）。编译器知道初始化列表的形式为：member(value)，因此它知道vec(vec) 中的第一个vec 必须是成员。现在在初始化成员的参数上，可以使用两个成员、构造函数的参数和其他符号，就像在构造函数中出现的任何表达式一样。此时它应用常规查找规则，参数vec 隐藏了成员vec。

标准的第 12.6.2 节处理初始化，它解释了第 2 段处理成员查找和第 7 段处理参数查找的过程。

mem-initializer 的表达式列表中的名称在指定 mem-initializer 的构造函数的范围内进行评估。 [示例：

class X {
   int a;
   int b;
   int i;
   int j;
public:
   const int& r;
   X(int i): r(a), b(i), i(i), j(this->i) {}
};

Answer 3

一个额外的反论点或者可能只是需要注意的一点是移动构造用于初始化成员变量的情况。

如果需要在构造函数体中使用成员变量，则需要通过this指针显式引用该成员变量，否则将使用移动后处于未定义状态的变量。

template<typename B>
class A {
public:

  A(B&& b): b(std::forward(b)) {
    this->b.test(); // Correct
    b.test(); // Undefined behavior
  }

private:
  B b;
};

Answer 4

正如其他人已经回答的那样：是的，这是合法的。是的，标准保证了这一点。

我每次看到它都觉得很可怕，迫使我停下来：“vec(vec)？WTF？啊，是的，vec 是一个成员变量......”

这就是为什么包括我自己在内的许多人都喜欢使用明确表示成员变量是成员变量的命名约定的原因之一。我见过的约定包括添加下划线后缀 (vec_) 或 m_ 前缀 (m_vec)。然后，初始化程序读取：vec_(vec) / m_vec(vec)，这很简单。