C++标准::字符串到数字模板

Question

我目前正在尝试实现我自己的标准输入读取器以供个人使用。我创建了一个从标准输入中读取整数的方法，并对其有效性进行了一些检查。这个想法是，我从标准输入中读取一个字符串，进行几次检查，转换为int，进行最后一次检查，返回已读取的值。如果在检查的同时发生任何错误，我将只填写一个errorHint在std::cerr上打印并返回std::numeric_limits<int>::min()。

我认为这个想法实现起来非常简单明了，现在我想推广这个概念并制作方法模板，所以基本上我可以在编译时选择，无论何时我需要从标准输入中读取我想要的整数类型(可以是int、long、long long、unsigned long等，但可以是整数)。为了做到这一点，我创建了以下静态模板方法：

template<
class T,
class = typename std::enable_if<std::is_integral<T>::value, T>::type
> 
static T getIntegerTest(std::string& strErrorHint,
T nMinimumValue = std::numeric_limits<T>::min(),
T nMaximumValue = std::numeric_limits<T>::max());

和实现在相同的.hpp文件下面几行：

template<
class T,
class>
T InputReader::getIntegerTest(std::string& strErrorHint,
T nMinimumValue,
T nMaximumValue)
{
std::string strInputString;
std::cin >> strInputString;
// Do several checks
T nReturnValue = std::stoi(strInputString); /// <--- HERE!!!
// Do other checks on the returnValue
return nReturnValue;
}

现在的问题是，我想将刚刚读取的并且我知道在正确范围内的字符串转换为整数类型T。我怎样才能以一种好的方式做到这一点？

Answer 1

专门化函数对象是一种基于类型特征修改行为的通用方法。

方法是：

1. 定义操作的通用模板

2. 专门用于角案例的模板

3. 通过助手函数调用

示例：

#include <iostream>
#include <type_traits>
#include <string>

namespace detail {
/// general case
template<class Integer, typename Enable = void>
struct convert_to_integer {
Integer operator()(std::string const &str) const {
return std::stoi(str);
}
};
// special cases
template<class Integer>
struct convert_to_integer<Integer, std::enable_if_t<std::is_same<long, Integer>::value> > {
long operator()(std::string const &str) const {
return std::stol(str);
}
};
}
template<class T, class StringLike>
T to_integral(StringLike&& str)
{
using type = std::decay_t<T>;
return detail::convert_to_integer<type>()(str);
};
int main() {
std::string t1 = "6";
const char t2[] = "7";
std::cout << to_integral<int>(t1) << std::endl;
std::cout << to_integral<int>(t2) << std::endl;
// will use the specilaisation
std::cout << to_integral<long>(t1) << std::endl;
std::cout << to_integral<long>(t2) << std::endl;
// will use the default case
std::cout << to_integral<short>(t1) << std::endl;
std::cout << to_integral<short>(t2) << std::endl;
}

p.s.您的错误报告策略需要改进。建议投掷std::runtime_error。