一个关于模板语法的问题？

[疾似云流]

代码如下

template<typename T>
class List
{
	struct ListNode;
public:
	ListNode*	insert(T item);
};

template <typename T>
List<T>::ListNode* insert(T item)//报错
{
	//code
	//
}

编译器报错，List<T>::ListNode不是类型？？？
用typedef定义的类型也一样会报错

template<typename T>
class List
{
	typedef size_t size_type;
public:
	ListNode*	insert(T item);
};

template <typename T>
List<T>::size_type insert(T item)//报错
{
	//code
	//
}

该如何定义呢？

[疾似云流]

ListNode在List外定义了，跟问题没多大关系吧

[victory_shaojun]

template <typename T>
class List
{
struct ListNode;
public:
ListNode* insert3(int item);
};

template <typename T>
typename List<T>::ListNode* List<T>::insert3(int item)//报错
{
//code
//
return 0;
}

[bfhtian]

[Quote=引用 2 楼 goodname 的回复:]
template <typename T>
ListNode* List <T>::insert(T item)

???
[/Quote]
up

[lyb11111]

template <typename T>
struct ListNode{
T data;
ListNode<T> *next;
ListNode(T a):data(a){next=NULL;}
ListNode(T a,ListNode<T> fir):data(a),next(fir){}
};

template <class T>
class List
{

ListNode<T> *first;
public:
void insertforward(T item){//前插法
ListNode<T> *list=new ListNode<T>(item);
if(first->next==NULL){ first->next=list;}
else {
list->next=first->next;
first->next=list;}

}
};

[p233355750]

好像不是模版的问题,是类作用域的问题.
类的成员函数在类外定义的时候,要这样:
<返回类型> <类名>::<函数名>(){...}
[color=#0000FF]注意类型与函数名紧挨着.[/color]

[p233355750]

类名与函数名挨着

[ryuk33]

[Quote=引用楼主 chris17chen 的帖子:]
代码如下
C/C++ codetemplate<typename T>classList
{structListNode;public:
ListNode*insert(T item);
};

template<typename T>List<T>::ListNode*insert(T item)//报错{//code//}

编译器报错，List <T>::ListNode不是类型？？？
用typedef定义的类型也一样会报错
C/C++ codetemplate<typename T>classList
{
typedef size_t size_type;public:
ListNode*insert(T item);
};

template<typename T>List<T>:…
[/Quote]


第1个问题的正解如下:

把
template <typename T>
List<T>::ListNode* insert(T item)//报错

改成

template <typename T>
ListNode* List<T>::insert(T item)

[ryuk33]

第2个问题，也错得有点夸张了……

首先，你声明的那个size_type，就是私有的……

[ryuk33]

我来解释一下吧：

template <typename T> -------------这行没啥好说的
List <T>::ListNode* insert(T item) ---------------这个声明，表达的意思是：

定义一个全局函数,名叫insert， 它接收一个参数，返回值的类型为："List <T>::ListNode*"
所以，报错：ListNode*不是类型。



template <typename T> -------------这行还是没啥好说的
ListNode* List <T>::insert(T item) ---------------这个声明，表达的意思是：

定义List<T>这个类的成员函数insert， 它接收一个参数，返回值的类型为: "ListNode*"

[healer_kx]

ListNode的最原始的声明在哪里? 是不是typedef出来的? 如果是，那肯定不行了。

[goodname]

template <typename T>
ListNode* List<T>::insert(T item)

???

[ypb362148418]

[Quote=引用 2 楼 goodname 的回复:]
template <typename T>
ListNode* List <T>::insert(T item)

???
[/Quote]

这个是对的……看看STL里的list的定义

[k1988]

template <typename T>
typename List<T>::ListNode* List <T>::insert(T item)//报错
{
    //code
    //
}

Use this keyword only in template definitions.

This keyword must be used if the name is a qualified name dependent on a template argument; it is optional if the qualified name is not dependent. For more information, see Templates and Name Resolution.

typename can be used by any type anywhere in a template declaration or definition. It is not allowed in the base class list, unless as a template argument to a template base class.

[k1988]

也就是说，要使用typename关键字，将List<T>::ListNode指定为类型，不然的话编译器不能分析出它是一个类型

[猫已经找不回了]

ListNode

声明呢？

[li_il]

[Quote=引用 5 楼 k1988 的回复:]
也就是说，要使用typename关键字，将List <T>::ListNode指定为类型，不然的话编译器不能分析出它是一个类型
[/Quote]
顶

[pushware]

template <typename T> typename List<T>::ListNode* insert(T item)
{
....
}

编译器可能识别不出来 List<T>::ListNode 是一个类型，

[机智的呆呆]

template<typename T>
class List
{
    struct ListNode{};
public:
    ListNode*insert(T item);

};

template <typename T>
typename List<T>::ListNode * List<T>::insert(T item)
{
   return 0;
}

[fallening]

呵呵，楼主没有掌握typename

[疾似云流]

typename把问题解决了。
只是对typename不熟悉罢了，感觉后面的解答反而让人摸不着头脑，还有个老大干脆帮我把链表insert函数补全了……