
On 12/11/2010 17:36, Daniel James wrote:
On 12 November 2010 12:42, vicente.botet<vicente.botet@wanadoo.fr> wrote:
The iterator can depend on the Allocator::pointer but this doesn't forcerly means that it depends on the Allocator. If Allocator::pointer is a typedef to a type idependent of Allocator the independency is ensured.
In addition we could make iterator depend on Allocator::void_pointer and use pointer_traits<>::rebind.
Am I missing something?
If the node contains a pointer to node, then to work out the type of the pointer, you need to know the type of the node. But you can't know that until you know the type of the pointer. For example:
In boost we have pointer_to_other to obtain a pointer to a different type. This utility partly inspired new C++0x pointer utilities. Best, Ion