Re: [boost] [intrusive] Review

From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2007-03-17 16:31:15

Steven Watanabe wrote:

> struct safe_mode {};
> struct fast_mode {};
> struct auto_unlink_mode {};
> 
> template<class Tag, class Mode = safe_mode, class Pointer = void*>
> struct list_hook;
> 
> template<class Tag, class Pointer>
> struct list_hook<Tag, safe_mode, Pointer>;
> template<class Tag, class Pointer>
> struct list_hook<Tag, fast_mode, Pointer>;
> template<class Tag, class Pointer>
> struct list_hook<Tag, auto_unlink_mode, Pointer>;

Nice.

> For class templates ADL looks in the namespaces associated
> with all the template arguments.  The result is that an
> unqualified call to a function that has the same name as
> one in namespace std can unexpectedly call the std function.

Ok

> The strong guarantee is that if the function fails the program
> state is unchanged.  A partially constructed tree doesn't meet
> this criterion.

You are right. Sorry.

Regards,

Ion