c++ - 调整具有非类型参数作为模板模板参数的模板

Question

我有一个模板，可以简化为以下模板

template <typename T, template <typename U> class Base>
class Derived: Base<T> {
};

作为Base，我希望能够使用可能具有非模板参数的模板。例如

template <unsigned N, typename T>
struct NBase {
};

这显然不能直接使用，因为它的参数与Base的单个参数不匹配，所以我想我会做类似的事情

template <unsigned S>
struct NAdapter {

   template <typename T>
   using B = NBase<S, T>;
};

这种作品，例如，编译如下:

void f() {
   Derived<int, NAdapter<100>::B> a;
}

但是，这不能编译

template <unsigned M>
void eval() {
  Derived<int, NAdapter<M>::B> b;
}

产生的错误是note: expected a class template, got ‘NAdapter<M>::B’。

有没有一种方法可以将NBase修改为Base，使其在两种情况下都能正常工作？

解决方案

这行得通，谢谢@mutableVoid的建议!

template <unsigned M>
void eval() {
  Derived<int, NAdapter<M>::template B> b;
}

Answer 1

这是core issue 1478;如注释中指出的，某些实现在这里需要::template。最current plan(我的)是要求这种情况在没有template的情况下工作，并在那里弃用它的不必要用法(与解析的目的有所不同)。实现可能要过一段时间才能遵循该规则，因为尚未对其进行审核。