将异常转换为可选：无法解析重载的函数类型

Question

我正在尝试构建一个将异常转换为可选的通用函数：

template<typename Func, typename... Args>
auto get_opt(Func f, Args&&... args)
{
    auto ret = std::experimental::optional<decltype(f(std::forward<Args>(args)...))>();
    try
    {
        ret = f(std::forward<Args>(args)...);
    }
    catch(const std::exception&)
    {}

    return ret;
}

然后我可以将它与任何可能引发异常的函数一起使用，并且它适用于没有重载的函数：

int test(const std::string& s)
{
    return std::stoi(s);
}

int main(int argc, char** argv)
{
    auto n = get_opt(test, "1234");

    if(n)
    {
        std::cout << "value: " << *n << std::endl;
    }
}

问题是如果我使用具有重载的函数，编译器会抱怨他不知道要调用什么重载：

auto n = get_opt(std::to_string, 1234);

main.cpp:25: error: no matching function for call to 'get_opt(<unresolved overloaded function type>, int)'

这个应该调用std::to_string(int)重载。

1. 我的get_opt 函数格式正确吗？是args 的通用参考并使用std::forward 来处理这种情况吗？

2. 既然传递了参数int，为什么编译器看不到要调用的重载，他应该正确计算出正确的重载？

3. 如何使其适用于重载？

提前致谢。

Answer 1

这里的问题在于模板类型推导，是完美的转发失败之一。当你有一个重载的函数时，应该为Func推导出哪一个？

有两种方法可以解决这个问题。要么创建一个正确类型的函数指针并将其传入，要么将to_string 转换为该类型：

using FuncType = std::string(*)(int );
FuncType f = std::to_string;

auto n = get_opt(f, 1234); 
auto n2 = get_opt(static_cast<FuncType>(std::to_string), 1234);

Answer 2

我的get_opt 函数格式正确吗？ args 的通用参考和使用std::forward 是解决这种情况的方法吗？

是的。

既然传递了参数 int，为什么编译器看不到要调用的重载，他应该找出正确的重载吗？

编译器不会检查函数调用以查看应该选择哪个重载。事实是，当您有一个重载函数时，仅通过其名称引用该函数会导致歧义，因为它可能是多个函数。它实际上是一种“未解析的重载函数类型”。

您通常可以通过转换为正确的类型来解决此问题，但如果您的函数使用模板参数推导，您将无法在 get_opt 内的调用站点实现这一点。你可以用 lambda 表达式解决这个问题：

auto glambda = [&] (auto&& x) { return std::to_string(x); });
auto n = get_opt(glambda, 1234);