c++ - 在 "Modern C++ Design"为什么 Prototype Factory Unit::GetPrototype 必须调用 DoGet Prototype？

Question

在 Andrei Alexandrescu 的书“现代 C++ 设计”中，为什么 PrototypeFactoryUnit::GetPrototype 必须调用友元函数 DoGetPrototype？为什么它不能直接将传入的指针设置为原型(prototype)本身？ PrototypeFactoryUnit::SetPrototype 和 DoSetPrototype 函数也完成了同样的事情。

Answer 1

一些上下文!

template <class, class Base>
class PrototypeFactoryUnit: public Base {
public:
  typedef typename Base::ProductList::Head AbstractProduct;

  friend void DoGetPrototype(const PrototypeFactoryUnit& me,
                             AbstractProduct*& pPrototype)
  {
    pPrototype = me.pPrototype_;
  }

  template <class U>
  void GetPrototype(U*& p) {
    return DoGetPrototype(*this, p);
  }
private:
  AbstractProduct* pPrototype_;
};

(虽然它确实让我有机会清理这个上面的灰尘......)

因为GetPrototype 是模板，它可以用许多不同的类型实例化。然后，重载决议将发挥作用!

例如，我写了一个 DoGetPrototype(...& me, DerivedProduct*& p) 然后说:

DerivedProduct* p =0;
factory.GetPrototype(p);

然后，调用我的重载。

因此，这是一个定制点:一个静态分派(dispatch)，类似于具有默认实现的 virtual 函数的运行时对应物。