c++ - 使用 Template 模板参数的前向声明

Question

我这辈子都无法编译这个前向声明。一切在语法上看起来都是正确的，但我收到类型/值不匹配错误。

namespace C {
   template <class TBinaryPredicate> class E;
}

template< template<typename> class TField> class CF;

using CE_Less = C::E<std::less<Date>>;
using CF_Less = CF<CE_Less>;  <==== COMPILER NOT HAPPY HERE

编译器错误:

error: type/value mismatch at argument 1 in template parameter list for 'template class TField> class CF'

声明此模板别名的正确方法是什么？

Answer 1

CF 需要一个模板:CE_Less 不是模板别名，它是一个简单的别名，您可能打算使用模板别名:

template<class T>
using CE_Less = C::E<std::less<T>>;

using CF_Less = CF< CE_Less >;