c – 模板类中的模板化函数

参见英文答案 > Where and why do I have to put the “template” and “typename” keywords?6个
同

template <typename T>
class Foo {
public:
    template <int x>
    void bar () {}
};

以下编译：

void fooBar ()
{
    Foo<int> f;
    f.bar<1>();
}

但是以下内容没有(带有“错误：在’之前预期的primary-expression’)’令牌”在gcc 5.4.0中,-std = c 14).

template <typename T>
void fooBar ()
{
    Foo<T> f;
    f.bar<1>();
}

如果我尝试显式调用第二个版本,例如

fooBar<int>();

然后gcc另外抱怨

"invalid operands of types '<unresolved overloaded function type>' and 'int' to binary 'operator<'".

有没有理由说第二个版本无效？为什么gcc处理’<'作为运算符而不是模板参数列表的开头？

解决方法

利用模板化函数,编译器不确切地知道Foo< T>.将(可能有Foo的特化),所以它必须假设f.bar是一个成员变量并解析代码为

f.bar < 1

然后它无法继续.

您可以通过告诉编译器栏是模板来帮助编译器

f.template bar<1>();