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);

正如您在此示例中所看到的，接口将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)...)                     
}

那就是说，我不太喜欢它，因为我不会使用一个不让我使用我想要的参数的课程。

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

1 个答案: