c++ - 如何为模板类型创建别名？

Question

我有一些模板类，其声明如下所示：

template <typename T, typename A, typename B, typename C>
class foo1;

template <typename T, typename A, typename B, typename C>
class foo2;

...

我在以下上下文中使用它们（每个foo*都用Aand实例化，B并且用C它bar实例化）：

template <typename A, typename B, typename C>
class bar {
    foo1<int, A, B, C> f1;
    foo2<int, A, B, C> f2;
    foo2<char, A, B, C> f3;
};

出于简单和清晰的原因，我希望能够省略A,B和C里面的参数bar，只写：

...
foo1<int> f1;
...

我知道我可以对所有foo类型使用别名模板，如下所示：

template <typename T>
using foo1_a = foo1<T, A, B, C>;

但是类型可能很多，foo并且需要为所有类型创建别名。

我试图将所有这些别名放在一个类中：

template <typename A, typename B, typename C>
class types {
    template <typename T>
    using foo1_a = foo1<T, A, B, C>;

    ...
};

然后用法如下所示：

...
using t = types<A,B,C>;
typename t::template foo1_a<int> f1;
...

但在我看来，这看起来更糟......

是否有可能以其他方式实现这一目标？

Answer 1

关于什么

template <template <typename...> class Cnt, typename T>
using bar = Cnt<T, A, B, C>;

用过的

bar<foo1, int> f1;
bar<foo2, int> f2;
bar<foo2, char> f3;

?

Answer 2

如果A B C只提供到bar被转发到fooN参数中，那么打包它们可能是值得的。fooN这样，如果签名发生变化，则无需更新条形签名。

template <typename… x_FooParams>
class bar {
    foo1<int, x_FooParams...> f1;
    foo2<int, x_FooParams...> f2;
    foo2<char, x_FooParams...> f3;
};