我正在创建我自己的lexical_cast函数来包装Boost，具有bool类型的特殊行为，并且还避免了Boost的词法强制转换函数的异常版本。
我完全专注于bool的功能，以便我可以使用iostreams作为std::boolalpha操纵器。但是，我无法让它适用于字符串文字。完整代码如下，以及实时样本的链接：
template<typename T1, typename T2>
T1 lexical_cast(T2 const& value, T1 const& defaultValue = T1{})
{
std::cout << "Generic Conversion\n";
T1 convertedValue;
if (!boost::conversion::try_lexical_convert(value, convertedValue))
{
return defaultValue;
}
return convertedValue;
}
template<>
bool lexical_cast<bool, char const*>(char const* const& value, bool const& defaultValue)
{
std::cout << "Specialized c string to bool\n";
bool convertedValue;
std::istringstream ss(value);
if (!(ss >> std::boolalpha >> convertedValue))
{
std::cout << "Failed string to bool\n";
return defaultValue;
}
return convertedValue;
}
template<>
bool lexical_cast<bool, std::string>(std::string const& value, bool const& defaultValue)
{
std::cout << "Specialized string to bool\n";
return lexical_cast<bool>(value.c_str(), defaultValue);
}
template<>
std::string lexical_cast<std::string, bool>(bool const& value, std::string const& defaultValue)
{
std::cout << "Specialized bool to string\n";
std::ostringstream ss;
if (!(ss << std::boolalpha << value))
{
std::cout << "Failed bool to string\n";
return defaultValue;
}
return ss.str();
}
int main()
{
lexical_cast<std::string>(3.14f);
lexical_cast<float>("3.14");
lexical_cast<int>("3.14");
lexical_cast<bool>("true");
lexical_cast<std::string>(true);
}
上面的代码给出了输出：
Generic Conversion
Generic Conversion
Generic Conversion
Generic Conversion
Specialized bool to string
上面的main测试中的第4个案例不应该是“泛型转换”，它应该使用C字符串专门化。
我觉得我在这里遇到模板肮脏的兔子洞，解决方案很快变得混乱和复杂，看起来很简单。我正在尝试做什么的理想解决方案是什么？我如何按照自己的意愿获得bool专业化？
澄清要求：我理解字符串文字实际上是字符数组。在我上面的例子中，我尝试使用char*，因为接受一个char数组需要另一个非类型模板参数，我知道我不能消耗它，因为它需要部分特化我的函数模板，这是非法的。
其次，我意识到也可以使用重载但是我不能允许在不指定返回类型的模板参数的情况下使用lexical_cast的情况。例如，我必须做lexical_cast<bool>("true")，我不能做lexical_cast("true")。我的目标是保持与boost::lexical_cast的接口兼容，lexical_cast没有可以省略模板参数的情况。
因为我在调用const时必须使用模板语法，所以我觉得我不得不使用完整的函数特化。
你必须记住，字符串文字实际上是template<size_t N>
void function(char const (&string)[N]);
字符的数组。
使函数接受字符串文字的正确方法如下：
N不要忘记template<typename T1, typename T2>
T1 lexical_cast(T2 const& value, T1 const& defaultValue = T1{})
{
std::cout << "Generic Conversion\n";
T1 convertedValue;
if (!boost::conversion::try_lexical_convert(value, convertedValue))
{
return defaultValue;
}
return convertedValue;
}
template<>
std::string lexical_cast<std::string, bool>(bool const& value, std::string const& defaultValue)
{
std::cout << "Specialized bool to string\n";
std::ostringstream ss;
if (!(ss << std::boolalpha << value))
{
std::cout << "Failed bool to string\n";
return defaultValue;
}
return ss.str();
}
template<typename B>
std::enable_if_t<std::is_same<B, bool>::value, B>
lexical_cast(char const* value, bool defaultValue = {})
{
std::cout << "Specialized c string to bool\n";
bool convertedValue;
std::istringstream ss(value);
if (!(ss >> std::boolalpha >> convertedValue))
{
std::cout << "Failed string to bool\n";
return defaultValue;
}
return convertedValue;
}
template<typename B>
std::enable_if_t<std::is_same<B, bool>::value, B>
lexical_cast(std::string const& value, bool defaultValue = {})
{
std::cout << "Specialized string to bool\n";
return lexical_cast<bool>(value.c_str(), defaultValue);
}
template<typename T>
void PrintResult(T const& result)
{
std::cout << "--- Result: " << result << "\n";
}
int main()
{
PrintResult(lexical_cast<std::string>(3.14f));
PrintResult(lexical_cast<float>("3.14"));
PrintResult(lexical_cast<int>("3.14"));
PrintResult(lexical_cast<bool>("true"));
PrintResult(lexical_cast<std::string>(true));
std::string trueString = "true";
PrintResult(lexical_cast<bool>(trueString));
}
的大小包括空终止符。
感谢大家的调查，它激发了我自己的一些想法，我想我找到了一个满意的解决方案。关键是使用模板覆盖，这是该线程中其他人的提示。感谢大家的帮助。这是解决方案：
Generic Conversion
--- Result: 3.1400001
Generic Conversion
--- Result: 3.14
Generic Conversion
--- Result: 0
Specialized c string to bool
--- Result: 1
Specialized bool to string
--- Result: true
Specialized string to bool
Specialized c string to bool
--- Result: 1
输出：
live sample here
和qazxswpoi。