c++ - C++ 17中的拟态std::bind_front用于调用成员函数

Question

是否可以在C++ 17中轻松模仿 std::bind_front ？ (仅用于成员函数包装就可以了)
我查看了c++20中旨在复制的实现，但实际上它确实非常特定于实现。
我在想一个lambda包装器或模板函数/对象可能起作用？
(这里的性能不是问题)

Answer 1

这可以作为起点

template<typename F, typename ...FrontArgs>
struct bindfronthelper
{
    bindfronthelper(F f, FrontArgs&&...args)
        : mF{std::move(f)}
        , mFrontArg{std::forward<FrontArgs>(args)...}
    {}

    template<typename ...BackArgs>
    auto operator()(BackArgs&&...args) const
    {
        return std::apply(mF, std::tuple_cat(mFrontArg, std::forward_as_tuple(args...)));
    }

    F mF;
    std::tuple<std::decay_t<FrontArgs>...> mFrontArg;
};

template<typename F, typename ...FrontArgs>
auto mybindfront(F f, FrontArgs&&...args)
{
    return bindfronthelper<F, FrontArgs...>{std::move(f), std::forward<FrontArgs>(args)...};
}

https://godbolt.org/z/Tz9fen
写得很快并且测试得不好，因此在极端情况下可能会有一些陷阱。至少它显示了如何实现这一目标。

好吧，我把这个变得复杂了，这是更简单的版本:

template<typename T, typename ...Args>
auto tuple_append(T&& t, Args&&...args)
{
    return std::tuple_cat(
        std::forward<T>(t),
        std::forward_as_tuple(args...)
    );
}

template<typename F, typename ...FrontArgs>
decltype(auto) mybindfront(F&& f, FrontArgs&&...frontArgs)
{
    return [f=std::forward<F>(f), 
            frontArgs = std::make_tuple(std::forward<FrontArgs>(frontArgs)...)]
            (auto&&...backArgs) 
        {
            return std::apply(
                f, 
                tuple_append(
                    frontArgs, 
                    std::forward<decltype(backArgs)>(backArgs)...)); 
        };
}

https://godbolt.org/z/cqPjTY
仍然通过了我提供的所有测试。我保留了旧版本，因为可以进行一些工作使其与旧版本的c++一起使用。