关于函数模板的问题

[rock_HX]

编译器为函数实例化依赖于形参的类型,但是下面这样的情况怎么办?

template<typename T>
void fun(std::list<T>& aList, std::list<T>::iterator& it);

这样的话编译都通不过..

[vk2211]

模板函数是不是要放在h文件里编译？

[rock_HX]

[Quote=引用 1 楼 vk2211 的回复:]
模板函数是不是要放在h文件里编译？
[/Quote]
这个不一定吧...

[yshuise]

typename std::list <T>& aList;
typename std::list <T>::iterator& it

[lann64]

template <typename T>
void fun(std::list <T>& aList, typename std::list <T>::iterator& it);

[rock_HX]

[Quote=引用 3 楼 yshuise 的回复:]
C/C++ codetypename std::list <T>& aList;
typename std::list <T>::iterator& it
[/Quote]
能不能说具体些?`
这样写好像不行...

[rock_HX]

[Quote=引用 4 楼 lann64 的回复:]
template <typename T>
void fun(std::list <T>& aList, typename std::list <T>::iterator& it);
[/Quote]
这样解决了,能不能说说为什么像我那样写出错?``

[hhyttppd]

jf

[hhyttppd]

使用依赖型类型名称（限定符：：）必须使用typename，就这么规定的。

[hooked]

不用typename的话，编译器把iterator解析为std::list<T>中的一个成员变量，而不是一个类型

[Quote=引用 6 楼 rock_HX 的回复:]
引用 4 楼 lann64 的回复:
template <typename T>
void fun(std::list <T>& aList, typename std::list <T>::iterator& it);

这样解决了,能不能说说为什么像我那样写出错?``
[/Quote]

[fibbery]

[Quote=引用 6 楼 rock_HX 的回复:]
引用 4 楼 lann64 的回复:
template <typename T>
void fun(std::list <T>& aList, typename std::list <T>::iterator& it);

这样解决了,能不能说说为什么像我那样写出错?``
[/Quote]

typename旨在消除二义性。
当list还没有实例化时，编译器并不知道iterator原来是list里面包含的一个类型，使用typename告诉编译器，这是一个类型，编译器才知道。

[yshuise]

当有模板作为参数的时候，编译器，或是说编译器的语法分析器
不能正确识别出类型，所以必须用typename来指示这是一个类型。编译器才能正确识别。

[rock_HX]

大概明白了,谢谢大家,结贴去

[hhyttppd]

http://blog.csdn.net/purewinter/archive/2007/08/29/1764338.aspx
我搜到了篇C++template笔记，你可以看看。