function object研究之addressof

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

[cpp]
template<class T> 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<string> r(str);
string & str2 = (string &)r;

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

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

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

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

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

#else

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

#endif
}

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

补充：软件开发 , C++ ,