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

类别:编程语言 点击:0 评论:0 推荐:

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

首先是取代lexical_cast的工作,lexical_cast在我的应用中都是这样出现的——
把string转换成原生类型:
int i = lexical_cast<int>("234");
把原生类型转换成string:
string s = 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,但是在我的程序里面,不会有这样的情况发生。


本文地址:http://com.8s8s.com/it/it25559.htm