C++17之std::invoke: 使用和原理探究(全)

目录

1.概述

2.辅助类

3.原理分析

4.总结

1.概述

        在之前的 C++ 版本中，要调用不同类型的可调用对象，需要使用不同的语法，例如使用函数调用运算符 () 来调用函数或函数指针，使用成员访问运算符 -> 或 . 来调用成员函数。这样的语法差异导致了代码的冗余和不一致，给编写和维护代码带来了困扰。

        std::invoke 是 C++17标准库中引入的一个函数模板，它的引入就是为了解决这个问题，它提供了一种统一的调用语法，无论是调用普通函数、函数指针、类成员函数指针、仿函数、std::function、类成员还是lambda表达式，都可以使用相同的方式进行调用。

        std::invoke 的语法如下：

template <typename Fn, typename... Args>
decltype(auto) invoke(Fn&& fn, Args&&... args);

它接受一个可调用对象 fn 和相应的参数 args...，并返回调用结果。例如：

#include <functional>
#include <iostream>
#include <type_traits>struct Foo
{Foo(int num) : num_(num) {}void print_add(int i) const { std::cout << num_ + i << '\n'; }int num_;
};void print_num(int i)
{std::cout << i << '\n';
}struct PrintNum
{void operator()(int i) const{std::cout << i << '\n';}
};int main()
{// 调用自由函数std::invoke(print_num, -9);// 调用 lambdastd::invoke([]() { print_num(42); });// 调用成员函数const Foo foo(314159);std::invoke(&Foo::print_add, foo, 1);// 调用（访问）数据成员std::cout << "num_：" << std::invoke(&Foo::num_, foo) << '\n';// 调用函数对象std::invoke(PrintNum(), 18);#if defined(__cpp_lib_invoke_r)auto add = [](int x, int y) { return x + y; };auto ret = std::invoke_r<float>(add, 11, 22);static_assert(std::is_same<decltype(ret), float>());std::cout << ret << '\n';std::invoke_r<void>(print_num, 44);
#endif
}

可能的输出：

-9
42
314160
num_：314159
18
33
44

        通过 std::invoke，我们可以在不关心可调用对象的具体类型的情况下进行调用，提高了代码的灵活性和可读性。它尤其适用于泛型编程中需要以统一方式调用各种可调用对象的场景，例如使用函数指针或成员函数指针作为模板参数的算法或容器等。

2.辅助类

        阅读后面的内容，你必须事先了解以下内容：

        1.constexpr

        2.std::is_base_of_v

        3.std::remove_cv_t

        4.std::ref和std::cref

        5.std::is_member_function_pointer

        6.std::is_member_object_pointer_v

        7.左值和右值

3.原理分析

        从上面的例子我们可以猜想，std::invoke的实现应该是根据传入的参数Fn来判断出Fn是否为可调用对象(Callable)，常见的可调用对象有：

  • function 
  • member function
  • function object
  • lambda expression
  • bind expression
  • std::function

如果是可调用对象，那肯定也需要分析出是那种可调用对象，C++涉及到的可调用对象有：

        1.普通函数，保证了对C的兼容。如：void  func(int x, int y);

        2.函数指针。和数组名一样，函数名即为函数指针。如：

	typedef void(*FType)(int); //定义一个函数指针类型Ftypevoid func(FType fn, int x) {fn(x);}

        3.类成员变量和成员函数

	class CTestabcd{public:inline int func(int a, int b) { return a + b; }public:int  m_i;};using TestFunc = int (CTestabcd::*)(int, int);using TestMember = int(CTestabcd::*);TestFunc gTestFunc = &CTestabcd::func;TestMember gTestMember = &CTestabcd::m_i;

        4.仿函数(函数对象)，即重载了operator()运算符的类对象，如：

    template <class _Ty = void>struct less {_CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty _FIRST_ARGUMENT_TYPE_NAME;_CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef _Ty _SECOND_ARGUMENT_TYPE_NAME;_CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef bool _RESULT_TYPE_NAME;_NODISCARD constexpr bool operator()(const _Ty& _Left, const _Ty& _Right) const {return _Left < _Right;}};

        std::bind绑定，它是STL的配接器，用于创建一个可调用的对象，对象里面重载了operator()，也是运用了仿函数的思想，如: 

#include <iostream>  
#include <functional>  
#include <thread>  
#include <chrono>  
#include <vector>  
#include <algorithm>  void print_sum(int x, int y) {  std::cout << x + y << "\n";  
}  int main() {  std::vector<int> nums = {1, 2, 3, 4, 5};  auto bound_sum = std::bind(print_sum, std::placeholders::_1, 5);  // 绑定第二个参数为 5。  std::for_each(nums.begin(), nums.end(), bound_sum);  // 对于每个元素，输出它与 5 的和。  return 0;  
}

        5.lambda表达式，如：

auto f = [] { return "hello world"; }; 
cout << f() << endl; // 输出：hello world

        6.std::function, 如：

#include <iostream>
#include <functional>// std::function
std::function<int(int, int)> SumFunction;// 普通函数
int func_sum(int a, int b)
{return a + b;
}class Calcu
{
public:int base = 20;// 类的成员方法，参数包含this指针int class_func_sum(const int a, const int b) const { return this->base + a + b; };// 类的静态成员方法，不包含this指针static int class_static_func_sum(const int a, const int b) { return a + b; };
};// 仿函数
class ImitateAdd
{
public:int operator()(const int a, const int b) const { return a + b; };
};// lambda函数
auto lambda_func_sum = [](int a, int b) -> int { return a + b; };// 函数指针
int (*func_pointer)(int, int);int main(void) 
{int x = 2; int y = 5;// 普通函数SumFunction = func_sum;int sum = SumFunction(x, y);std::cout << "func_sum：" << sum << std::endl;// 类成员函数Calcu obj;SumFunction = std::bind(&Calcu::class_func_sum, obj, std::placeholders::_1, std::placeholders::_2); // 绑定this对象sum = SumFunction(x, y);std::cout << "Calcu::class_func_sum：" << sum << std::endl;// 类静态函数SumFunction = Calcu::class_static_func_sum;sum = SumFunction(x, y);std::cout << "Calcu::class_static_func_sum：" << sum << std::endl;// lambda函数SumFunction = lambda_func_sum;sum = SumFunction(x, y);std::cout << "lambda_func_sum：" << sum << std::endl;// 带捕获的lambda函数int base = 10;auto lambda_func_with_capture_sum = [&base](int x, int y)->int { return x + y + base; };SumFunction = lambda_func_with_capture_sum;sum = SumFunction(x, y);std::cout << "lambda_func_with_capture_sum：" << sum << std::endl;// 仿函数ImitateAdd imitate;SumFunction = imitate;sum = SumFunction(x, y);std::cout << "imitate func：" << sum << std::endl;// 函数指针func_pointer = func_sum;SumFunction = func_pointer;sum = SumFunction(x, y);std::cout << "function pointer：" << sum << std::endl;getchar();return 0;
}

        通过上面的讲解，那我们看看std::invoke是不是这样去判断的呢？(以vs2019为蓝本)，先看看源码：

//[1]函数没有参数的调用方式
template <class _Callable>
_CONSTEXPR17 auto invoke(_Callable&& _Obj) noexcept(noexcept(static_cast<_Callable&&>(_Obj)()))-> decltype(static_cast<_Callable&&>(_Obj)()) {return static_cast<_Callable&&>(_Obj)();
}//[2]除1之外的其他调用方式
template <class _Callable, class _Ty1, class... _Types2>
_CONSTEXPR17 auto invoke(_Callable&& _Obj, _Ty1&& _Arg1, _Types2&&... _Args2) noexcept(noexcept(_Invoker1<_Callable, _Ty1>::_Call(static_cast<_Callable&&>(_Obj), static_cast<_Ty1&&>(_Arg1), static_cast<_Types2&&>(_Args2)...)))-> decltype(_Invoker1<_Callable, _Ty1>::_Call(static_cast<_Callable&&>(_Obj), static_cast<_Ty1&&>(_Arg1), static_cast<_Types2&&>(_Args2)...)) {if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Functor) {return static_cast<_Callable&&>(_Obj)(static_cast<_Ty1&&>(_Arg1), static_cast<_Types2&&>(_Args2)...);} else if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmf_object) {return (static_cast<_Ty1&&>(_Arg1).*_Obj)(static_cast<_Types2&&>(_Args2)...);} else if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmf_refwrap) {return (_Arg1.get().*_Obj)(static_cast<_Types2&&>(_Args2)...);} else if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmf_pointer) {return ((*static_cast<_Ty1&&>(_Arg1)).*_Obj)(static_cast<_Types2&&>(_Args2)...);} else if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmd_object) {return static_cast<_Ty1&&>(_Arg1).*_Obj;} else if constexpr (_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmd_refwrap) {return _Arg1.get().*_Obj;} else {static_assert(_Invoker1<_Callable, _Ty1>::_Strategy == _Invoker_strategy::_Pmd_pointer, "bug in invoke");return (*static_cast<_Ty1&&>(_Arg1)).*_Obj;}
}

从上面的代码可以看到，传入参数 _Obj 的型别判断是通过类 _Invoker1 萃取出来的，那现在来看一下_Invoker1的庐山真面目吧：

//【1】
template <class _Callable, class _Ty1, class _Removed_cvref = _Remove_cvref_t<_Callable>,bool _Is_pmf = is_member_function_pointer_v<_Removed_cvref>,bool _Is_pmd = is_member_object_pointer_v<_Removed_cvref>>
struct _Invoker1;//【2】
template <class _Callable, class _Ty1, class _Removed_cvref>
struct _Invoker1<_Callable, _Ty1, _Removed_cvref, true, false>: conditional_t<is_base_of_v<typename _Is_memfunptr<_Removed_cvref>::_Class_type, remove_reference_t<_Ty1>>,_Invoker_pmf_object,conditional_t<_Is_specialization_v<_Remove_cvref_t<_Ty1>, reference_wrapper>, _Invoker_pmf_refwrap,_Invoker_pmf_pointer>> {}; // pointer to member function//【3】
template <class _Callable, class _Ty1, class _Removed_cvref>
struct _Invoker1<_Callable, _Ty1, _Removed_cvref, false, true>: conditional_t<is_base_of_v<typename _Is_member_object_pointer<_Removed_cvref>::_Class_type, remove_reference_t<_Ty1>>,_Invoker_pmd_object,conditional_t<_Is_specialization_v<_Remove_cvref_t<_Ty1>, reference_wrapper>, _Invoker_pmd_refwrap,_Invoker_pmd_pointer>> {}; // pointer to member data//【4】
template <class _Callable, class _Ty1, class _Removed_cvref>
struct _Invoker1<_Callable, _Ty1, _Removed_cvref, false, false> : _Invoker_functor {};

1）在【1】处通过 is_member_function_pointer_v 判断是类成员函数指针，通过 is_member_object_pointer_v 判断是类成员变量

2）在【2】处指示的的是类成员函数指针，判断参数_Arg1是否为reference_wrapper类型的，即是传入对象添加了std::ref或std::cref包装。

3）在【3】处指示的是类成员变量指针，判断参数_Arg1是否为reference_wrapper类型的，即是传入对象添加了std::ref或std::cref包装。

4）在【4】处指示的是除【2】，【3】之外的函数。

型别推导出的类型有：

enum class _Invoker_strategy {_Functor,   //普通函数，仿函数，lamdba表达式, std::function等_Pmf_object, //类成员函数，传递的是对象_Pmf_refwrap, //类成员函数，传递的是用std::ref或std::cref包装了的对象_Pmf_pointer, //类成员函数，传递的是对象的指针_Pmd_object,  //类成员变量，传递的是对象_Pmd_refwrap, //类成员变量，传递的是用std::ref或std::cref包装了的对象_Pmd_pointer  //类成员变量，传递的是对象的指针
};

至此，std::invoke的实现原理很清晰了吧。

4.总结

        std::invoke用起来是十分的方便，方便的背后是系统帮你做了很多影藏的东西。也同样看出，C++的模版是多么的强大。如果喜欢就快去使用吧！

        喜欢的同学点赞收藏呗！

参考：std::invoke, std::invoke_r - cppreference.com

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/714348.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

二维码门楼牌管理系统技术服务的深度解析

二维码门楼牌管理系统技术服务的深度解析

文章目录 前言一、标准地址名称的定义与重要性二、二维码门楼牌管理系统的核心技术三、标准地址名称在二维码门楼牌管理中的应用四、二维码门楼牌管理系统的优势与挑战五、展望未来 前言 在数字化浪潮中&#xff0c;二维码门楼牌管理系统以其高效、便捷的特性&#xff0c;正逐…
阅读更多...
【一】【算法分析与设计】基础测试

【一】【算法分析与设计】基础测试

排列式 题目描述 7254是一个不寻常的数&#xff0c;因为它可以表示为7254 39 x 186&#xff0c;这个式子中1~9每个数字正好出现一次 输出所有这样的不同的式子&#xff08;乘数交换被认为是相同的式子&#xff09; 结果小的先输出&#xff1b;结果相同的&#xff0c;较小的乘…
阅读更多...
js 实战小案例

js 实战小案例

实战 时间 js 格式化时间 <script type"text/javascript">function formatDate(date) { let year date.getFullYear(); let month String(date.getMonth() 1).padStart(2, 0); // getMonth() 返回的月份是从0开始的&#xff0c;所以要加1&#xff0c;并…
阅读更多...
【go从入门到精通】go包，内置类型和初始化顺序

【go从入门到精通】go包，内置类型和初始化顺序

大家好&#xff0c;这是我给大家准备的新的一期专栏&#xff0c;专门讲golang&#xff0c;从入门到精通各种框架和中间件&#xff0c;工具类库&#xff0c;希望对go有兴趣的同学可以订阅此专栏。 go基础 。 Go文件名&#xff1a; 所有的go源码都是以 ".go" 结尾&…
阅读更多...
Mamba 环境安装：causal-conv1d和mamba-ssm报错解决办法

Mamba 环境安装：causal-conv1d和mamba-ssm报错解决办法

问题描述&#xff1a; 在执行命令 pip install causal_conv1d 和 mamba_ssm 出错&#xff1a; 解决方案&#xff1a; 1、使用网友配置好的Docker环境&#xff0c;参考&#xff1a;解决causal_conv1d和mamba_ssm无法安装 -&#xff1e; 直接使用Mamba基础环境docker镜像 DockH…
阅读更多...
java实现图片转pdf，并通过流的方式进行下载（前后端分离）

java实现图片转pdf，并通过流的方式进行下载（前后端分离）

首先需要导入相关依赖&#xff0c;由于具体依赖本人也不是记得很清楚了&#xff0c;所以简短的说一下。 iText&#xff1a;PDF 操作库&#xff0c;用于创建和操作 PDF 文件。可通过 Maven 或 Gradle 引入 iText 依赖。 MultipartFile&#xff1a;Spring 框架中处理文件上传的类…
阅读更多...
一台工控机的能量

一台工控机的能量

使用Docker搭建EPICS的IOC记录 Zstack EPICS Archiver在小课题组的使用经验 以前电子枪调试&#xff0c;用一台工控机跑起束测后台&#xff0c;这次新光源用的电子枪加工回来又是测试&#xff0c;又是用一台工控机做起重复的事&#xff0c;不过生命在于折腾&#xff0c;重复的…
阅读更多...
stm32——hal库学习笔记(IIC)

stm32——hal库学习笔记(IIC)

一、IIC总线协议介绍&#xff08;掌握&#xff09; 二、AT24C02介绍&#xff08;了解&#xff09; 三、AT24C02读写时序&#xff08;掌握&#xff09; 四、AT24C02驱动步骤&#xff08;掌握&#xff09; 五、编程实战&#xff08;掌握&#xff09; myiic.c #include "./B…
阅读更多...
汽车虚拟仿真技术的实现、应用和未来

汽车虚拟仿真技术的实现、应用和未来

汽车虚拟仿真技术是一种利用计算机模拟汽车运行的技术&#xff0c;以实现对汽车行为的分析、评估和改进。汽车虚拟仿真技术是汽车工业中重要的开发设计和测试工具&#xff0c;可以大大缩短产品研发周期、降低研发成本和提高产品质量。本文将从汽车虚拟仿真技术的实现过程、应用…
阅读更多...
Ubuntu18.04 系统上配置并运行SuperGluePretrainedNetwork（仅使用CPU）

Ubuntu18.04 系统上配置并运行SuperGluePretrainedNetwork（仅使用CPU）

SuperGlue是Magic Leap在CVPR 2020上展示的研究项目&#xff0c;它是一个图神经网络&#xff08;Graph Neural Network&#xff09;和最优匹配层&#xff08;Optimal Matching layer&#xff09;的结合&#xff0c;训练用于对两组稀疏图像特征进行匹配。这个项目提供了PyTorch代…
阅读更多...
前端的文字的字体应该如何设置

前端的文字的字体应该如何设置

要设置文字的字体&#xff0c;在CSS中使用font-family属性。这个属性可以接受一个或多个字体名称作为其值&#xff0c;浏览器会按照列表中的顺序尝试使用这些字体渲染文本。如果第一个字体不可用&#xff0c;浏览器会尝试使用列表中的下一个字体&#xff0c;依此类推。 字体设…
阅读更多...
iOS消息发送流程

iOS消息发送流程

Objc的方法调用基于消息发送机制。即Objc中的方法调用&#xff0c;在底层实际都是通过调用objc_msgSend方法向对象消息发送消息来实现的。在iOS中&#xff0c; 实例对象的方法主要存储在类的方法列表中&#xff0c;类方法则是主要存储在原类中。 向对象发送消息&#xff0c;核心…
阅读更多...
推荐一个屏幕上鼠标高亮显示的小工具

推荐一个屏幕上鼠标高亮显示的小工具

在视频录制等特定场景下&#xff0c;很多人希望在点击鼠标时能够在屏幕上及时进行显示&#xff0c;便于别人发现&#xff0c;提高别人的注意力。 因此&#xff0c;很多录屏软件中都内含显示鼠标点击功能。那如果不支持该怎么办呢&#xff1f;其实&#xff0c;也是可以通过其他工…
阅读更多...
Python 实现Excel自动化办公（上）

Python 实现Excel自动化办公（上）

在Python 中你要针对某个对象进行操作&#xff0c;是需要安装与其对应的第三方库的&#xff0c;这里对于Excel 也不例外&#xff0c;它也有对应的第三方库&#xff0c;即xlrd 库。 什么是xlrd库 Python 操作Excel 主要用到xlrd和xlwt这两个库&#xff0c;即xlrd是读Excel &am…
阅读更多...
算法刷题day20：二分系列

算法刷题day20：二分系列

目录 引言概念一、借教室二、分巧克力三、管道四、技能升级五、冶炼金属六、数的范围七、最佳牛围栏 引言 这几天一直在做二分的题&#xff0c;都是上了难度的题目&#xff0c;本来以为自己的二分水平已经非常熟悉了&#xff0c;没想到还是糊涂了一两天才重新想清楚&#xff0…
阅读更多...
基于YOLOv8/YOLOv7/YOLOv6/YOLOv5的口罩识别系统（Python+PySide6界面+训练代码）

基于YOLOv8/YOLOv7/YOLOv6/YOLOv5的口罩识别系统（Python+PySide6界面+训练代码）

摘要&#xff1a;开发口罩识别系统对于提升公共卫生安全和疫情防控具有重要意义。本篇博客详细介绍了如何利用深度学习构建一个口罩识别系统&#xff0c;并提供了完整的实现代码。该系统基于强大的YOLOv8算法&#xff0c;并结合了YOLOv7、YOLOv6、YOLOv5的对比&#xff0c;给出…
阅读更多...
Linux：syslog()的使用和示例

Linux：syslog()的使用和示例

man手册 命令行man openlog即可查看;写的非常详细&#xff0c;看完其实就懂了。 NAME closelog, openlog, syslog, vsyslog - send messages to the system logger SYNOPSIS #include <syslog.h> void openlog(const char *ident, int option, int facili…
阅读更多...
刷题笔记day27-回溯算法2

刷题笔记day27-回溯算法2

216. 组合总和 III 这个思路还是&#xff0c;三部曲&#xff1a; 终止条件处理单层节点回溯节点 题中说的是&#xff0c;1到9的数&#xff0c;不能有重复。 k个数&#xff0c;和为n。 那么只要 len(path) k 的时候&#xff0c;判断 n 为0&#xff0c;就可以入切片了。 fun…
阅读更多...
如何更好的引导大语言模型进行编程的高效开发流程？

如何更好的引导大语言模型进行编程的高效开发流程？

这张图片展示了一种如何更好地引导大语言模型进行编程的方法。 首先&#xff0c;最简单也是最有效的方法是让大语言模型重复运行多次&#xff0c;每次增加一些额外的信息&#xff0c;直到获得想要的结果。这种方法虽然简单&#xff0c;但可能需要多次尝试才能得到满意的结果。…
阅读更多...
2024绿色能源、城市规划与环境国际会议(ICGESCE 2024)

2024绿色能源、城市规划与环境国际会议(ICGESCE 2024)

2024绿色能源、城市规划与环境国际会议(ICGESCE 2024) 一、【会议简介】 随着全球气候变化和环境问题日益严重&#xff0c;绿色能源和可持续发展已成为全球关注的焦点。本次会议旨在汇聚全球在绿色能源、城市规划与环境领域的专家、学者和实践者&#xff0c;共同探讨和分享关于…
阅读更多...
最新文章

Copyright @ 2022~2023