Question

我发现std::invoke使用一组参数和std::apply调用每个可调用对象，以将一个元组扩展为可调用的参数。

是否有两者的组合可以调用任何可调用的元组作为参数？

#include <iostream>
#include <tuple>
#include <functional>

class A
{
    private:
        int n;

    public:
        A( int _n ): n(_n){}

        void operator()(int x, double y )
        {
            std::cout << n << " " << x << " " << y << std::endl;
        }

        void MemFun( int x, double y )
        {
            std::cout << n << " " << x << " " << y << std::endl;
        }
};

int main()
{
    A a(100);
    std::invoke( a, 10, 1.23 );

    auto parm2 = std::make_tuple( 1,2.34);
    std::apply ( a, parm2 );

    std::invoke ( &A::MemFun, a, 4, 5.67 );

    // ???
    std::??apply_invoke?? ( &A::MemFun, a, parm2 );
}

Answer 1

你的意思是这样吗？

std::apply(&A::MemFun, std::tuple_cat(std::make_tuple(a), parm2));

是否有两者的组合可以调用任何可调用的元组作为参数？

std::apply可以用来调用任何可调用的，所以我不是真正理解这里的问题。对于成员函数，它就像std::invoke：第一个参数需要是要调用函数的对象。同样适用于std::apply，其中传递的元组的第一个元素需要是您希望它被调用的对象。

如果你不喜欢指定std::tuple_cat等，你可以随时创建一个包装器：

template<typename F, typename T, typename U>
decltype(auto) apply_invoke(F&& func, T&& first, U&& tuple) {
    return std::apply(std::forward<F>(func), std::tuple_cat(std::forward_as_tuple(std::forward<T>(first)), std::forward<U>(tuple)));
}

Answer 2

std::apply( std::bind(&A::MemFun, &a, std::placeholders::_1, std::placeholders::_2), parm2 );怎么样？

编辑包含建议和占位符

调用成员函数扩展元组parms std :: invoke vs std :: apply

2 个答案: