调用模板参数的构造函数

时间:2012-01-03 11:24:37

标签: c++ templates factory-pattern

给定一个模板化的工厂方法,我想基于模板参数提供的构造函数调用不同的构造函数:

template<typename T>
T* Factory::create()
{
  if (hasOnlyDefaultConstructor<T>())
    return new T();
  else
    return new T(this);
}

两个问题:

  • 如果T没有构造函数T(Factory *),则存在编译问题。
  • 如何编写hasOnlyDefaultConstructor()?

一般来说,我想要以下内容:

template<typename T>
T* Factory::create()
{
  if (hasDefaultConstructor<T>())
    return new T();
  else if (hasUnaryConstructor<T>())
    return new T(create());
  else if (hasBinaryConstructor<T>())
    return new T(create(), create());
  else ....
}

有没有办法在C ++中实现这一目标?如果编译器有多个构造函数可供选择,我理解这些问题,但是假设我们只传递只有一个公共构造函数的类型T.

class A 
{
  A(B* b);
}

class B 
{
  B(C* c, D* d);
}  

A* a = Factory::create<A>(); // same as A* a = new A(new B());
B* b = Factory::create<B>(); // same as B* b = new B(new C(), new D());

是不是可以写一个泛型函数create(),它可以实例化B和A?

2 个答案:

答案 0 :(得分:3)

你的例子有点奇怪......

我猜你想要的东西是:

template<typename T>
T* Factory::create()
{
    return new T();
}

template<typename T, typename P0>
T* Factory::create(P0&& p0)
{
    return new T(std::forward<P0>(p0));
}

template<typename T, typename P0, typename P1>
T* Factory::create(P0&& p0, P1&& p1)
{
    return new T(std::forward<P0>(p0), std::forward<P1>(p1));
}

或使用可变参数模板:

template<typename T, typename... Args>
T* Factory::create(Args&&... args)
{
    return new T(std::forward<Args>(args)...);
}

编辑:

基于以下评论......仍然从内存管理视图中看起来很奇怪。

template<typename T>
struct factory;

template<>
struct factory<A>
{
   static A* create(){return new A(new B());}
}

template<>
struct factory<B>
{
   static B* create(){return new B(new C(), new D());}
}

int main()
{
     A* a = factory<A>::create();
     B* b = factory<B>::create();
     return 0;
}

答案 1 :(得分:1)

你可能想要这个:

struct X
{
  enum {TYPE = 0;}// has default constructor
  X() {}
};


struct A
{
  enum {TYPE = 1;}
  typedef B P;
  A(P* p) {}
};

struct B
{
  enum {TYPE = 2;}
  typedef C P1;
  typedef D P2;
  B(P1* p1, P2* p2) {}
};

template<T, type> //type default = 0
struct FactoryDetail<T>
{
  static T* create(){return new T(); } 
};

template<T>
struct FactoryDetail<T, 1>
{
  static T* create(){return new T(new typename T::P()); } 
};

template<T>
struct FactoryDetail<T, 2>
{
  static T* create(){return new T(new typename T::P1(), new typename T::P2()); } 
};

//final Factory
template<T>
struct Factory
{
  static T* create(){return FactoryDetail<T, T::TYPE>::create(); } 
};

我现在没有开发环境,上面的代码描述了基本的想法。