我希望以下代码片段能说明所有这些内容:

struct TBase {
  virtual void f() {}
};

struct TDerived : public TBase {
    TDerived() {
      /* These are all fine either under GCC 4.4.3, ICC 12 and Comeau online: */
      f();
      this->f();
      TBase::f();
      this->TBase::f();

      /* This one fails under Comeau: */
      TBase::TBase();

      /* While this one fails in every case: */
      //this->TBase::TBase();

      /* e.g. GCC says:
         test.cpp: In constructor ‘TDerived::TDerived()’:
         test.cpp:17: error: invalid use of ‘struct TBase’  */
    }
    void f() {}
};

问题是:为什么? (即,根据Comeau C++,为什么TBase::TBase()是错误的?为什么this->TBase::TBase()甚至是错误的?)

最佳答案

因为您不能直接调用任何构造函数(第12.1节(2)ISO / IEC 14882:2003(E))。如果要调用基类构造函数,则必须在初始值设定项列表中进行调用,即:

TDerived() : TBase() {
}

这样做的主要原因是,当控件到达派生构造函数的第一条可执行代码行时,可以保证基类对象已经完全构造好(第12.6.2(5)和(6)条,ISO / IEC 14882 :2003(E))。由于构造函数通常用于资源获取(即RAII),因此如果允许对对象进行“双重”构造,将是一个错误。

10-08 19:51