cpp20041123.org

boost::any

boost::any库是一个能保存任意类型值的类，有点像variant类型，不过variant是用一个巨大的union实在，效率低下，而boost利用模板，保存的时候并不改变值的类型，只是在需要的时候提供方法让用户主动/被动地进行类型判断以及取值。

boost::any使用两层内部类placeholder和holder保存实际类型的值，类placeholder是一个接口，模板类holder是特定类型的实现。用type()方法获取实际值类型，即typeid(ValueType)，clone()方法获取值的拷贝return new holder(held)

virtual const std::type_info &type() const

virtual placeholder *clone() const

使用上，可以使用any::type()方法主动检测值类型:

bool is_int(const boost::any &operand)
{
    return operand.type() == typeid(int);
}

也可以使用any_cast被动检测，此函数会对boost::any类型进行类型转换，如果不匹配则指针返回NULL，引用抛出boost::bad_any_cast异常:

boost::any str = string("12345");
try
{
    cout << boost::any_cast<int>(str) << endl;
}
catch(boost::bad_any_cast e)
{
    cerr << e.what() << endl;
}

boost::any的应用，any适合于类型不同但使用相关的值，如c/c++中的…参数本来不是类型安全的，可以使用vector<any>改造使它在使用时检测类型是否匹配。如改造printf为:

void safe_printf(const char *format, const vector<any>& params)
{
    int index = 0;
    for(const char *pch = format; *pch; pch++)
    {
        switch(*pch)
        {
        case '%':
        {
            switch(*++pch)
            {
            case 'i':
            case 'd':
                {
                    if(params[index].type() == typeid(int) ||
                       params[index].type() == typeid(short))
                    {
                        ...
                    }
                    else
                    {
                        throw ...
                            }
                }
            }
        }
        case '\':
        {
            ...
        }
    
        default:
        {
            putchar(*pch);
        }
        }   
    }
}