Khan's Notebook GCC/GNU/Linux Delphi/Window Java/Anywhere

注:轉(zhuǎn)載請保證文章完整性

一、介紹

lexical_cast是boost中一個非常有用，常用，好用的庫，我現(xiàn)在的小數(shù)據(jù)轉(zhuǎn)換用的都是lexical_cast。 lexical_cast最大的特點(diǎn)是安全，包括長度安全，類型安全。 下面我來介紹下lexical_cast的基本使用方法。

Target lexical_cast(Source arg)

例如:

#include <boost/lexical_cast.hpp>           //lexical_cast的頭文件

using namespace std;                        //stl的域
using namespace boost;                      //boost的域

int main() {
    const double PI = 3.1415926535;
    string str;
    str = lexical_cast<string>(PI);
    cout << str; 
    return 0;
}

非常容易吧，簡單也是他的優(yōu)勢之一。

二、異常

lexical_cast在執(zhí)行失敗時(shí)會拋出異常bad_lexical_cast 上面的例子改為:

#include <boost/lexical_cast.hpp>           //lexical_cast的頭文件

using namespace std;                        //stl的域
using namespace boost;                      //boost的域

int main() {
    try {
        string str = "3.1415926535";
        double PI = lexical_cast<double>(str);
        cout << PI; 
        return 0;
    } catch( bad_lexical_cast& E ) {
        cout << E.what() << endl;
    }
}

當(dāng)str為ABCD時(shí)， 無法轉(zhuǎn)成PI拋出異常 輸出

bad lexical cast: source type value could not be interpreted as target

三、一個小例子

為了加深大加理解 下面使用lexical_cast實(shí)現(xiàn)一個簡單的文本輸入是否為指定類型的小程序

#include <boost/lexical_cast.hpp>
#include <iostream>

using namespace std;                       //stl的域
using namespace boost;                     //boost的域

template<typename _T, typename _R>
bool isElement(_R r) {
    try {
        lexical_cast<_T>(r);                
        return true;                        //轉(zhuǎn)換成功
    } catch(...) {
        return false;
    }
}

int main() {
    try {
        if( isElement<double>("3.14d159") )
            cout << "YES" << endl;
        else
            cout << "NO" << endl;

    } catch( bad_lexical_cast& E ) {
        cout << E.what() << endl;
    }
    return 0;    
}

測試結(jié)果:

測試：isElement<double>("3.14d159") 輸出：NO
測試：isElement<string>("3.14d159") 輸出：YES
測試：isElement<long>("314159")     輸出：YES
測試：isElement<long>("31.4159")    輸出：NO
測試：isElement<char>("314159")     輸出：NO

四、源碼分析

#ifdef BOOST_NO_STRINGSTREAM // 我們知道stringstream和strstream分別
                             // 是string和char*結(jié)構(gòu), lexical_cast考慮很全面的。
    #include <strstream>
#else
    #include <sstream>
#endif

// bad_lexical_cast是bad_cast的繼承，所以很標(biāo)準(zhǔn)，支持和擴(kuò)充性都很好。
class bad_lexical_cast : public std::bad_cast {
    public:
        bad_lexical_cast() :
            source( &typeid(void) ), target( &typeid(void) )
        {
        }

        bad_lexical_cast( const std::type_info &s, const std::type_info &t ) :
            source(&s), target(&t)
        {
        }

        //提供了兩個返回type_info的函數(shù)，為我們跟蹤調(diào)試類形轉(zhuǎn)換起到很好的做用。
        const std::type_info &source_type() const 
        {
            return *source;
        }

        const std::type_info &target_type() const
        {
            return *target;
        }

        virtual const char *what() const throw()
        {
            return "bad lexical cast: "
                   "source type value could not be interpreted as target";
        }

        virtual ~bad_lexical_cast() throw()
        {
        }
    private:
        const std::type_info *source;
        const std::type_info *target;
    };

type_info的具體用法是：E.source_type().name()就可能到類型名。

核心轉(zhuǎn)換部分，用的是留的概念，從流內(nèi)數(shù)據(jù)的剩余情況與流轉(zhuǎn)換成功與否情況來判斷操作是否成功。在不加域時(shí)這里就像一個黑盒子。

        bool operator<<(const Source &input)
        {
            return !(stream << input).fail();
        }

        template<typename InputStreamable>
        bool operator>>(InputStreamable &output)
        {
            return !is_pointer<InputStreamable>::value &&
                    stream >> output &&
                    (stream >> std::ws).eof();
        }

        bool operator>>(std::string &output)
        {
            #if defined(BOOST_NO_STRINGSTREAM)
            stream << '\0';
            #endif
            output = stream.str();
            return true;
        }

僅提供該入口，具體實(shí)現(xiàn)被封在detail域里面。

    template<typename Target, typename Source>
    Target lexical_cast(Source arg)
    {
        detail::lexical_stream<Target, Source> interpreter;
        Target result;

        if(!(interpreter << arg && interpreter >> result))
            throw_exception(bad_lexical_cast(typeid(Target), typeid(Source))); //拋出異常錯誤，
        return result;
    }

最后, 我們可以發(fā)現(xiàn)

bad_lexical_cast(typeid(Target), typeid(Source)

與上面

bad_lexical_cast(const std::type_info &s, const std::type_info &t) 
        :source(&s), target(&t)

之間的區(qū)別，在我看來是寫倒了，不過不影響，也算是個不算bug的bug

五、總結(jié)

lexical_cast是強(qiáng)大的，但不是萬能的，但在很多情況下他有著獨(dú)特的優(yōu)點(diǎn)，安全方便快捷！！！