C++ invoke
invoke是C++17标准引入的一个函数模板,用来调用可调用对象(Callable Object,如函数指针、函数对象、成员函数指针等)并返回结果。
invoke提供了统一的调用语法,无论可调用对象的类型是什么,都可以使用同一种方式进行调用。
详见:https://en.cppreference.com/w/cpp/utility/functional/invoke
在C++17之前,调用不同类型的可调用对象需要使用不同的语法,比如直接调用函数、使用类对象的运算符重载操作符()来调用函数对象、使用成员函数指针来调用类成员函数等等。这些调用方式虽然能用,但是不够灵活,而invoke解决了这种不一致的问题。
invoke函数的实现原理是通过使用SFINAE(Substitution Failure Is Not An Error)技术来判断可调用对象的类型,并根据类型调用对应的调用方式。因此,无论可调用对象的类型是什么,都可以使用invoke函数来调用,而不需要使用不同的语法。
它的实现原理可以看https://en.cppreference.com/w/cpp/utility/functional/invoke
下面是invoke的示例代码:
#include <iostream>
#include <functional>
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<void(int, int)> 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 <functional>
#include <iostream>
void foo(int a, int b)
{
std::cout << "foo(" << a << ", " << b << ")" << std::endl;
}
int main()
{
std::function<void(int, int)> f = foo;
f(1, 2);
}
上述代码中,我们将函数指针fo
o
封装成了一个std::function
对象f
,然后通过调用f(1, 2)
来调用函数foo
。
std::invoke
的作用是提供一种通用的函数调用语法,可以用统一的方式来调用各种可调用对象,而不必关心它们具体是什么类型。
比如,可以使用st
d::invoke
来调用一个东西,无论这个东西是函数指针、函数对象还是成员函数指针:
#include <functional>
#include <iostream>
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
则适用于统一调用各种不同类型的可调用对象的场景。