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

C++ constructor with private initialization

本文关键字：C++ 构造函数 初始化      更新时间：2023-10-16

不确定以前是否问过这个问题。我正在实现一个工厂类。每个实例都应该继承自基类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)）是没有意义的。

如果你想禁止使用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)...)                     
}

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

相关文章：