浅尝BOOST之ANY

转自：http://www.cnblogs.com/wuerping/articles/116414.html

any是个很短小的类， 代码加上空行和说明也就187行，但很有意思。它的主要作用是定义一个变量来存放任意类型数据。 这方面我们多少有些经验，MS的tagVARIANT结构相信不少人都用过。tagVARIANT能用，有用，但不好用，通过variant_t包装后感觉才好一些，但仍旧有些别扭。any类让人感到比较自然，建议大家使用，下面先看一看示例：  

   
  最常见的用法 

        any a(100); 
        cout << any_cast<int>(a) << " : " <<  a.type().name() << endl; 
        any b(string("hello")); 
        cout << any_cast<string>(b) << " : " << b.type().name()  << endl; 
        b = a; 
        cout << any_cast<int>(a) << " : " << b.type().name()  << endl;

  另一种用法,  定义名字-值对(name-value pairs) 

        struct property 
        { 
            property(); 
            property(const std::string &, const boost::any &); 
 
            std::string name; 
            boost::any value; 
        }; 
        typedef std::list<property> properties;

    
  基于回调函数的运行时多态 
 

        class consumer 
        { 
        public: 
            virtual void notify(const any &) = 0; 
             
        };

    
      若是自已考虑实现一个这样的类，最开始可能会想到union方式的实现，tagVARIANT就用 这种方法实现。对模板熟悉的人则会第一时间考虑到使用模板，对于第一感，这里给出一段代码， 此段代码摘至  Conversations: I'd Hold Anything for You  (Jim Hyslop and Herb Sutter) 此文介绍了any。文中的Guru的一句台词就是"You need any."，懒得写一段了，呵呵。 

        template <typename ValueType> 
        class multiType 
        { 
            ValueType value_; 
        public: 
            multiType(const ValueType &t) : value_(t) {}  
            operator ValueType() { return value_; } 
        };

  
     但是，一个此类变量会在其生命周期内改变值(在脚本语言多有这样的体会)，这种写法做出来的是无法完成的。  
  
      那any类是如何实现的? 还是模板，但多了一些技巧。  
      前面的例子让我们看到，直接用模板是不现实的，那么我们需要一个间接层。第一点便是要避免 ValueType value_ 这种形式的代码，这好办，在类中加入一个纯虚基类;第二点，写出any a(100)  形式的表达式，呵，模板的实参推导(deduction)可以帮忙。去掉类型信息，去掉any_cast，去掉赋值(虽然我刚才提到这一点)...，我给出一个更加短小的简化版本的any(只有三十几行代码)，大家可以看一看是如何实现的。当然看完了这个应该去any.hpp看一看，以防被误导 :P  

        class any 
        { 
        public: 
            template<typename _T> 
                any(const _T& value): _content(new holder<_T>(value)) 
            { 
            } 
            ~any() 
            { 
                delete _content; 
            } 
            class placeholder 
            { 
            }; 
        public: 
            template<typename _T> 
            class holder: public placeholder 
            { 
            public: 
                holder(const _T& value): _held(value) 
                { 
                } 
                _T _held; 
            }; 
            placeholder* _content;     
        }; 
 
        int main() 
        { 
            any a(100); 
            cout << ((any::holder<int>*)(a._content))->_held << endl;  
            any b(string("string")); 
            cout << ((any::holder<string>*)(b._content))->_held << endl;  
            return 0; 
        }