c++ - 在构造函数体内调用成员对象的构造函数？

Question

为什么我不允许在类的构造函数体中使用以下语法调用成员对象/不同类的构造函数？

class Circle {
   double radius;

   public:
          Circle(double r) : radius(r) { }
          double area() {return radius*radius*3.14159265;}
};

class Cylinder {
   Circle base;
   double height;

   public:
          Cylinder(double r, double h)  {
          base(r);
          height = h;
          }
          double volume() {return base.area() * height;}
};

顺便说一下，我知道我可以通过 Cylinder(double,double) 使用成员初始化列表调用 Circle::Circle(double)，例如 Cylinder(double r,double h) : base(r), height(r) {} 但编译器生成此错误的前一种方法仍然有什么问题？

Answer 1

问题是，当 C++ 开始执行构造函数代码时，所有成员变量必须已经构造(例如，如果您在构造它之前调用 Circle 的方法会怎样？)。

如果立即构建是一个问题，那么一个可能的解决方案是向您的成员添加一个默认构造函数，并在包含类的构造函数的主体中使用赋值 .

你可以想象像 int 或 double 这样的原生类型确实有一个默认构造函数，这就是为什么你可以稍后初始化它们(但是请注意，对于许多丑陋的语言的怪癖 int 或 double 的默认构造函数实际上不会做任何事情在这种情况下，并且您不允许这样做对这样的成员做任何事情，除了给它赋值——例如不允许读取它)。

你不能在正文中使用 base(r) 因为那不是一个有效的语句...在名字后跟一个左括号只用于函数调用，用于声明中的初始化或用于构造函数成员初始化列表中的成员初始化。

如果您为 Circle 提供默认构造函数，那么您可以这样做

Cylinder(double r, double h) {
    base = Circle(r);
    height = h;
}

但是请注意，构建非工作对象以稍后修复它们的方法并不是 C++ 的最佳方法。该语言喜欢这样的想法，即如果构造了一个对象，那么它就是可用的，并且仅在必要时才考虑与此的偏差(C++11 使用移动构造函数偏离了这条原始路径……但那是另一回事了)。