C++ template 语法

ryuken2000

最近在看C++代码的时候，发现了如下一个模板类的声明：
template <class Key,  class T, class Compare = std::less<Key>,  template <class> class Alloc = std::Allocator>
class MyMap : protected std::map<Key, T, Compare, Alloc> {
......
};

对于这个模板类的第四个参数，template <class> class Alloc = std::Allocator，这种写法还是第一次遇到，不太明白其中的含义，是否这种写法强调class Alloc也必须是一个模板类呢？如果不这么写，而简单的写class Alloc = std::Allocator应该也没有什么问题吧？

请高手解答。

[ 本帖最后由 ryuken2000 于 2007-12-9 15:09 编辑 ]

vincol

不是什么强调，因为std::allocator本身就要有模板参数，他和前面的key，T不一样，Alloc是一个“指代模板类的参数”! 应该是语法需要吧！


举个例子：
template<class T>
class CA {};

template<class T>
class CB {};
你可以这样用：CB cb<int>；
但是这样是错的： CB cb<CA>；因为CA和int不通，CA要有模板参数。
要把CB的模板参数改成：
template< template<class> class T>
class CB {};
才能用CB  cb<CA>

[ 本帖最后由 vincol 于 2007-12-10 13:28 编辑 ]

doctorjxd

template parameter 和 template template parameter 是不一样的。

飞灰橙

奇怪，我记得这个编译不过吧
楼主用什么编译器？

converse

模板玩的不多,这个是模板默认参数,类似于函数默认参数.

FightingWu

emplate <class Key,  class T, class Compare = std::less<Key>,  template <class> class Alloc = std::Allocator>
属于类模板中有模板参数的情况。其中的class T 中的class不能被typename代替。
由于用不到“模板的模板参数的”模板参数，故省略为template<class>.
在类里可以定义如Alloc<T> oneobject,要是去掉template<class>,直接写成class Allocl=std::Allocator,显然就不行了。