[C++11] 包装器 : function 与 bind 的原理及使用


文章目录

  • `function`
    • `std::function` 的基本语法
    • 使用 `std::function` 包装不同的可调用对象
    • `function`包装普通成员函数为什么要传入 `this` 指针参数?
      • 传入对象指针与传入对象实例的区别
    • 例题 :150. 逆波兰表达式求值 - ⼒扣(LeetCode)
  • `bind`
    • `std::bind` 的基本语法
    • `std::bind` 参数的顺序调整与绑定
      • 顺序调整
      • 参数的绑定
  • `std::function` 和 `std::bind` 的实际应用
      • 结论

function

std::function 是⼀个类模板,也是一个通用的、多态函数包装器,用于存储可调用对象。函数指针、仿函数、 lambda 等可调⽤对象的类型各不相同,<font style="color:rgb(31,35,41);">std::function</font>的优势就是统⼀类型,对他们都可以进⾏包装,这样在很多地⽅就⽅便声明可调⽤对象的类型。

<font style="color:rgb(31,35,41);">std::function</font> 的实例对象可以包装存储其他的可以调⽤对象,包括函数指针、仿函数、 lambda 、 bind 表达式等,存储的可调⽤对象被称为 std::function 的⽬标。若 std::function 不含⽬标,则称它空。调空则抛出 std::bad_function_call 异常。


<font style="color:rgb(31,35,41);">function</font>被定义<font style="color:rgb(31,35,41);"><functional></font>头⽂件中:

std::function 的基本语法

#include <functional>

template <class T>
class function; // 未定义的模板类

template <class Ret, class... Args>
class function<Ret(Args...)>; // 以返回类型和参数类型列表定义模板
function<返回类型(可调用对象的参数类型1,参数类型2...)>  对象 = 可调用对象;
// int add(int a, int b)
// function<int(int, int)> func1 = add;

使用 std::function 包装不同的可调用对象

以下示例展示了 std::function 包装普通函数、仿函数、lambda 表达式、类静态成员函数和普通成员函数的用法。

#include<functional>
#include<iostream>
using namespace std;

int f(int a, int b)
{
	return a + b;
}

struct Functor
{
public:
	int operator() (int a, int b)
	{
		return a + b;
	}

};

class Plus
{
public:
	Plus(int n = 10)
		:_n(n)
	{}

	static int plusi(int a, int b)
	{
		return a + b;
	}

	double plusd(double a, double b)
	{
		return (a + b) * _n;
	}

private:
	int _n = 0;
};

int main()
{
	// 包装各种可调⽤对象
	function<int(int, int)> f1 = f; // 普通函数
	function<int(int, int)> f2 = Functor(); // 仿函数
	function<int(int, int)> f3 = [](int a, int b) {return a + b; }; // lambda

	cout << f1(1, 1) << endl;
	cout << f2(1, 1) << endl;
	cout << f3(1, 1) << endl;

	// 包装静态成员函数
	// 成员函数要指定类域并且前⾯加&才能获取地址
	function<int(int, int)> f4 = &Plus::plusi;
	cout << f4(1, 1) << endl;

	// 包装普通成员函数
	// 普通成员函数还有⼀个隐含的 this 指针参数,所以绑定时传对象或者对象的指针过去都可以
	function<double(Plus*, double, double)> f5 = &Plus::plusd;
	Plus pd;
	cout << f5(&pd, 1.1, 1.1) << endl;

	function<double(Plus, double, double)> f6 = &Plus::plusd;
	cout << f6(pd, 1.1, 1.1) << endl;
	cout << f6(pd, 1.1, 1.1) << endl;

	function<double(Plus&&, double, double)> f7 = &Plus::plusd;
	cout << f7(move(pd), 1.1, 1.1) << endl;
	cout << f7(Plus(), 1.1, 1.1) << endl;

	return 0;
}

在C++中,普通成员函数的调用与静态成员函数或普通的非成员函数不同,因为它隐含了一个 this 指针参数。这是由于普通成员函数总是绑定到某个对象实例,因此在调用时需要知道具体是哪个对象调用了该函数。

function包装普通成员函数为什么要传入 this 指针参数?

当我们使用 std::function 来包装普通成员函数时,普通成员函数的签名实际上是:

ReturnType (ClassType::*)(ParamTypes...)

这个签名表示该成员函数属于特定的类,因此它并不完全等同于普通函数。每个普通成员函数的调用实际上是通过一个特定的对象调用的,而对象的地址(this 指针)在函数调用时必须传入。

在普通成员函数的调用中:

  • this 指针作为隐式参数,指向调用函数的对象实例。
  • std::function 包装这种成员函数时需要显式地传入 this 指针,以便知道调用时该成员函数应该作用于哪个对象实例。

例如,假设有如下成员函数:

double Plus::plusd(double a, double b) {
    return a + b;
}

在使用 std::function 包装时,由于 plusd 是非静态成员函数,需要显式传入一个 Plus 实例(对象)或该实例的指针作为 this。可以通过传入对象指针 Plus*,或者直接传递一个对象实例 Plus 来间接实现这种绑定。

传入对象指针与传入对象实例的区别

  1. 传入对象指针(例如 Plus*:这种情况下,std::function 会调用成员函数时使用传入的指针来绑定 this。先创建一个Plus实例,然后传入该实例的地址。
function<double(Plus*, double, double)> f5 = &Plus::plusd;
Plus pd;
f5(&pd, 1.1, 1.1);

在这里,f5(&pd, 1.1, 1.1); 调用时,&pd 指向的对象作为 this 指针传入。

  1. 传入对象实例(例如 Plus:当传入一个对象时,C++ 会复制这个对象并为其分配一个独立的内存空间,然后将其临时地址传给 this,使得 this 指向该副本。
function<double(Plus, double, double)> f6 = &Plus::plusd;
Plus pd;
f6(pd, 1.1, 1.1);

这样,调用 f6(pd, 1.1, 1.1); 会将对象 pd 复制一份传入,使得成员函数 plusdthis 指针指向该副本。

传入对象实例的优缺点:

  • 优点:传入对象实例更加直观,代码上不需要关注指针。
  • 缺点:会产生对象的拷贝(除非对象使用 std::move),因此可能有额外的开销。如果对象较大或者包含较多成员变量,拷贝代价较高。
  1. **直接传入一个匿名对象:**减少拷贝次数
function<double(Plus, double, double)> f6 = &Plus::plusd;
f6(Plus(), 1.1, 1.1);

当我们使用 Plus() 作为匿名对象传入时:

  • 匿名对象在调用的那一行直接生成,不需要从其他地方复制数据。
  • std::function 中的 f6 会直接使用这个匿名对象,临时对象的生命周期刚好覆盖整个调用过程,调用结束后立即销毁。

这样做可以在保证代码清晰的同时避免多余的拷贝。所以,传入 Plus() 是一种优化写法,尤其适合对象初始化开销较大、但不需要持续存在的情况。

所以在包装匿名对象时一般推荐使用该种方法。

例题 :150. 逆波兰表达式求值 - ⼒扣(LeetCode)

. - 力扣(LeetCode)

// 使⽤map映射string和function的⽅式实现
// 这种⽅式的最⼤优势之⼀是⽅便扩展,假设还有其他运算,我们增加map中的映射即可
class Solution {
public:
    int evalRPN(vector<string>& tokens) 
    {
        stack<int> st;

        // Fixing the map initialization
        map<string, function<int(int, int)>> opFuncMap = {
            {"+", [](int x, int y){ return x + y; }},
            {"-", [](int x, int y){ return x - y; }},
            {"*", [](int x, int y){ return x * y; }},
            {"/", [](int x, int y){ return x / y; }}
        };

        for(auto str : tokens)
        {
            if(opFuncMap.count(str))
            {
                int top = st.top();
                st.pop();
                int next_top = st.top();
                st.pop();

                int ret = opFuncMap[str](next_top, top);
                st.push(ret);
            }
            else // Handling operand case
            {
                st.push(stoi(str));
            }
        }

        return st.top();
    }
};

<font style="color:rgb(31,35,41);">bind</font>

bind<functional>头文件中,std::bindfunction类似,也是⼀个函数模板,同时是一个函数适配器,用于将可调用对象的参数进行绑定或者参数顺序的调整,返回一个新的可调用对象(本质是一个仿函数对象)。

std::bind 可以调整原有函数的参数个数和顺序,适配更为灵活的调用方式。它广泛用于实现函数的“占位符”特性和简化代码的参数传递。

#include <functional>

template <class Fn, class... Args>
/* unspecified */ bind (Fn&& fn, Args&&... args);

std::bind 的基本语法

auto newCallable = bind(callable,arg_list); 
// newCallable 为绑定后的可调用对象 类型由 auto 推导
// callable 是要进行绑定或者进行调整参数传递顺序的函数
// arg_list 是 callable 进行具体调整的参数列表(可以包括占位符或绑死的参数)

其中<font style="color:rgb(31,35,41);">newCallable</font>本⾝是⼀个可调⽤对象,<font style="color:rgb(31,35,41);">arg_list</font>是⼀个逗号分隔的参数列表,对应给定的<font style="color:rgb(31,35,41);">callable</font>的参数。当我们调⽤<font style="color:rgb(31,35,41);">newCallable</font>时,<font style="color:rgb(31,35,41);">newCallable</font>会调⽤<font style="color:rgb(31,35,41);">callable</font>,并传给它<font style="color:rgb(31,35,41);">arg_list</font>中的参数。

std::bind 参数的顺序调整与绑定

顺序调整

std::bind 中,通过 placeholders 命名空间可以使用 _1_2 等占位符表示绑定的函数参数。

using namespace placeholders; // 将占位符全部展开

这些占位符用于定义生成的可调用对象中参数的位置,例如 _1 表示第一个参数, _2 表示第二个参数,以此类推。

using placeholders::_1;
using placeholders::_2;
// using placeholders::_3;

int Sub(int a, int b)
{
	return (a - b) * 10;
}

auto sub1 = bind(Sub, _1, _2); 
// 传入Sub函数,_1 _2表示使用新的可调用对象sub1时传入的第一个和第二个参数
cout << sub1(10, 5) << endl; // Sub(10, 5);

auto sub2 = bind(Sub, _2, _1); 
// 传入Sub函数,_1 _2表示使用新的可调用对象sub1时传入的第二个和第一个参数
cout << sub2(10, 5) << endl; // Sub(5, 10);

参数的绑定

如果想让某个参数的值进行绑定,就在该参数位置上传入值即可,之后如果有传入参数需要可以继续按照占位符当前个数继续进行填写。 **_1, _2 ...**仅表示绑定后的新可调用对象传入的参数及顺序。

// 调整参数个数 (常⽤)
auto sub3 = bind(Sub, 100, _1);
cout << sub3(5) << endl;

auto sub4 = bind(Sub, _1, 100);
cout << sub4(5) << endl;

// 分别绑死第1 2 3个参数
auto sub5 = bind(SubX, 100, _1, _2);
cout << sub5(5, 1) << endl;
auto sub6 = bind(SubX, _1, 100, _2);
cout << sub6(5, 1) << endl;
auto sub7 = bind(SubX, _1, _2, 100);
cout << sub7(5, 1) << endl;

// function<返回值类型(传入的各个参数类型 ,...)>
// 成员函数对象进⾏绑死,就不需要每次都传递了
function<double(Plus&&, double, double)> f6 = &Plus::plusd;
Plus pd;
cout << f6(move(pd), 1.1, 1.1) << endl;
cout << f6(Plus(), 1.1, 1.1) << endl;

// 可以利用 bind 绑死function需要包装的函数,将Plus::plusd函数包装后要传入的this部分绑死
function<double(double, double)> f7 = bind(&Plus::plusd, Plus(), _1, _2);
cout << f7(1.1, 1.1) << endl;

std::functionstd::bind 的实际应用

  1. 函数指针和回调函数

std::functionstd::bind 的组合可以让回调函数的参数更具灵活性。例如,在实现事件回调时可以使用 std::function 存储回调函数,并用 std::bind 将具体参数与回调绑定。

  1. 函数作为容器的元素

在需要存储不同类型的可调用对象的容器中,使用 std::function 是一个最佳选择。利用 std::function 可以将不同类型的函数包装在一个容器中统一存储,并在需要时调用。

  1. 参数绑定和延迟调用

std::bind 可以用于创建参数部分固定的函数对象,从而减少函数调用时的参数传递。这种方式在处理回调和异步编程中非常有用。


结论

C++11 提供的 std::functionstd::bind 为现代 C++ 编程带来了极大的便利。std::function 允许将不同类型的可调用对象进行统一存储和操作,简化了代码结构。而 std::bind 则可以灵活地调整函数参数和调用方式,为开发者提供了高效、简洁的代码编写方式。在日常开发中,合理运用这两个包装器可以显著提高代码的可读性和可维护性。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

设计模式(主要的五种)

1.设计模式&#xff1a; 设计模式就是代码设计经验 2.设计模式的类型&#xff1a; 分为三大类&#xff1a;创建型模式&#xff0c;结构型模式&#xff0c;行为模式 创建型模式&#xff1a; 单例模式&#xff1a;某个类只能有一个实例&#xff0c;提供一个全局的访问点。 工…

Wireshark中的length栏位

注&#xff1a;Ethernet II的最小data length为46&#xff0c;如果小于&#xff0c;会补全到46. 1.指定网卡抓取的&#xff0c;链路为ethernet。 IPv4 Ethernet II 长度为 14 bytes - L1ipv4 header中的length包括header和payload的总长度 - L2wireshark中length表示抓取的pac…

Java线程池浅谈(创建线程池及线程池任务处理)

1-认识线程池 什么是线程池&#xff1f; 线程池就是一个可以复用线程的技术。 不使用线程池的问题 比方说淘宝&#xff0c;不使用线程池&#xff0c;现在有一亿个线程同时进来&#xff0c;CPU就爆了。用户每发起一个请求&#xff0c;后台就需要创建一个新线程来处理&#xf…

缓冲区溢出,数据被踩的案例学习

继续在ubuntu上学习GDB&#xff0c;今天要学习的是缓冲区溢出。 程序的地址&#xff1a; GitHub - gedulab/gebypass: bypass password by heap buffer overflow 编译的方法&#xff1a; gcc -g -O2 -o gebypass gebypass.c 照例设置一下科学shangwang代理&#xff1a; e…

GoogleCloud服务器的SSH连接配置

首先&#xff0c;Google的服务器默认是通过自带的SSH网页端连接的&#xff0c;比较麻烦和容易断开&#xff0c;不是很好用&#xff0c;常见的解决办法有两种一种是通过修改ssh的配置&#xff0c;添加密码的方式进行连接&#xff0c;一种是通过配置公钥进行连接。 密码连接之前有…

万字长文解读深度学习——ViT、ViLT、DiT

文章目录 &#x1f33a;深度学习面试八股汇总&#x1f33a;ViT1. ViT的基本概念2. ViT的结构与工作流程1. 图像分块&#xff08;Image Patch Tokenization&#xff09;2. 位置编码&#xff08;Positional Encoding&#xff09;3. Transformer 编码器&#xff08;Transformer En…

MQ集群

目录 MQ集群 集群分类 普通集群 集群结构和特征 集群的部署 获取cookie 准备集群配置 启动集群 镜像模式 镜像模式的特征 镜像模式的配置 exactly模式 仲裁队列 集群特征仲裁队列&#xff1a;仲裁队列是3.8版本以后才有的新功能&#xff0c;用来替代镜像队列&#…

零基础Java第十七期:内部类

目录 一、Object类 1.1. 获取对象信息 1.2. 对象比较equals方法 1.3. hashCode方法 ​编辑 二、内部类 一、Object类 1.1. 获取对象信息 Object是Java默认提供的一个类。Java里面除了Object类&#xff0c;所有的类都是存在继承关系的。默认会继承Object父 类。即所有…

Docker 篇-Docker 详细安装、了解和使用 Docker 核心功能(数据卷、自定义镜像 Dockerfile、网络)

&#x1f525;博客主页&#xff1a; 【小扳_-CSDN博客】 ❤感谢大家点赞&#x1f44d;收藏⭐评论✍ 文章目录 1.0 Docker 概述 1.1 Docker 主要组成部分 1.2 Docker 安装 2.0 Docker 常见命令 2.1 常见的命令介绍 2.2 常见的命令演示 3.0 数据卷 3.1 数据卷常见的命令 3.2 常见…

GitCode光引计划有奖征文大赛

一、活动介绍 GitCode平台汇聚了众多杰出的G-Star项目&#xff0c;它们犹如璀璨星辰&#xff0c;用各自的故事和成就&#xff0c;为后来者照亮前行的道路。我们诚邀广大开发者、项目维护者及爱好者&#xff0c;共同撰写并分享项目在GitCode平台上托管的体验&#xff0c;挖掘平…

什么是CRM系统?

越来越多的企业意识到&#xff1a;如何有效管理与客户的关系、提升客户满意度&#xff0c;并通过这些提升推动销售增长&#xff0c;已经成为许多公司亟待解决的问题。为此&#xff0c;客户关系管理&#xff08;Customer Relationship Management&#xff0c;简称CRM&#xff09…

ctfshow DSBCTF web部分wp

ctfshow 单身杯 web部分wp web 签到好玩的PHP 源码&#xff1a; <?php error_reporting(0); highlight_file(__FILE__);class ctfshow {private $d ;private $s ;private $b ;private $ctf ;public function __destruct() {$this->d (string)$this->d;$this…

不一样的CSS(一)

目录 前言&#xff1a; 一、规则图形 1.介绍&#xff1a; 2.正方形与长方形&#xff08;实心与空心&#xff09; 2.1正方形&#xff1a; 2.2长方形 3.圆形与椭圆形&#xff08;空心与实心&#xff09; 3.1圆形与椭圆形 4.不同方向的三角形 4.1原理 4.2边框属性 5.四…

VUE实现点击导航栏进行切换右边内容

首先看看效果&#xff0c;左边导航栏进行切换&#xff0c;右边内容进行切换 代码如下 <div><el-tabs :tab-position"tabPosition" style"height: 800px;"><el-tab-pane label"通知通告">通知通告</el-tab-pane><el-t…

微信小程序——实现二维码扫描功能(含代码)

✅作者简介&#xff1a;2022年博客新星 第八。热爱国学的Java后端开发者&#xff0c;修心和技术同步精进。 &#x1f34e;个人主页&#xff1a;Java Fans的博客 &#x1f34a;个人信条&#xff1a;不迁怒&#xff0c;不贰过。小知识&#xff0c;大智慧。 &#x1f49e;当前专栏…

OpenGL ES 文字渲染进阶--渲染中文字体

旧文 OpenGL ES 文字渲染方式有几种? 一文中分别介绍了 OpenGL 利用 Canvas 和 FreeType 绘制文字的方法。 无论采用哪种方式进行渲染,本质上原理都是纹理贴图:将带有文字的图像上传到纹理,然后进行贴图。 渲染中文字体 利用 Canvas 绘制中文字体和绘制其他字体在操作方式上…

redis实现消息队列的几种方式

一、了解 众所周知&#xff0c;redis是我们日常开发过程中使用最多的非关系型数据库&#xff0c;也是消息中间件。实际上除了常用的rabbitmq、rocketmq、kafka消息队列&#xff08;大家自己下去研究吧~模式都是通用的&#xff09;&#xff0c;我们也能使用redis实现消息队列。…

WLAN消失或者已连接但是访问不了互联网

目录 1、WLAN已连接但是访问不了互联网 2、WLAN图标消失 今晚电脑突然连不上网了&#xff0c;重启试了好多种办法都没有用。 1、WLAN已连接但是访问不了互联网 这个的问题很多&#xff0c;建议直接网络重置&#xff0c;即将网络驱动全部删除&#xff0c;然后重新安装。 首先…

Hadoop生态圈框架部署(六)- HBase完全分布式部署

文章目录 前言一、Hbase完全分布式部署&#xff08;手动部署&#xff09;1. 下载Hbase2. 上传安装包3. 解压HBase安装包4. 配置HBase配置文件4.1 修改hbase-env.sh配置文件4.2 修改hbase-site.xml配置文件4.3 修改regionservers配置文件4.4 删除hbase中slf4j-reload4j-1.7.33.j…

【微服务】Docker 容器化

一、初识Docker 1. 为什么需要 Docker 大型项目组件较多&#xff0c;运行环境也较为复杂&#xff0c;部署时会遇到一些问题&#xff1a; 依赖关系复杂&#xff0c;容易出现兼容性的问题开发、测试、生产环境有差异 Docker 如何解决依赖的兼容问题 将应用的Libs&#xff08;…