template内部strut的问题

xyz20003

环境：
MinGW
gcc 3.4.2

下边的问题让我比较纳闷，如果不是把strut写在template里，就可以正常使用。


这样写会报错：expect ';' before '*' token

1. template<class T> class b;
   
2. 
   
3. template<class T>
   
4. class a {
   
5.     struct link {
   
6.         T* data;
   
7. 
   
8.         link* next;
   
9.         link(T* Data, link* Next) {
   
10.             data = Data;
    
11.             next = Next;
    
12.         }
    
13.     } * head;
    
14. public:
    
15.     a();
    
16.     friend class b<T>;
    
17. };
    
18. 
    
19. template<class T>
    
20. class b {
    
21.     a <T>::link* p;
    
22. };
    
23. 
    
24. int main(void) {
    
25.     return 0;
    
26. }
    

复制代码

要把strut拿出来定义才可以正常使用

1. template<class T> class b;
   
2. 
   
3. template<class T>
   
4. struct link {
   
5.     T* data;
   
6.     link<T>* next;
   
7.     link(T* Data, link<T>* Next) {
   
8.         data = Data;
   
9.         next = Next;
   
10.     }
    
11. };
    
12. 
    
13. template<class T>
    
14. class a {
    
15.     link<T>* head;
    
16. public:
    
17.     a();
    
18.     friend class b<T>;
    
19. 
    
20. };
    
21. 
    
22. template<class T>
    
23. class b {
    
24.     link<T>* p;
    
25. };
    
26. 
    
27. int main(void) {
    
28.     return 0;
    
29. }

复制代码

j4ckl1u

俺也不懂，顶。。。。

lenovo

把a <T>::link* p;
改成
typename a <T>::link* p;
试试。

j4ckl1u

it works, but why????

xyz20003

加上typename果然就好了，但是我更纳闷了，typename是什么意思呢？能不能指教一下？

xyz20003

在网上找到的解释是这样的。

通用的规则很简单：在你涉及到一个在 template（模板）中的 nested dependent type name（嵌套依赖类型名）的任何时候，你必须把单词 typename 放在紧挨着它的前面。


那为什么typename只用在template上呢？如果我只写一个简单的class，即使里边是存在嵌套的类型，也不需要使用typename，相反的如果使用了typename，编译的时候还会报错。

1. class b;
   
2. 
   
3. class a {
   
4.     struct link {
   
5.         a* data;
   
6.         link* next;
   
7.         link(a* Data, link* Next) {
   
8.             data = Data;
   
9.             next = Next;
   
10.         }
    
11.     } * head;
    
12. public:
    
13.     a();
    
14.     friend class b;
    
15. };
    
16. 
    
17. class b {
    
18.     a::link* p;
    
19. };
    
20. 
    
21. int main(void) {
    
22.     return 0;
    
23. }

复制代码

lenovo

原帖由 xyz20003 于 2006-6-29 12:43 发表
加上typename果然就好了，但是我更纳闷了，typename是什么意思呢？能不能指教一下？

看看《c ++ primer》吧。我也不是很明白。
应该是编译器把a当作一个变量了，所以它解析出错。
你用typename明确告诉编译器这是一个类型，
就不会出错了。
说实话，我看了你的标题，就想到了typename，
这或许是种直觉吧。

xyz20003

谢谢，我回去再研读一下。。。

gooderfeng

a <T>::link* p;
两种解释：
1 link是类a的静态成员，这样这个语句就是一个乘法。
2 link是类a内部定义出来的一个类型。

不能不加区分。

windyheart

好贴！！！
看来我的C++基础仍需加强！！！