Douglas Gregor <gregod@cs.rpi.edu> writes:

where deref does something like:

template<typename Pointer, typename Pointee = typename Pointer::element_type> struct do_deref {

I suggest template< typename Pointer , typename Pointee = typename pointee<Pointer>::type > struct do_deref { }; Or even leaving out the Pointee parameter altogether. See boost/pointee.hpp. -- Dave Abrahams Boost Consulting www.boost-consulting.com