仿照boost::lexical_cast,编写一个text_cast

首先说明,这个text_cast不光是编写来玩的,它还有一定的用途。我在最近的一个跨平台(Win32,数个版本的Linux)的项目中用到了boost库,编码的时候还是很爽的,等到了移植的时候,就发现我每到一个平台(数量还在增加)上,就要先把boost编译一下,如果光是这样倒也罢了。更要命的是我发现boost在某些平台上的表现有微妙的差别,例如在异常的处理上,这些给我带来了不少麻烦。在很多次痛苦的追踪以后,发现问题竟然追到了boost库里面!不是说boost不好,而是它设计的太通用,而我的很多要求都很简单。经过一番思索,我发现我其实只用了boost的date_time库和lexical_cast,所以痛定思痛,决定干脆还是自己把这两个功能实现了算了,虽然效率可能没有boost来得高,稳定性可能没有boost好,但是只要能应付我的需求就是好的。

首先是取代lexical_cast的工作,lexical_cast在我的应用中都是这样出现的——
把string转换成原生类型:
inti = lexical_cast<int>("234");
把原生类型转换成string:
strings = lexical_cast<bool>(true);

如果自己写一个text_cast,首要的要求就是尽可能少的改动客户代码,也就是说,最好用一个replace就能完成改动工作,那么就要保证调用语法和语义都与lexical_cast一致。入手当然很容易:

template<typename Target>
Target text_cast(const string& arg)
{
stringstream ss(arg);
Target ret;
ss >> ret;

return ret;
}

仅仅使用它,把string转换成原生类型都没有问题了,但是它不能把原生类型转换成string。因为它压根儿就不接受这些参数。那么,我们再加一个可不可以呢?

template<typename Source>
string text_cast(Source arg)
{
stringstream ss;
ss << arg;

return ss.str();
}

使用这两个模版,当我们用下面的代码来测试的时候,VC7.1会抱怨的

int main()
{
string str = "234";
int i = text_cast<int>(str);
cout << i << endl;

string s = text_cast<string>(i);
cout << s << endl;
}

错误信息是:
error C2665: “text_cast” : 2 个重载中没有一个可以转换参数 1(从“int”类型)
c:\boosttest\boosttest.cpp(8): 可能是“std::string text_cast<std::string>(Source)”
with
[
Source=std::string
]
c:\boosttest\boosttest.cpp(17): 或 “Target text_cast<std::string>(const std::string &)”
with
[
Target=std::string
]
试图匹配参数列表“(int)”时

道理很简单,正如提示所说,对于text_cast<string>(i),编译器不知道如何去匹配正确的函数。如果把这一句改为 text_cast(i) ,换言之,不用模版参数,让编译器自己去匹配,倒是可以通过。但是这样就要改动客户代码,怎么办呢?其实可以这样解决:

template<typename Target, typename Source>
string text_cast(Source arg)
{
stringstream ss;
ss << arg;

return ss.str();
}

这样做的结果是使得

template<typename Target>
Target text_cast(const string& arg)

成了这个模版的偏特化版本,在参数类型为string的时候,会调用后者,而其他的时候(当然这个时候目标类型就是string了)会调用前者。这样,上面的程序段就可以顺利地通过了。
其实还有一个问题,上面的两个模版在把string转换成bool的时候,不能符合我的要求。我希望它能把字符串true, True, t, T, 1以及种种古怪的形式变成bool类型的true,而把false, False, f, F, 0等等的变成bool类型的false。而stringstream只有在看到0和1的时候才能正确的工作。于是,又需要编写一个针对bool类型的偏特化版本:

template<>
bool text_cast(const string& arg)
{
char c = arg[0];
if(c == '1' || c == 't' || c == 'T')
return true;
else if(c == '0' || c == 'f' || c == 'F')
return false;
else
throw;
// 当然,这里的处理还应该更系统一点
}

这样,即便 text_cast<bool>("tRuE") 这样的调用也难不倒它。虽然它可能把 "tttt" 也转换成true,但是在我的程序里面,不会有这样的情况发生。


你可能感兴趣的:(C++,c,linux,C#,F#)