Every allocator class must have an interface similar to the following:
template<class T>
class allocator
{
...
template<class Other>
struct rebind { typedef allocator<Other> other; };
};
And classes that use allocators do something redundant like this:
template<class T, class Alloc = std::allocator<T> >
class vector { ... };
But why is this necessary?
In other words, couldn't they have just said:
template<class T>
class allocator { ... };
template<class T, template<class> class Alloc = std::allocator>
class vector { ... };
which is both more elegant, less redundant, and (in some similar situations) potentially safer?
Why did they go the rebind route, which also causes more redundancy (i.e. you have to say T twice)?
(Similar question goes to char_traits and the rest... although they don't all have rebind, they could still benefit from template template parameters.)
Edit:
But this won't work if you need more than 1 template parameter!
Actually, it works very well!
template<unsigned int PoolSize>
struct pool
{
template<class T>
struct allocator
{
T pool[PoolSize];
...
};
};
Now if vector was only defined this way:
template<class T, template<class> class Alloc>
class vector { ... };
Then you could just say:
typedef vector<int, pool<1>::allocator> int_vector;
And it would work perfectly well, without needing you to (redundantly) say int twice.
And a rebind operation inside vector would just become Alloc<Other> instead of Alloc::template rebind<Other>::other.
std::allocator_traits<SomeAllocator<T, Args...>>::rebind_alloc<U>isSomeAllocator<U, Args...>as a sensible default ifSomeAllocatordoesn't providerebind. – Luc Danton Sep 11 '12 at 3:58template<class> class my_special_allocator; template<> class my_special_allocator<my_type> { ... };and then pass inmy_special_allocator. Given thatrebind's implementation would likely need a template anyway, you have to actively avoid this in order for it to be a problem. But if you're insisting on not using templates at all, well, then you're missing the point... the "T" in STL is there for a reason! And AFAIK this kind of use is the whole point of template template parameters in the first place... right? – Mehrdad Sep 11 '12 at 7:45