c++中的std::invoke有什么用_统一调用机制与函数对象调用示例

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

c++中的std::invoke有什么用_统一调用机制与函数对象调用示例

c++中,std::invoke 是从 C++17 引入的一个通用调用工具,它的主要作用是提供一种统一的方式来调用可调用对象。无论目标是普通函数、成员函数、函数指针、lambda 表达式,还是函数对象(仿函数),甚至是类的成员变量访问,std::invoke 都能以一致的语法进行调用。

为什么需要 std::invoke?

在泛型编程中,我们常常需要编写能接受各种可调用对象的代码。比如,在实现一个通用回调机制或容器算法时,传入的对象可能是:

  • 普通函数
  • 成员函数指针
  • lambda 表达式
  • 重载了 operator() 的类对象

传统调用方式对这些类型不统一。尤其是调用成员函数时,必须通过对象指针或引用配合 .* 或 ->* 操作符,语法复杂且难以泛化。std::invoke 解决了这个问题,它把“调用”这个动作抽象成统一接口

基本用法与语法

std::invoke 的基本形式如下:

立即学习C++免费学习笔记(深入)”;

std::invoke(callable, args…);

其中 callable 是可调用对象,args 是传递给它的参数。它会自动处理调用细节,包括解引用指针、调用成员函数等。

来看几个典型示例:

c++中的std::invoke有什么用_统一调用机制与函数对象调用示例

阿里云-虚拟数字人

阿里云-虚拟数字人是什么? …

c++中的std::invoke有什么用_统一调用机制与函数对象调用示例2

查看详情 c++中的std::invoke有什么用_统一调用机制与函数对象调用示例

调用普通函数和函数对象

#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 的价值在于抹平了不同可调用对象之间的调用差异,让泛型代码更简洁、安全、易读。尤其在实现高阶函数、回调系统或标准库组件时,它是不可或缺的工具

上一篇
下一篇
text=ZqhQzanResources