使用派生类成员进行父类的初始化

Question

我想初始化类B这是一个从类派生A ，并且其中在B我构造的高速缓存首先进行使用的建设A ，例如

class B: public A {

public:
  B(): A(cache_), cache_(this->buildCache_())

protected:
  const SomeDataType cache_;

private:
  SomeDataType
  buildCache_() const
  {
    // expensive cache construction
  }

}

这不会工作，虽然因父对象A总是先初始化（前cache_充满）。

（出于完整性考虑： cache_在从B派生的类中被多次使用。）

作为替代，我可以做

class B: public A {

public:
  B(): A(this->buildCache_())

protected:
  const SomeDataType cache_;

private:
  SomeDataType
  buildCache_()
  {
    // expensive cache construction
    // fill this->cache_ explicitly
    return cache_;
  }

}

这样做的缺点是buildCache_()不能为const 。 另外，海湾合作委员会抱怨说

warning: ‘B::cache_’ should be initialized in the member initialization list [-Weffc++]

有没有更合适的解决方案？

Answer 1

您所做的是[class.base.init] / 14中未定义的行为，重点是我的：

可以为正在构造的对象调用成员函数（包括虚拟成员函数10.3）。 同样，正在构造的对象可以是typeid运算符（5.2.8）或dynamic_cast （5.2.7）的操作数。 但是，如果在所有基类的mem-initializer完成之前，在ctor初始化程序 （或直接或间接从ctor初始化程序调用的函数）中执行了这些操作，则操作的结果是不确定的 。

您想要做的是使用“ 从成员开始”成语 ：

class Cache {
protected:
    const SomeDataType cache_;
};

class B : private Cache, public A {
public:
    B() : Cache(), A(cache_)
    { }
};

Answer 2

从C ++ 11，您可以使用正向构造函数：

class B: public A
{
public:
  B(): B(B::buildCache_()) {}

private:
  B(SomeDataType&& cache) : A(cache), cache_(std::move(cache)) {}

private:
  static SomeDataType buildCache_()
  {
    // expensive cache construction
  }

protected:
    const SomeDataType cache_;
};