作为另一个对象的一部分的对象的 C++ 构造函数

Question

那不是 duplicate .请仔细阅读。有两个变量 x(类型为 int 和 X)，其中一个成员实际上声明为私有(private)，它在构造函数中使用。它是关于在这个非常具体的案例中理解构造函数过程。

---

我正在学习 C++ 类(class)，并且我理解给出的以下示例。它是关于构造函数的。

#include <iostream>
using namespace std;

class Element {
    int value;
public:

    Element(int val) {
        value = val;
        cout << "Element(" << val << ") constructed!" << endl;
    }

    int Get(void) {
        return value;
    }

    void Put(int val) {
        value = val;
    }
};

class Collection {
    Element el1, el2;
public:

    Collection(void) : el2(2), el1(1) {
        cout << "Collection constructed!" << endl;
    }

    int Get(int elno) {
        return elno == 1 ? el1.Get() : el2.Get();
    }

    int Put(int elno, int val) {
        if (elno == 1) el1.Put(val);
        else el2.Put(val);
    }
};

int main(void) {
    Collection coll;
    return 0;
}

然后他们提到了以下内容

... We should also add that there is the following alternation for that case: when the constructor is divided between the declaration and the definition, the list of alternative constructors should be associated with the definition, not the declaration.

It means that the following snippet is correct:

class X {
public:
       X(int x) { };
};

class Y {
       X x;
public:
      Y(int x);
};

Y::Y(int x) : x(1) { };

谁能解释一下？真的正确吗？如果是，如何解释？ Y 有一个单参数构造函数，但没有传递任何值。 x(1) 可能是 Y 中字段 X x 的构造函数。 1(x(1))的值然后自动传递给 Y(int x)，尽管它在 中声明为私有(private)>是?

Answer 1

在第二个代码片段中，实际上并没有进行构造——它只是类和构造函数的定义。它唯一“特殊”的地方是 Y 的构造函数的主体是在类之外定义的；例如，它可以在不同的文件中。在这种情况下，它与将主体直接放入类¹没有什么不同:

class Y {
       X x;
public:
      Y(int x) : x(1) {}
};

当 Y 的这个构造函数被调用时，它通过将 1 传递给 X 来构造成员变量 x > 采用 int 的构造函数。 Y 的构造函数不执行任何其他操作，即它忽略自己的参数。

原始代码片段中使用的语法 Y::Y 是在类定义之外定义成员函数的标准语法。对于非构造函数，它看起来像这样:

class Foo
{
  int bar() const;
};

int Foo::bar() const
{
  return 42;
}

---

¹ 略有不同的是，当直接放入类定义时，该函数是隐式内联(可以出现在多个翻译单元中)。