使用 using 的类型别名如何指定依赖于模板参数的模板模板参数？

Question

最小示例：

template<template<class ...> class>
struct templ {};

template<class T>
using special = templ<T::type>;

int main() {}

叮当声++：

test.cpp:5:23: error: template argument for template template parameter must be a class template or type alias template
using special = templ<T::type>;

的确，我的意思是说 T::type 是一个 class 模板，例如

struct detail1 {
    template <class T>
    using type = std::vector<T>;
};

struct detail2 {
    template <class T>
    struct type {};
};

可是怎么能这样说呢？ g++ 建议使用 typename T::type，但这对我来说是错误的，事实上，这并不能解决错误。

Answer 1

您需要指定type是模板：

template<class T>
using special = templ< T::template type>;

这是必需的，因为 T::type 依赖于模板参数 T。

另见 Where and why do I have to put the “template” and “typename” keywords?

使用 using 的类型别名如何指定依赖于模板参数的模板模板参数？

How can a type alias with using specify a template template argument dependent on a template argument?

c++

templates

using

template-templates

c++11