22

我有以下函数将字符串转换为数字数据类型：

template <typename T>
bool ConvertString(const std::string& theString, T& theResult)
{
    std::istringstream iss(theString);
    return !(iss >> theResult).fail();
}

但是，这不适用于枚举类型，所以我做了这样的事情：

template <typename T>
bool ConvertStringToEnum(const std::string& theString, T& theResult)
{
    std::istringstream iss(theString);
    unsigned int temp;
    const bool isValid = !(iss >> temp).fail();
    theResult = static_cast<T>(temp);
    return isValid;
}

（我假设 theString 对枚举类型具有有效值；我主要将其用于简单的序列化）

有没有办法创建一个结合这两者的单一功能？

我玩了一些模板参数，但没有想出任何东西；不必为枚举类型调用一个函数而为其他所有类型调用另一个函数会很好。

谢谢

4

2 回答 2

43

你必须做两个步骤。找到一个足够大的整数类型来存储值。您可以使用unsigned long，但值可能为负数。然后你可以使用long，但值可以扩展到unsigned long. 所以没有真正的万能类型。

但是有一个技巧，通过使用重载决议。就这个

template<typename T>
struct id { typedef T type; };

id<char[1]>::type &find_etype(int);
id<char[2]>::type &find_etype(unsigned int);
id<char[3]>::type &find_etype(long);
id<char[4]>::type &find_etype(unsigned long);

您可以适当地更改它以覆盖long long，或者unsigned long long您的实现是否支持它。现在，传递一个枚举类型将更喜欢其中一个而不是其他所有类型 - 这是一种可以存储它的所有值的类型。您只需要将sizeof返回类型传递给某个模板。

template<int> struct get_etype;
template<> struct get_etype<1> { typedef int type; };
template<> struct get_etype<2> { typedef unsigned int type; };
template<> struct get_etype<3> { typedef long type; };
template<> struct get_etype<4> { typedef unsigned long type; };

现在，您可以获得正确的类型。您现在需要的只是查看某个类型是否是枚举。如何做到这一点在“C++ 模板 - 完整指南”一书中进行了描述，不幸的是有很多代码。所以我会使用boost的is_enum。放在一起，它可能看起来像

template <typename T>
typename boost::disable_if< boost::is_enum<T>, bool>::type 
ConvertString(const std::string& theString, T& theResult)
{
    std::istringstream iss(theString);
    return !(iss >> theResult).fail();
}

template <typename T>
typename boost::enable_if< boost::is_enum<T>, bool>::type 
ConvertString(const std::string& theString, T& theResult)
{
    typedef typename get_etype<sizeof find_etype(theResult)>::type 
      safe_type;

    std::istringstream iss(theString);
    safe_type temp;
    const bool isValid = !(iss >> temp).fail();
    theResult = static_cast<T>(temp);
    return isValid;
}

希望这可以帮助。

于 2009-10-06T22:29:44.057 回答
10

为了“完成”这个问题，在 C++0x 中我们可以这样做：

typedef typename std::underlying_type<T>::type safe_type;

代替约翰内斯的get_etype把戏。

于 2011-01-22T20:56:57.027 回答