假设我有一个带有模板函数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.
有人可以解释为什么这种模板转发在这种情况下失败了吗?有没有办法绕过它?谢谢!
答案 0 :(得分:8)
v.template templFcn<Bool>(0); // Compiler error, Line 16 (see below)
依赖条款需要消除歧义,因此它知道<
是一个模板子句开启者,而不是小于。