[求助]关于返回是模板类型的问题

[紫色动力]

函数原型如下：

template <typename T>
list<T>::iterator seqSearch(typename list<T>::iterator first,
	typename list<T>::iterator last, const T& target);

如果这样写会出现一个警告：warning C4346: 'std::list<T>::iterator' : dependent name is not a type prefix with 'typename' to indicate a type。
然后程序就会出错，如果在声明前加一个“typename”写成下面这样：

template <typename T>
typename list<T>::iterator seqSearch(typename list<T>::iterator first,typename list<T>::iterator last, const T& target)

就没有问题，这是为何？谢谢！！

[失落的凡凡]

因为从编译器的角度， 它无法得知list<T>::iterator是否是一个类型，所以编译器需要你给出一个保证， 保证list<T>::iterator是一个类型。

[airtrack]

这个可以看看《C++ templates》

[cattycat]

返回值list<T>::iterator也得加typename,编译器默认是把域运算符后面的当作成员变量的。可以参见C++必知必会typename用法。

[紫色动力]

原来是这样，呵呵！

[Quote=引用 3 楼 cattycat 的回复:]
返回值list<T>::iterator也得加typename,编译器默认是把域运算符后面的当作成员变量的。可以参见C++必知必会typename用法。
[/Quote]

[taodm]

就是2个字：“规定”