std::invoke提供了一种统一调用可调用对象的方式,适用于普通函数、成员函数、Lambda等。它简化了泛型编程中对不同调用语法的处理,尤其在调用成员函数或访问成员变量时无需手动解引用,使代码更简洁安全。1. 可调用类型包括函数、函数对象、成员函数指针和成员变量指针。2. 语法为std::invoke(callable, args…),自动处理调用细节。3. 在模板中能无缝支持各种可调用体,提升泛型代码的通用性与可读性。

在c++中,std::invoke 是从 C++17 引入的一个通用调用工具,它的主要作用是提供一种统一的方式来调用可调用对象。无论目标是普通函数、成员函数、函数指针、lambda 表达式,还是函数对象(仿函数),甚至是类的成员变量访问,std::invoke 都能以一致的语法进行调用。
为什么需要 std::invoke?
在泛型编程中,我们常常需要编写能接受各种可调用对象的代码。比如,在实现一个通用回调机制或容器算法时,传入的对象可能是:
- 普通函数
- 成员函数指针
- lambda 表达式
- 重载了 operator() 的类对象
传统调用方式对这些类型不统一。尤其是调用成员函数时,必须通过对象指针或引用配合 .* 或 ->* 操作符,语法复杂且难以泛化。std::invoke 解决了这个问题,它把“调用”这个动作抽象成统一接口。
基本用法与语法
std::invoke 的基本形式如下:
立即学习“C++免费学习笔记(深入)”;
std::invoke(callable, args…);
其中 callable 是可调用对象,args 是传递给它的参数。它会自动处理调用细节,包括解引用指针、调用成员函数等。
来看几个典型示例:
调用普通函数和函数对象
#include <functional>
#include <iostream>
void say_hello() {
std::cout << “Hello!” << std::endl;
}
Struct SayHi {
void operator()() const {
std::cout << “Hi!” << std::endl;
}
};
int main() {
std::invoke(say_hello); // 调用普通函数
std::invoke(SayHi{}); // 调用函数对象
}
调用成员函数
这是 std::invoke 最有价值的地方。传统方式调用成员函数需要写 obj.*func 或 ptr->*func,而 std::invoke 简化了这一过程。
struct Person {
std::String name;
void greet() const {
std::cout << “I’m ” << name << std::endl;
}
};
Person p{“Alice”};
void (Person::*func_ptr)() = &Person::greet;
std::invoke(func_ptr, p); // 调用 p.greet()
std::invoke(&Person::name, p); // 获取成员变量值,返回 “Alice”
注意:这里 &Person::name 也能被 invoke 处理,直接返回成员变量的引用。
结合模板与泛型使用
在模板中,你无法预知传入的是函数指针还是成员函数指针。std::invoke 让这种场景变得简单:
template <typename Callable, typename Object>
void call_member(Callable&& c, Object&& obj) {
std::invoke(std::forward<Callable>(c), std::forward<Object>(obj));
}
// 使用:
call_member(&Person::greet, p);
call_member([]{ std::cout << “Lambdan”; }, p);
这个函数模板可以接受任何可调用体,并统一调用,无需关心具体类型。
基本上就这些。std::invoke 的价值在于抹平了不同可调用对象之间的调用差异,让泛型代码更简洁、安全、易读。尤其在实现高阶函数、回调系统或标准库组件时,它是不可或缺的工具。


