从 c++ / c++11 中的函数返回不同值类型的优雅方法

Question

我在堆栈溢出中寻找从 c++ 中的函数返回不同值类型的最佳方法 我发现了一些很酷的方法，尤其是这种方法尽可能接近：
C++ same function parameters with different return type

但是有问题。 值对象只能接受/转换字符串，所以如果我有这样的东西：

Value RetrieveValue(std::string key)
{
     //get value
      int value = get_value(key, etc);
      return { value };
}

我得到了：

error C2440: 'return': cannot convert from 'initializer list' to 'ReturnValue'

no suitable constructor exists to convert from "int" to "std::basic_string<char, std::char_traits<char>, std::allocator<char>>" 

我的问题是我可以修改 Value 对象以支持 bool、float 和 int 吗？

struct Value
{
    std::string _value;

    template<typename T>
    operator T() const   //implicitly convert into T
    {
       std::stringstream ss(_value);
       T convertedValue;
       if ( ss >> convertedValue ) return convertedValue;
       else throw std::runtime_error("conversion failed");
    }
}

还有为什么“值”返回：{ value }
大括号？？

Answer 1

std::string 没有单独使用int 的构造函数。所以你不能直接用一个初始化std::string。

您可以使用std::to_string 编译它，但是

Value RetrieveValue(std::string key)
{
     //get value
      int value = get_value(key, etc);
      return { std::to_string(value) };
}

---

在 cmets 中回答您的问题：

1. {std::to_string(value)} aggregate initializes Value 对象，你的函数的返回值。

2. 到任何T 的隐式转换发生在您的函数调用之外。当编译器需要将您返回的Value 分配给某个变量时，它会寻找适当的转换。模板化转换运算符提供的。

---

根据您的第二条评论。如果你只想支持基本类型，你可以放弃这个异常来支持std::is_fundamental上的static_assert：

template<typename T>
operator T() const   //implicitly convert into T
{
   static_assert(std::is_fundamental<T>::value, "Support only fundamental types");
   std::stringstream ss(_value);
   T convertedValue;
   ss >> convertedValue
   return convertedValue;
}