一个C++模板的问题,VC6.0通过, GCC不能通过!!

converse

原帖由 lenovo 于 2006-3-20 15:52 发表
其实我也不懂，看到报错了，
就加上试试。

确实是把waring解决了,我下班了再看看typename的用法

lenovo

原帖由 converse 于 2006-3-20 15:54 发表


确实是把waring解决了,我下班了再看看typename的用法

我看了下书，好像是在模板定义中，
编译器不知道list<T*>::iterator是代表一个类型
还是代表list<T*>类中的一个成员，叫做iterator。

converse

原帖由 lenovo 于 2006-3-20 16:20 发表

我看了下书，好像是在模板定义中，
编译器不知道list<T*>::iterator是代表一个类型
还是代表list<T*>类中的一个成员，叫做iterator。

恩,我明白了,我原本不用加typename的时候是在非模板的情况下面没有出过警告,比如:

1. 
   
2. #include <iostream>
   
3. #include <list>
   
4. 
   
5. int main()
   
6. {
   
7.     int array[9] = {0};
   
8.     std::list<int> list(array, array + 9);
   
9. 
   
10.     std::list<int>::iterator iter1 = list.begin(), iter2 = list.end();
    
11.     for (; iter1 != iter2; iter1++)
    
12.     {
    
13.         std::cout << *iter1 << std::endl;
    
14.     }
    
15. 
    
16.     return 0;
    
17. }
    

复制代码

converse

我把typename在模板中的用法看了一看,是这样的:

当我这样使用:

1. #include <iostream>
   
2. #include <list>
   
3. 
   
4. int main()
   
5. {
   
6.     int array[9] = {0};
   
7.     std::list<int> list(array, array + 9);
   
8. 
   
9.     std::list<int>::iterator iter1 = list.begin(), iter2 = list.end();
   
10.     for (; iter1 != iter2; iter1++)
    
11.     {
    
12.         std::cout << *iter1 << std::endl;
    
13.     }
    
14. 
    
15.     return 0;
    
16. }

复制代码

这个时候,模板已经被实例化为int类型的,这个实力中有一个类型iterator.OK,这个没有问题,没有警告直接通过.

但是,如果是这样写:
std::list<T>::iterator,编译器到实例化之前不知道具体实例化的哪个实例,假设有可能std::list<char>类型中正好有一个静态成员是iterator,那么这个就是错误的.
为了明确的告诉编译器iterator,是一个类型而不是成员的名字,我们需要在前面加上typename.