>假设我有一个模板类TemplateClass
,其中包含一个模板函数templFcn
如下所示:
template <typename T>
struct TemplateClass {
template <bool Bool> void templFcn(int i) { }
};
void test() {
TemplateClass<float> v;
v.templFcn<true>(0); // Compiles ok.
}
现在我想编写一个forward
函数来模拟这种行为
template <typename T, template<typename> class C, bool Bool>
void forward(C<T>& v) {
v.templFcn<Bool>(0); // Compiler error, Line 16 (see below)
};
void test2() {
TemplateClass<float> v;
forward<float,TemplateClass,true>(v); // Line 21
}
编译器错误由 clang++ :
test.cc:16:5: error: reference to non-static member function must be called
v.templFcn<Bool>(0);
~~^~~~~~~~
test.cc:21:3: note: in instantiation of function template specialization
'forward<float, TemplateClass, true>' requested here
forward<float,TemplateClass,true>(v);
^
test.cc:3:29: note: possible target for call
template <bool Bool> void templFcn(int i) { }
^
1 error generated.
有人可以解释为什么在这种情况下这样的模板转发失败吗?有什么办法可以规避它吗?谢谢!
v.template templFcn<Bool>(0); // Compiler error, Line 16 (see below)
从属子句需要消除歧义,因此它知道<
是模板子句打开器,而不是小于。