function object研究之addressof

来看看boost::detail::addr_impl_ref模板，在addressof.hpp文件中：

[cpp]
template struct addr_impl_ref
{
T & v_;

inline addr_impl_ref( T & v ): v_( v ) {}
inline operator T& () const { return v_; }

private:
addr_impl_ref & operator=(const addr_impl_ref &);
};

这个模板将构造函数的参数保存到内部引用变量中，并禁止赋值操作，同时提供了T&类型转换操作。下面是使用例子：
[cpp]
string str = "ok";
boost::detail::addr_impl_ref r(str);
string & str2 = (string &)r;

再看看addressof_impl模板：
[cpp]
template struct addressof_impl
{
static inline T * f( T & v, long )
{
return reinterpret_cast(
&const_cast(reinterpret_cast(v)));
}

static inline T * f( T * v, int )
{
return v;
}
};

这个模板的构造函数接受T& v作为参数，并返回v的指针。注意，这里碰到了非常奇怪的reinterpret_cast的连续使用，主要是为了防止T类型重载了operator & 导致行为未定义。这种奇怪的使用方式解决了这个问题，能够获得真是的v的地址。
有了前两个基础，看看boost提供的非常有用的addressof模板：

[cpp]
template T * addressof( T & v )
{
#if defined( __BORLANDC__ ) && BOOST_WORKAROUND( __BORLANDC__, BOOST_TESTED_AT( 0x610 ) )

return boost::detail::addressof_impl::f( v, 0 );

#else

return boost::detail::addressof_impl::f( boost::detail::addr_impl_ref( v ), 0 );

#endif
}

现在可以总结下：
boost::addressof接受T& v，返回T指针。而且无需担心T是否重载了自己的operator &.