boost之any源码解析

来源：互联网发布：三戒大师知乎编辑：程序博客网时间：2024/05/21 21:39

any是一个特殊的容器，它只能容纳一个元素，但元素类型是任意的

使用也比较简单

内部是通过typeinfo的概念实现的。
void CAnyTest::Test1()
{
CTest1 t1;
any any1(t1);

try
{
CTest1 a1 = any_cast<CTest1>(any1); // any_cast内部就是用了typeinfo的概念实现的
}
catch (boost::bad_any_cast&)
{

}

try
{
CTest2 a2 = any_cast<CTest2>(any1);
}
catch (boost::bad_any_cast&)
{

}
}

当然，我们也可以把try..catch封装在一个接口中让调用看着行数少一点。或则自己使用typeinfo的概念先判断一下能否转换，然后使用assert，减少throw异常

源码实现也比较简单，从最底层的基类看起吧

class placeholder
{
public: // structors

            virtual ~placeholder()
            {
            }

public: // queries

virtual const boost::typeindex::type_info& type() const BOOST_NOEXCEPT = 0;

virtual placeholder * clone() const = 0;

};

里面只是一个简单的基类接口，然后是真正存放数据的结构

template<typename ValueType>
        class holder : public placeholder
        {
        public: // structors

            holder(const ValueType & value)
              : held(value)
            {
            }

// 返回了type_info信息

         virtual const boost::typeindex::type_info& type() const BOOST_NOEXCEPT
            {
                return boost::typeindex::type_id<ValueType>().type_info();
            }

public: // representation

ValueType held; // 真正数据存储的地方

}

然后再看any的构造函数，其实就是把值new一个，然后放到holder中

template<typename ValueType>
        any(const ValueType & value)
          : content(new holder<
                BOOST_DEDUCED_TYPENAME remove_cv<BOOST_DEDUCED_TYPENAME decay<const ValueType>::type>::type
            >(value))
        {
        }

还有一个重要函数,any_cast的实现

template<typename ValueType>
    ValueType any_cast(any & operand)
    {
        typedef BOOST_DEDUCED_TYPENAME remove_reference<ValueType>::type nonref;

        nonref * result = any_cast<nonref>(&operand);
        if(!result)
            boost::throw_exception(bad_any_cast()); // 转换不了就抛出异常

。。。

return static_cast<ref_type>(*result); //能转换就进行转换

}

判断能否转换的函数

template<typename ValueType>
    ValueType * any_cast(any * operand) BOOST_NOEXCEPT
    {
        return operand && operand->type() == boost::typeindex::type_id<ValueType>()
            ? &static_cast<any::holder<BOOST_DEDUCED_TYPENAME remove_cv<ValueType>::type> *>(operand->content)->held
            : 0;
    }

就是使用了type_id进行判断

基本上就是这些了

我们也可以这些了

0 0