stl中搞个rebind出来是什么意思？

[youyilu2]

template<class _Elem,
	class _Traits,
	class _Ax>
	class basic_string
		: public _String_val<_Elem, _Ax>
	{
	...
	typedef _String_val<_Elem, _Ax> _Mybase;
	typedef typename _Mybase::_Alty _Alloc;
	...


template<class _Ty,
	class _Alloc>
	class _String_val
		: public _String_base
	{
	...
	typedef typename _Alloc::template
		rebind<_Ty>::other _Alty;
	...


template<class _Ty>
	class allocator
		: public _Allocator_base<_Ty>
	{
	...
	template<class _Other>
		struct rebind
		{	// convert an allocator<_Ty> to an allocator <_Other>
		typedef allocator<_Other> other;
		};
	...

这个rebind有什么必要？

[npuhuxl]

举个例子：我想要一个list<int, alloc<int> >
template<typename T, typename Alloc>
class list
{
private:
struct node
{
T val;
node* next;
};

Alloc::rebind<node> alloc_; // 用这个为list node分配,而不是alloc<int>，这样node就不用暴露到外面了，而且不这样的话，你得传入一个alloc<list<int, ????>::node>；仔细想想????处该添啥？
};

[npuhuxl]

其实最重要的原因是微软的编译器不支持template template (VS2010不知道支不支持)

template<typenname T, template <typename> class Alloc>
class list
{
Alloc<node> alloc_;
};

好像语法是这样的，可以google一下