讓人無(wú)語(yǔ)的boost

    關(guān)于BOOST，撞車(chē)，嚴(yán)重撞車(chē)。每一次都讓我有點(diǎn)無(wú)語(yǔ)。
    第一次是我所謂的宏遞歸，其實(shí)就是一個(gè)macro library，有一天就不小心在BOOST的library list上
看到了這個(gè)東西。當(dāng)然，BOOST很牛，別人的這個(gè)macro是真的library。但是，我們的需求撞車(chē)，我們的
實(shí)現(xiàn)手段撞車(chē)。于是下定決心下次想要實(shí)現(xiàn)個(gè)什么東西的時(shí)候，先去看看BOOST，可以省掉不少腦力。
    本來(lái)就沒(méi)有做好，何必吃力不討好？
    第二次，當(dāng)我寫(xiě)下類(lèi)似的模板代碼時(shí)：

    template <typename _Tp>
    void func( _Tp t );

    我總要花掉幾秒鐘時(shí)間去決策func的參數(shù)是用_Tp&還是_Tp，也就是所謂的究竟是按值傳送還是按引用
傳送。如果按值傳送，當(dāng)_Tp為一個(gè)類(lèi)時(shí)，復(fù)制的東西過(guò)多時(shí)，顯然效率上過(guò)不去。作為func的實(shí)現(xiàn)者，良
心上更過(guò)不去。后來(lái)一想，STL的各種算法里到處都是按值傳送，這樣做總有它的理由吧？
    但是，這樣做就是不夠完美。
    于是想起了boost::ref。但是這個(gè)時(shí)候我并不知道boost::ref是個(gè)什么東西。我只是以前在各種地方
看到過(guò)這個(gè)東西。我還是決定自己實(shí)現(xiàn)一個(gè)。
    實(shí)現(xiàn)一個(gè)什么？考慮有：

    template <typename _Tp>
    void func( _Tp t );

    而我這個(gè)時(shí)候要傳遞一個(gè)類(lèi)對(duì)象過(guò)去CBaseObject obj。為了效率，我寫(xiě)下如下的代碼：

    template <typename _Tp>
    class ref_wrapper
    {
    public:
        ref_wrapper( _Tp &p ) : _obj( &p ) { }
        operator _Tp& () { return *_obj; }    
    private:
        _Tp *_obj;
    };

    然后再使用func時(shí)，func( ref_wrapper<CBaseObject>( obj ) );這樣，發(fā)生復(fù)制操作的最多就是這
個(gè)ref_wrapper，基本上也就是復(fù)制了一個(gè)指針，而不會(huì)復(fù)制整個(gè)obj。當(dāng)然，這里可以寫(xiě)一個(gè)模板函數(shù)去
簡(jiǎn)化func的調(diào)用，如：

    template <typename _Tp>
    ref_wrapper<_Tp> ref( _Tp &t )
    {
        return ref_wrapper<_Tp>( t );
    }

    這樣調(diào)用的時(shí)候就簡(jiǎn)單了：func( ref( obj ) );
    其實(shí)這就是boost的ref庫(kù)，按照其官方文檔，ref庫(kù)就是：
    The Ref library is a small library that is useful for passing references to function
templates (algorithms) that would usually take copies of their arguments.

    然后我就懵了。于是我不得不在kl_ref.h里寫(xiě)上check out boost::ref for more information的字眼。

    好，接下來(lái)說(shuō)說(shuō)第三次。
    第三次我遇到了這樣一種需求，我需要一個(gè)容器，就像你知道的std::list。但是與std::list甚至STL
中所有容器都不同的是，這個(gè)容器里保存的東西具有不同的類(lèi)型。
    這個(gè)時(shí)候我想起了tuple。我沒(méi)有實(shí)現(xiàn)過(guò)tuple。大致上這個(gè)東西的實(shí)現(xiàn)原理就是利用類(lèi)型遞歸來(lái)保存
數(shù)據(jù)，就像loki的type list。另一方面，tuple的尺寸似乎不能動(dòng)態(tài)增長(zhǎng)。
    于是我有了自己撇腳的實(shí)現(xiàn)：

    class base_type
    {
        virtual ~base_type() { }
    };
    template <typename _Tp>
    class var_wrapper
    {
    public:
        var_wrapper( const _Tp &t ) : _t( t )  {}
        operator _Tp& () { return _t; }
    private:
        _Tp _t;
    };   

    class var_list
    {
    public:
        typedef std::vector<base_type*> TypeList;
    public:
        
        template <typename _Tp>
        void add( const _Tp &t )
        {
            var_wrapper<_Tp> *var = new var_wrapper<_Tp>( t );
            _list.push_back( t );
        } 

        template <typename _Tp>
        _Tp &get( size_t index )
        {
            base_type *base = _list.at( index );
            typedef var_wrapper<_Tp> var_type;
            var_type *var = static_cast<var_type*>( base );
            return *var;
        }
    private:
        TypeList _list;
    }; 

    說(shuō)白了，我就是利用一個(gè)包裝類(lèi)將各種類(lèi)型包裝其中，然后利用基類(lèi)指針實(shí)現(xiàn)統(tǒng)一管理。直白地說(shuō)，我
對(duì)這個(gè)組件不滿意。讓人詬病的是，get接口是類(lèi)型不安全的。例如：

    int a; 
    CBaseObject obj;
    var_list my_var_list;
    my_var_list.add<int>( a );
    my_var_list.add<CBaseObject>( obj );

    取出值的時(shí)候：

    int b = my_var_list.get<int>( 0 );
    CBaseObject cobj = my_var_list.get<CBaseObject>( 1 );

    但是，因?yàn)間et沒(méi)有類(lèi)型檢查，即使你：

    CBaseObject cobj = my_var_list.get<CBaseObject>( 0 );

    也不會(huì)出錯(cuò)，編譯器不會(huì)給予你警告。
    事情到此結(jié)束，這個(gè)類(lèi)型不安全的組件只能依靠程序員自己的謹(jǐn)慎去生存。

    然后，又是一個(gè)不小心，我在boost里看到了any。boost::any庫(kù)同boost::ref庫(kù)一樣，是一個(gè)tiny
library。幾十行的代碼一目了然。
    boost::any有一個(gè)placeholder基類(lèi)，有一個(gè)template <typename ValueType> holder派生類(lèi)，然后有
一個(gè)提供給外部的any類(lèi)。看了代碼后有一種讓我噴血的感覺(jué)。其實(shí)現(xiàn)原理和我自己的完全一致。
    比較而言，我覺(jué)得我的var_list撇腳到了極致。因?yàn)槲曳庋b了容器，而這顯然是沒(méi)必要的，并且限制
了其使用范圍。而boost::any則是僅僅封裝了類(lèi)型。
    數(shù)據(jù)轉(zhuǎn)換方面，boost::any提供了any_cast和unsafe_any_cast。unsafe_any_cast和我這里用的轉(zhuǎn)換
差不多，也就是我說(shuō)的類(lèi)型不安全。而他的any_cast呢？則是用到了typeid，多了次類(lèi)型檢查而已。
    沒(méi)辦法，看來(lái)var_list需要被刪掉，直接搬boost::any過(guò)來(lái)吧，同樣地check out boost::any for more
information...
    現(xiàn)在看來(lái)，boost真的很強(qiáng)大。我感覺(jué)再怎么偏門(mén)的需求，都能在boost里找到個(gè)實(shí)現(xiàn)。痛定思痛，決定
把boost doc長(zhǎng)期開(kāi)著。

posted on 2008-10-15 11:23 Kevin Lynx 閱讀(4774) 評(píng)論(10)  編輯 收藏 引用 所屬分類(lèi): c/c++