C++ invoke与function的区别在哪？

C++ invoke

invoke是C++17标准引入的一个函数模板，用来调用可调用对象（Callable Object，如函数指针、函数对象、成员函数指针等）并返回结果。

invoke提供了统一的调用语法，无论可调用对象的类型是什么，都可以使用同一种方式进行调用。

在C++17之前，调用不同类型的可调用对象需要使用不同的语法，比如直接调用函数、使用类对象的运算符重载操作符()来调用函数对象、使用成员函数指针来调用类成员函数等等。这些调用方式虽然能用，但是不够灵活，而invoke解决了这种不一致的问题。

invoke函数的实现原理是通过使用SFINAE（Substitution Failure Is Not An Error）技术来判断可调用对象的类型，并根据类型调用对应的调用方式。因此，无论可调用对象的类型是什么，都可以使用invoke函数来调用，而不需要使用不同的语法。

下面是invoke的示例代码：

 

#include 
#include 


void foo(int a, int b)
{
    std::cout << "a + b = " << a + b << std::endl;
}


class Bar
{
public:
    void operator()(int a, int b)
{
        std::cout << "a - b = " << a - b << std::endl;
    }
};


int main()
{
    int a = 10, b = 5;
    std::invoke(foo, a, b); // 调用普通函数
    Bar bar;
    std::invoke(bar, a, b); // 调用函数对象
    std::invoke(&Bar::operator(), bar, a, b); // 调用成员函数
    std::function f = foo;
    std::invoke(f, a, b); // 调用std::function对象
    return 0;
}

 

总结：std::invoke 提供了一种通用的函数调用语法，可以方便地调用各种可调用对象。

function与invoke的区别

std::function和std::invoke是两个不同的东西，功能也不同。std::function是一个函数对象的封装器，可以用来封装任意类型的可调用对象，比如函数指针、lambda表达式等，而 std::invoke 则是一个函数模板，用于在统一的接口下调用可调用对象。

比如，我们可以使用std::function来存储一个函数指针：

 

#include 
#include 


void foo(int a, int b)
{
    std::cout << "foo(" << a << ", " << b << ")" << std::endl;
}


int main()
{
    std::function f = foo;
    f(1, 2);
}

 

上述代码中，我们将函数指针foo封装成了一个std::function对象f，然后通过调用f(1, 2)来调用函数foo。

std::invoke的作用是提供一种通用的函数调用语法，可以用统一的方式来调用各种可调用对象，而不必关心它们具体是什么类型。

比如，可以使用std::invoke来调用一个东西，无论这个东西是函数指针、函数对象还是成员函数指针：

 

#include 
#include 


void foo(int a, int b)
{
    std::cout << "foo(" << a << ", " << b << ")" << std::endl;
}


class Bar {
public:
    void bar(int a, int b) const
{
        std::cout << "Bar::bar(" << a << ", " << b << ")" << std::endl;
    }
};


int main()
{
    std::invoke(foo, 1, 2);


    Bar b;
    std::invoke(&Bar::bar, &b, 1, 2);
}

 

上面代码，使用std::invoke分别调用了函数foo和类Bar的成员函数bar，并传递了相应的参数。

总结，std::function和std::invoke的使用场景是不同的。std::function 适用于需要存储可调用对象的场景，而std::invoke则适用于统一调用各种不同类型的可调用对象的场景。

审核编辑：刘清