代码之家 › 专栏 › 技术社区 › 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以所谓的 放松模式 )

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

3 年前

Seymore Glass · 模板不工作的默认参数

3 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

3 年前

Alexander Daum · 模板参数中对模板类型的引用

7 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

7 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

7 年前