模板函数的问题，

[kokiahuang]

template <typename T>
class A {
template <typename T1>
void f () {
return;
}
}

template <typename T2, typename T3>
void test() {
A<T2> a;
a.f<T3>();
}

void main(){
return 0;
}

这段代码编译是通不过，是因为A<T2> a;由于T2未指定，导致a.f<T3>()编译无法通过。


请问如何才能让代码通过？ linux gcc 4.x

[光宇广贞]

你在 class A 的定义最后少了一个分号
加上它：

template <typename T> 
class A { 
template <typename T1> 
void f () { 
return; 
} 
};

可以编译通过。

[adventurelw]

同上，声明错误，最后的花括号加分号。

[goodname]

template <typename T>
class A {
template <typename T1>
void f () {
return;
}
};//<---这里有个分号,vs2008编译通过。

[猫已经找不回了]

template <typename T> 
class A { 
template <typename T1> 
void f () { 
return; 
} 
};         //加这个，编译通过

template <typename T2, typename T3> 
void test() { 
A <T2> a; 
a.f <T3>(); 
} 

int main(){ 
return 0; 
} 

[ameyume]

class，struct，enum的声明最后都需要加分号（;）

[老邓]

我以前也经常漏分号，现在我只要写类，都会先把分号加上，struct也一样。
真不明白，这种错误，编译器竟然不能明确指出哪一行出错。

[red_berries]

为A <T2> a;由于T2未指定 //不是已经是T2了吗

[至善者善之敌]

楼主好强大的模板啊

[goodname]

[Quote=引用 6 楼 Loaden 的回复:]
我以前也经常漏分号，现在我只要写类，都会先把分号加上，struct也一样。
真不明白，这种错误，编译器竟然不能明确指出哪一行出错。
[/Quote]

定义类或者结构的同时还可以定义变量。

class A{} a,*p=&a;

所以检测起来还是比较麻烦的