3年C++经验看不明白的C++模板，摘自gnash项目

[lixinustb]

3年C++经验看不明白的C++模板，摘自gnash项目
在gnash 0.8.5源码目录的libbase/tree.hh文件里有如下代码：
1 template <class T, class tree_node_allocator>
2 template <class iter>
3 iter tree<T, tree_node_allocator>::insert_after(iter position, const T& x)
4 {
5 tree_node* tmp = alloc_.allocate(1,0);
6 kp::constructor(&tmp->data, x);
7 tmp->first_child=0;
8 tmp->last_child=0;
9
10 tmp->parent=position.node->parent;
11 tmp->prev_sibling=position.node;
12 tmp->next_sibling=position.node->next_sibling;
13 position.node->next_sibling=tmp;
14
15 if(tmp->next_sibling==0) {
16 if(tmp->parent) // when inserting nodes at the head, there is no parent
17 tmp->parent->last_child=tmp;
18 }
19 else {
20 tmp->next_sibling->prev_sibling=tmp;
21 }
22 return tmp;
23 }

把第1、2两行合并为template <class T, class tree_node_allocator, class iter>，Ubuntu 8.04 + gcc 4.2.4编译报错。
哪位大侠能解释下第1、2两行的具体含义？为什么不能合并为一个template？谢谢！

[yshuise]

[Quote=引用 3 楼 jjcang 的回复:]
tree <T, tree_node_allocator>::insert_after
这2个参数是专门针对tree模板的，怎么能再加一个呢？
[/Quote]
只有重写模板了。

[taodm]

是3年还是1年*3，这是个问题。

[CrySleeper]

三年c++,从未正规接触过template的飘过....

[Vegertar]

这是模板类中的成员模板。
楼主还是多看看模板方面的书吧， C++ Templates: The Complete Guide

[cowboytian]

模板类和模板函数

[kang315]

正在 模板 奋斗中

[xiexianyongAAAA]

模板是个好东西，兄弟还是应该花点时间看看。

[fallening]

无语
tree这个模板类是由两个模板参数的
insert_after是这个模板类的一个模板方法
应该是这么声明的

template <class T, class tree_node_allocator>
class tree
{
......
template <class iter>
iter insert_after(iter, const T&);
......
};

你在后边把它们合并之后，显然是跟之前类里边的声明冲突啊

[huolin]

也是路过的,对模板这个的用途一直不是太清晰的

[kakashi0309]

模板也有类和函数区分 是这样的吧

[babyboy]

第一模板属于类定义的模版，第二个模板是函数返回的参数定义，怎么能合并到一起？
你三年C++经验是不就Copy,Paste了？

[babyboy]

第一模板属于类定义的模版，第二个模板是函数定义的模板，怎么能合并到一起？
你三年C++经验是不就Copy,Paste了？

[tomorrow_be_good]

1 template <class T, class tree_node_allocator> //是模板类的声明
2 template <class iter> // 是模板成员函数的声明
3 iter tree <T, tree_node_allocator>::insert_after(iter position, const T& x) {
....
}

[zzcmx2008]

模板类中的模板成员函数

[davidstack]

第一个是类模板，第二个是函数模板

[billow_zhang]

上面的朋友们把问题应该都解释得比较清楚了.我再从另一方面解释一下.
博主3年的C++,可能看的大部分的模版类中,方法的实现都是放在类里面的,比如,我将博主所说的例子的类编写如下:

template <class T, class tree_node_allocator>
classs tree {
template <class iter> insert_after(iter position, const T& x) {
.....
}

....
};

相信博主对于这样的写法,应该没有什么疑问吧? 通常类的模版也是这样的写法。但我们知道，C++中类的方法可以在类中只写定义，而将方法的实现写到类的外面。例如，上面的类可以只有 insert_after的定义：
template <class T, class tree_node_allocator>
classs tree {
template <class iter> insert_after(iter position, const T& x);
....
};

那么,insert_after方法的实现就要写到tree类的外面。那么该怎样写呢？是不是应该是下面这样：

template <class T, class tree_node_allocator>
template <class iter>
iter tree <T, tree_node_allocator>::insert_after(iter position, const T& x) {
.......
}

这不正是楼主所说的样子吗？所以，这是一个模版类的类外定义的函数实现的样式，再加上这个函数本身又是模版函数，把楼主大概搞晕了。
这回应该清楚了吧？！正如上面的朋友所说，第一个template是指tree类的模版，而第二个template是指 insert_after这个函数的模版。这两个模版是各有所指，不能合并的。

[linlu11]

[Quote=引用 5 楼 taodm 的回复:]

是3年还是1年*3，这是个问题。
[/Quote]

呵呵，

[gary_cai]

一般没用到模板的

[qihuanfengyun]

模板，容易吗？？？

[knief不懂就问]

c++模板 很难哦