c++ - 无法推断函数返回类型

Question

这不适用于gcc-10或clang-10。

template <typename R, typename T>
auto invoke_function(R (&f)(T), T t) { return std::invoke(f, t); }

invoke_function(std::to_string, 42);

这适用于gcc-10，但不适用于clang-10。

template <typename R, typename T>
auto invoke_function(T t, R (&f)(T)) { return std::invoke(f, t); }

invoke_function(42, std::to_string);

在所有情况下，错误消息都非常相似:“无法推断出模板参数'R'”或“无法推断出模板参数'R'”(gcc)。
目前尚不清楚为什么拒绝此代码。由于推导了 T，因此可以确定 std::to_string的重载。对参数顺序的依赖性特别令人讨厌。它不应该工作吗？
我知道可以通过引入函数对象来避免此问题:

struct to_string
{
    template<typename T> std::string operator()(T t) { return std::to_string(t); }
};

然后在上面使用 std::invoke。但是，这需要为每个重载集创建一个单独的函数对象。
有没有更好的办法？

Answer 1

It isn't clear why this code is rejected. Since T is deduced, the overload of std::to_string can be determined.

那不是完全正确的方式。模板推导首先独立推导每个参数/参数对-然后我们将所有推导放在一起，并确保它们是一致的。因此，我们从 T推断出 42，然后分别从 R(&)(T)推断出 std::to_string。但是 std::to_string的每个重载都匹配该模式，因此我们不知道选择哪个模式。
但是，只有当我们能够独立推导每一对时，上述情况才成立。如果参数不可推导，我们将其跳过，然后尝试返回并稍后再填写。这就是这里的关键-我们重新构造推论，以便仅从 T推导 42:

template <typename T>
auto invoke_function(std::string (&f)(std::type_identity_t<T>), T t) { return std::invoke(f, t); }

在这里，我们推导 T和 int，现在我们从 std::string(&)(int)推导 std::to_string。现在有效，因为只有单个重载会匹配该模式。

除了现在，这是未定义的行为，按照 [namespace.std]/6:

Let F denote a standard library function ([global.functions]), a standard library static member function, or an instantiation of a standard library function template. Unless F is designated an addressable function, the behavior of a C++ program is unspecified (possibly ill-formed) if it explicitly or implicitly attempts to form a pointer to F.

std::to_string不是可寻址函数。
因此，真正更好的方法是将 to_string包装在一个lambda中，然后传递它:

invoke_function([](auto x){ return std::to_string(x); }, 42);

只需调整 invoke_function即可接受任意可调用对象，而不是专门使用一个函数。该lambda包装可以概括为:

#define FWD(x) static_cast<decltype(x)&&>(x)
#define LIFT(name) [&](auto&&... args) noexcept(noexcept(name(FWD(args)...))) -> decltype(name(FWD(args)...)) { return name(FWD(args)...); }

invoke_function(LIFT(std::to_string), 42);