代码之家 › 专栏 › 技术社区 › Ari

从模板函数调用模板类的模板成员函数

templates c++

Ari · 技术社区 · 15 年前

这不编译:

template<class X> struct A {
   template<int I> void f() {}
};

template<class T> void g()
{
   A<T> a;
   a.f<3>();  // Compilation fails here (Line 18)
}

int main(int argc, char *argv[])
{
   g<int>();  // Line 23
}

编译器(GCC)说:

hhh.cpp:在函数“void g()”中:

hhh.cpp:18:错误:标记')之前需要主表达式

hhh.cpp:在函数“void g()[with t=in t]”:

hhh.cpp:23:从此处实例化

hhh.cpp:18:错误:成员的使用无效(是否忘记了“&”?)

有人能解释这是为什么吗?有办法让它工作吗?

1 回复 | 直到 8 年前

Kirill V. Lyadvinsky 15 年前

尝试以下代码:

template<class T> void g()
{
   A<T> a;
   a.template f<3>();  // add `template` keyword here
}

根据C++03标准142/4:

当成员模板专用化的名称出现在 . 或 -> 在一个后缀 -表达式,或之后 嵌套名称说明符 在一个 合格身份证 ,并且后缀表达式或限定ID显式依赖于模板参数(14.6.2),成员模板名称必须以关键字作为前缀。 template . 否则,将假定该名称命名非模板。

未来的C++标准似乎仍然需要这个关键字根据草案N2557 143/4。有些编译器有特殊的模式,可以在不出错的情况下编译原始代码(comeau以所谓的 放松模式 )

推荐文章

sungjun cho · 函数模板重叠多个匹配项

10 月前

Kaiyakha · 模板模板部分专业化

10 月前

Amaterastis · 基类接受子类和内部子类的模板参数

10 月前

111111 · 确定作为模板参数传递的函数的参数类型

10 月前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

11 月前

Sam · 在LaTeX中将图像添加到预制的投影仪中

11 月前

xmllmx · 在C++20中,是否有一种优雅的方式在编译时对类型进行排序?

11 月前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

11 月前

user416983 · 模板函数成员作为模板参数

11 月前

PyOPTProblem · c++如何模板化模板参数的部分实例化?

11 月前