具有私有(private)初始化的 C++ 构造函数

Question

不确定以前是否有人问过这个问题。我正在实现一个工厂类。每个实例都应该继承自基类 InstBase并且应该通过集中式工厂进行初始化。

class InstBase {
  friend class Factory;      

  private:
    InstBase() = default;
    factory* factory;
}


class Factory {

   template <typename Derived, typename... ArgsT>
   InstBase* get(ArgsT&&... args) {
     return new Derived(std::forward<ArgsT>(args)...)                     
   }

}

class MyInst : public InstBase {
   public:
   MyInst(int a, int b) {...};
}

factory.get<MyInst>(1, 2);

正如您在此示例中所见，接口(interface)采用 Derived作为模板并使用传递给 Derived 的构造函数的用户定义参数列表初始化实例.但是，我想在这里添加的是将指针分配给创建实例的工厂。这可以通过以下方式完成:

   template <typename Derived, typename... ArgsT>
   InstBase* get(ArgsT&&... args) {
     auto ptr = new Derived(std::forward<ArgsT>(args)...);
     ptr->factory = this;
     return ptr;                    
   }

我觉得这有点多余，因为基类 InstBase总是在派生类之前创建，并且只能由工厂类更新。有没有什么技巧可以在不改变get的界面的情况下实现这个目标？ ？要求用户将另一个指针附加到 factory 对我来说没有意义在参数列表中(例如，factory.get<MyInst>(1, 2, &factory))。

Answer 1

如果你想禁止使用 Factory 作为参数的类型，你可以使用这样的东西(C++11 兼容):

template<typename>
constexpr bool isBaseOf() { return false; }

template<typename T, typename U, typename... O>
constexpr bool isBaseOf() { return std::is_base_of<T, typename std::decay<U>::type>::value || isBaseOf<T, O...>(); }

因此改变工厂方法如下:

template <typename Derived, typename... ArgsT>
InstBase* get(ArgsT&&... args) {
    static_assert(not isBaseOf<Factory, ArgsT...>(), "!");
    return new Derived(std::forward<ArgsT>(args)...)                     
}

也就是说，我不太喜欢它，因为我不会使用不允许我使用我想要的参数的类!!