C++11/14 调用解决方法

Question

我需要在某些 C++11/14 代码中使用 INVOKE 语义(由 C++17 中的 std::invoke 实现)。我当然不想自己实现，我认为这将是一场灾难。所以我决定利用现有的标准图书馆设施。我很快想到的是:

template<typename Fn, typename... Args>
constexpr decltype(auto) my_invoke(Fn&& f, Args&&... args)
    noexcept(noexcept(std::bind(std::forward<Fn>(f), std::forward<Args>(args)...)()))
{
    return std::bind(std::forward<Fn>(f), std::forward<Args>(args)...)();
}

此实现的一个问题是它无法区分左值和右值可调用项(例如，如果函数对象在 operator()() & 和 operator()() 上重载&&，只会调用 && 版本)。是否有一些库实用程序也可以完美转发可调用本身？如果没有，什么是实现它的好方法？ (例如转发包装器)。

Answer 1

INVOKE 的所有特例都是关于指向成员的指针。只需 SFINAE 并将它们发送到 mem_fn。

template<typename Fn, typename... Args, 
        std::enable_if_t<std::is_member_pointer<std::decay_t<Fn>>{}, int> = 0 >
constexpr decltype(auto) my_invoke(Fn&& f, Args&&... args)
    noexcept(noexcept(std::mem_fn(f)(std::forward<Args>(args)...)))
{
    return std::mem_fn(f)(std::forward<Args>(args)...);
}

template<typename Fn, typename... Args, 
         std::enable_if_t<!std::is_member_pointer<std::decay_t<Fn>>{}, int> = 0>
constexpr decltype(auto) my_invoke(Fn&& f, Args&&... args)
    noexcept(noexcept(std::forward<Fn>(f)(std::forward<Args>(args)...)))
{
    return std::forward<Fn>(f)(std::forward<Args>(args)...);
}

这基本上是 N4169 中提出的最小实现. (真正的标准库实现者不会这样做，因为将 INVOKE 功能集中在一个地方并让其他各个部分调用它更易于维护。)

顺便说一下，使用std::bind 是完全错误的。它复制/移动所有参数，将它们作为左值传递给可调用对象，并使用 reference_wrappers、占位符和绑定(bind)表达式执行不需要的魔法。