c++ - 模板类的类型独立对象

Question

我又卡住了...

我有这个模板类:

template <typename a,typename b,typename c>
class myclass
{...};

我想声明一个这个类的对象:

myclass<a,b,c> x;

这显然是行不通的，我似乎无法弄清楚如何声明这个对象，或者它是否可能。

我可以像这样制作一个对象:

myclass<int,double,int> x;

但是我不想指定a,b,c的类型。

Answer 1

在不拼写参数的情况下创建复杂模板实例的典型方法是使用类型推导函数模板:

template <typename A, typename B, typename C>
myclass<A, B, C> make_myclass(A a, B b, C C)
{
    return myclass<A, B, C>();   // or whatever
}

用法:

auto x = make_myclass(1, 'x', -2.5f);   // x is a myclass<int, char, float>

标准库中使用此习语的典型示例是 make_shared、make_unique、make_pair、make_tuple、 make_exception_ptr 和 make_optional。