是否可以创建模板别名？

Question

考虑以下代码：

template< template< typename ... > class ... Ts >
struct unite
{
    template< typename ... T >
    struct type
        : Ts< T ... > ...
    { };
};

// This does not work as ::type does not name a type, but a template:

// template< template< typename ... > class ... Ts >
// using unite_t = typename unite< Ts ... >::type;

template< typename > struct debug_none {};
template< typename > struct debug_cout {};

template< typename ... > struct raise_demangled {};
template< typename ... > struct raise_specialized {};

template< typename, typename = int > struct match_default {};

template< template< typename ... > class Control >
void f()
{}

int main()
{
    f< unite< debug_none, raise_demangled, match_default >::type >();

    // Is there any way to create something like unite_t which works like this:

    // f< unite_t< debug_none, raise_demangled, match_default > >();
}

Live example

问题：有什么方法可以创建某种类似于类型别名的“模板别名”？（参见上例中的unite_t）

Answer 1

不，你不能。

using 可以“返回”一个类型或一个变量。它不能“返回”template。其他地方没有类似的机制。

您可以通过遵循所有模板不是模板，而是在其中带有 template<?>using apply=?; 别名的类的约定来做一些模糊有用的事情（当我们这样做时，常量是 std::integral_constants<T,?>，指针是 @987654325 @)。

现在一切都是一个类。 templates 变成了种类（带有::apply<?...>。

将一组类型应用于此类模板将通过以下方式完成：

template<class Z, class...Ts>
using apply_t = Z::template apply<Ts...>;

因此，使用“本机”模板 Z，您可以使用 Z<Ts...>。使用这些“间接”模板，您可以使用apply_t<Z, Ts...>。

使用此约定，模板using 别名可以返回间接模板。如果您的其余代码遵循始终调用apply_t 来应用模板的约定，并且您间接化您编写的所有其他模板，我们就完成了。

这太丑了。