偷窥Boost Conversion Library(二)

//(接上)

三、与值和类型相关的类型转换

1、 lexical_cast

在程序开发中，往往需要将数字型对象的值转换为字符文本格式，或反之操作。我们在C/C++标准程序库中可以找到这样的函数来进行转换，例如atoi。但是他们都有个通病，使用复杂，缺少扩展性，更重要的是不够安全。

使用lexical_cast就可以把这样的操作简单化。

 

try{

     int i= 100;

     string str= lexical_cast<string>(i);

     cout<<"The string is:"<<str<<endl;

        

     str="error";

     i=lexical_cast<int>(str);

}

catch(bad_lexical_cast& exobj){

     cout<<"No, you can't convert a /"error/" to a int"<<endl;

     cout<< exobj.what() << endl;

}

 

当把"error"转换为int时，这个错误就会被lexical_cast发现，然后抛处boost::bad_lexical_cast这个异常对象。

对于lexical_cast的使用也是有要求的：

1、 源类型必须能被输出流std::ostream或std::wostream对象用operator<<()操作

2、 目标类型必须能被输入流std::istream或std::wostream对象用operator>>()操作

3、 源类型和目标类型必须都是可拷贝构造的

4、 目标类型必须拥有default constructor

2、 窥其内部

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;

}

其中lexical_stream<>对字符串流做了一系列的包装，主要提供了operator<<(Source)和operator>>(Target)操作，这两个操作的返回类型是bool，用于判断操作是否成功。

Target result;用于返回，这说明了目标类型必须拥有default constructor的原因。

interpreter<< arg和interpreter>>result就是将arg的值放入到字符串流，把字符串流里的值放入result。

如果操作失败，就抛出bad_lexical_cast对象。其中bad_lexical_cast对象里保存了源类型和目标类型的type_info对象的地址，这样就方便了对错误类型的查询。

 

return 0; //end

参考来源：Boost Conversion Library Documents