c++ - 在 C++ 中将内部模板类作为模板参数传递

Question

我正在尝试将(常规类的)内部模板类传递给另一个接受模板作为参数的类。

接受模板的类是:

template <typename... T> struct TypeList {
  template <template <typename...> typename P> using Apply = P<T...>;
};

所以当我有类似 using List = TypeList<int, float, double>; 的东西时我可以

static_assert(std::is_same<List::template Apply<std::tuple>,
                           std::tuple<int, float, double>>::value);

但如果我改变 std::tuple所以一个内部模板类，它停止工作。 IE。，

struct Outer {
  template <typename... P> struct Inner {};
};

static_assert(std::is_same<List::template Apply<typename Outer::Inner>,
                           Outer::Inner<int, float, double>>::value);

不起作用。

我的编译器提示

error: invalid use of template-name ‘Outer::Inner’ without an argument list

如果我用 template <typename... P> using Flat = Outer::Inner<P...>;“展平”内部模板类，它会起作用。 .

我的问题是，有没有办法让内部模板类工作，而不用别名和展平它？我错过了 typename或 template某处的关键字？

完整的例子是:

#include <tuple>
#include <type_traits>

template <typename... T> struct TypeList {
  template <template <typename...> typename P> using Apply = P<T...>;
};

struct Outer {
  template <typename... P> struct Inner {};
};

template <typename... P> using Flat = Outer::Inner<P...>;

int main() {
  using List = TypeList<int, float, double>;
  static_assert(std::is_same<List::template Apply<std::tuple>,
                             std::tuple<int, float, double>>::value);
  static_assert(std::is_same<List::template Apply<Flat>,
                             Outer::Inner<int, float, double>>::value);
  static_assert(std::is_same<List::template Apply<typename Outer::Inner>,
                             Outer::Inner<int, float, double>>::value);
}

Answer 1

typename Outer::Inner错误为 Inner不是类型而是模板。

您甚至可以在此处删除所有类型名/模板，因为没有依赖类型问题。

static_assert(std::is_same<List::Apply<Outer::Inner>,
                           Outer::Inner<int, float, double>>::value);

在从属上下文中，它将是

// template <typename OuterT> /*..*/
static_assert(std::is_same<List::Apply<OuterT::template Inner>,
                           typename OuterT::template Inner<int, float, double>>::value);

Demo