C++11 函数对象、Lambda表达式 绑定器

news2024/11/30 2:32:02

1. 函数对象和绑定器

函数对象:

重载了operator()运算符的类的对象。

STL中的原本的绑定器:

STL中的绑定器可将二元函数对象绑定为一元函数对象。有如下示例帮助回顾:

#include <iostream>
#include <vector>
#include <functional>
#include <algorithm>
#include <ctime>
using namespace std;

template<typename Container>
void showContainer(Container& con) {
	/*为什么要加typename,
	因为Container是模板参数,编译器不知道Container::iterator是类型还是静态成员变量*/
	typename Container::iterator it = con.begin();
	for (; it != con.end(); ++it) {
		cout << *it << " ";
	}
	cout << endl;
}

int main(int argc, char** argv) {

	vector<int> vec;
	srand(time(nullptr));
	for (int i = 0; i < 20; i++) {
		vec.push_back(rand() % 100 + 1);
	}
	cout << "原始容器:" << endl;
	showContainer(vec);

	sort(vec.begin(), vec.end());  // 默认从小到大排序
	cout << "从小到大排序:" << endl;
	showContainer(vec);

    /*使用二元函数对象改变排序规则*/
	sort(vec.begin(), vec.end(), greater<int>());  // 从大到小
	cout << "从大到小排序:" << endl;
	showContainer(vec);

	/*将70插入到vec中,vec仍有序,即找第一个小于70的。
	需要一个一元函数对象接收70,但greater和less都是二元函数对象,
	绑定器 + 二元函数对象 = 一元函数对象
	greater:  a > b
	less:     a < b
	bind1st + greater: bool operator()(70, const _Ty& _Right)
	bind2nd + less:    bool operator()(const _Ty& _Right, 70)
	*/
	// 使用绑定器和二元函数对象greater找到第一个 < 70的元素迭代器
	auto it1 = find_if(vec.begin(), vec.end(), bind1st(greater<int>(), 70));
	if (it1 != vec.end()) {
		vec.insert(it1, 70);
	}
	cout << "70插入容器后:" << endl;
	showContainer(vec);

	system("pause");
	return 0;
}

运行结果:


2. function

function是C++ 11提供的函数对象,它可封装任何可调用的实体,如普通函数、成员函数、Lambda表达式、函数指针等,然后可通过它封装的对象进行函数调用。

2.1 function的使用

function使用方法:

// 需要使用函数类型实例化function,而非函数指针类型。如下:
function<函数返回值类型(形参列表)> 函数对象名 = 被封装的函数名;
// 或
function<函数返回值类型(形参列表)> 函数对象名(被封装的函数名);

示例:

void hello01() {
	cout << "Hello World!" << endl;
}

void hello02(const string& str) {
	cout << str << endl;
}

int sum(int a, int b) {  // 函数指针:int (*func)(int,int);
	return a + b;
}

class Tool {
public:
	void hello(const string& str) {  // 函数指针:void (Test::*pfunc)(string&);
		cout << str << endl;
	}
};

/*function简单使用示例:*/
void test03() {
	/*需要使用函数类型实例化function,而非函数指针类型*/
	// 1.封装普通函数
	function<void()> func01 = hello01; // 使用func01函数对象表示hello01的函数类型
	func01(); // 本质是调用func01函数对象中的operator()重载,其中包装了hello01函数
	func01.operator()();

	function<void(const string&)> func02 = hello02;
	string s = "ABC";
	func02(s);

	function<int(int, int)> func03 = &sum;
	cout << func03(10, 20) << endl;

	// 2.封装Lambda表达式
	function<int(int, int)> func04 = [](int a, int b)->int {
		return a * b;
	};
	cout << func04(6, 6) << endl;

	// 3.封装成员函数
	/*成员函数会带this指针参数,即调用它的对象的类型的指针*/
	function<void(unique_ptr<Tool>, const string&)> func05 = &Tool::hello;
	unique_ptr<Tool> p(new Tool());
	func05(std::move(p), string("func05"));  // 第二个参数是临时量,临时量可传给常量引用,但不可传给非常量引用
}

2.2 function的原理

在此之前,需要知道什么是模板特例化。

原理如下两个程序:

2.2.1 实现简单的myfunction

template<typename T>
class myfunction {};

template<typename R, typename A>
class myfunction<R(A)> {
public:
	using PFUNC = R(*)(A);
	myfunction(PFUNC pf) :_pf(pf) {
	}
	R operator()(A arg) {
		_pf(arg);
	}
private:
	PFUNC _pf;
};

void hello01(string s) {
	cout << s << endl;
}

void test06() {
	myfunction<void(string)> func01 = hello01;
	string s = "AAA";
	func01(s);  // AAA
}

但上述自己实现的function对象只能接收固定形参个数的函数。

2.2.2 使用可变参模板改进myfunction

template<typename T>
class myfunction {};

template<typename R, typename... A>  // ...表示可变参
class myfunction<R(A...)> {
public:
	using PFUNC = R(*)(A...);
	myfunction(PFUNC pf) :_pf(pf) {
	}
	R operator()(A... arg) {
		return _pf(arg...);
	}
private:
	PFUNC _pf;
};

int add(int a, int b, int c) {
	return a + b + c;
}

void say() {
	cout << "哈哈" << endl;
}

bool isIt(const char* s) {
	return s;
}

void test07() {
	myfunction<int(int, int, int)> addFunc(add);
	cout << addFunc(1, 2, 3) << endl;  // 6

	myfunction<void()> sayFunc = say;
	sayFunc();  // 哈哈

	myfunction<bool(const char*)> boolFunc(isIt);
	cout << boolFunc("000") << endl;   // 1
	cout << boolFunc(nullptr) << endl; // 0
}

改进后的myfunction就十分嚣张,返回值类型,形参列表随便传。


3. 绑定器的原理和简单实现

绑定器:将多元函数对象的个别参数提前绑定,使得多元函数对象称为低元函数对象。本质也是函数对象。

3.1 STL中find_if和bind1st的简单实现

/*自己实现find_if泛型算法*/
template<typename Iterator, typename Compare>
Iterator my_find_if(Iterator first, Iterator last, Compare comp) {
	for (; first != last; ++first) {
		if (comp(*first)) { // comp.operator()(*first)
			return first;
		}
	}
	return last;
}

/*自己实现绑定器*/
template<typename Compare, typename T>
class _mybind1st {
public:
	_mybind1st(Compare comp, T val) :_comp(comp), _val(val) {
	}
	bool operator()(const T& second) {
		return _comp(_val, second);
	}
private:
	Compare _comp;
	T _val;
};

template<typename Compare, typename T>
_mybind1st<Compare, T> mybind1st(Compare comp, const T& val) {
	// 函数模板可进行类型推导
	return _mybind1st<Compare, T>(comp, val);
}

void test02() {
	vector<int> vec2;
	vec2.push_back(5);
	vec2.push_back(3);
	vec2.push_back(9);

	// 找第一个 < 6的元素
	auto it = my_find_if(vec2.begin(), vec2.end(), mybind1st(greater<int>(), 6));
	if (it != vec2.end()) {
		cout << *it << endl;
	} else {
		cout << "没找到" << endl;
	}
}

3.2 C++ 11绑定器bind

bind是函数模板,可自动推导模板参数类型,其返回一个函数对象。

3.2.1 绑定器的简单使用

int divide(int a, int b) { 
    return a / b; 
}

class M {
public:
	int sum(int a, int b) { 
        return a + b; 
    }
};

void test08() {
    /*给普通函数绑定参数*/
	auto ret = bind(divide, 100, 50)();
	cout << ret << endl;

    /*给成员函数绑定参数*/
	cout << bind(&M::sum, M(), 5, 10)() << endl; // 15
}

注意:成员函数的调用依赖对象,因此绑定成员函数时第二个参数为临时对象,以传给sum函数,相当于M().sum(5, 10)。

3.2.2 绑定器的参数占位符

使用如下:

void speak(const char* s) {
	cout << s << endl;
}

void test09() {
	char input[64] = "";
	cin >> input;  // 输入内容
	bind(speak, placeholders::_1)(input);  // 打印内容
}

注意:(1)绑定器若使用参数占位符,则必须给其返回的函数对象的operator()运算符传入参数,让其内部传给占位参数;

           (2)最多可有20个参数占位符;

           (3)参数占位符一般是让程序运行过程中动态传递参数。


3.3 bind与function

3.2中bind的使用存在一个问题,bind调用一次,其返回的函数对象只能执行一次,若想多次使用,则可将bind返回的函数对象传给function函数对象。

如下:

void speak(const char* s) {
	cout << s << endl;
}

void test10() {
	function<void(const char*)> speakFunc = bind(speak, placeholders::_1);
	speakFunc("LLL"); // LLL
	speakFunc("UUU"); // UUU
}

4. Lambda表达式

也称为匿名函数,是一种特殊的函数对象。

4.1 Lambda表达式的语法

[捕获外部变量](形参列表)->返回值类型 {
    // 函数主体
}

/*
    1. 若返回值类型为void,则 ->void 可省略;
    
    2. [捕获外部变量]:
            [=]:值传递方式捕获外部所有变量;
            [&]:引用传递方式捕获外部所有变量;
            [this]:捕获外部this指针;
            [=, &a]:值传递方式捕获外部变量,但a以引用传递方式捕获;
            [a, b]:值传递方式捕获a,b;
            [a, &b]:值传递方式捕获a,引用传递方式捕获b
*/

4.2 Lambda表达式简单使用

4.2.1 简单使用1

输出Hello

void test() {
	auto func = []() {
		cout << "Hello" << endl;
	};
	func();  // Hello
}

作用和下面定义函数对象相同:

class TestLambda {
public:
	void operator()() {
		cout << "Hello" << endl;
	}
};

void test() {
    // 根据最短惊叹法则,写成TestLambda t1(); 则编译认为这是一个函数的声明
    TestLambda t1{};  
	t1();
}

4.2.2 简单使用2

加法运算

void test() {
	auto func = [](int a, int b)->int {
		return a + b;
	};
	cout << func(10, 20) << endl;  // 30
}

4.2.3 简单使用3 

容器排序 & 插入元素

void printVector(vector<int>& v) {
	for (int i = 0; i < v.size(); i++) {
		cout << v[i] << " ";
	}
	cout << endl;
}

void test14() {
	vector<int> v;
	for (int i = 0; i < 10; i++) {
		v.push_back(rand() % 100 + 1);
	}

	cout << "排序前:" << endl;
	printVector(v);

	/*从大到小排序*/
	sort(v.begin(), v.end(), [](int a, int b)->bool {
		return a > b;
		});
	cout << "排序后:" << endl;
	printVector(v);

	/*将66插入正确位置*/
	auto it = find_if(v.begin(), v.end(), [](int a)->bool {
		return a < 66;
		});
	v.insert(it, 66);
	cout << "插入66后:" << endl;
	printVector(v);

	/*输出大于50的数*/
	cout << "大于50的数:" << endl;
	for_each(v.begin(), v.end(), [](int a) {
		if (a > 50)
			cout << a << " ";
		});
}

运行结果:


4.3 Lambda表达式捕获外部变量

4.3.1 值传递 和 引用传递简单使用

/*值传递捕获a、b*/
void test13() {
	int a = 10, b = 20;
	auto func = [=]() {
		cout << a + b << endl;
	};
	func(); // 30
}

/*引用传递捕获a、b*/
void test13() {
	int a = 10, b = 20;
	auto func = [&]() {
		cout << a + b << endl;
	};
	func(); // 30
}

4.3.2 值传递 和 引用传递使用说明

(1)引用传递

引用传递可以直接修改外部变量的值。

void test13() {
	int a = 10, b = 20;
	auto func = [&]() {
		a = 88;
		b = 99;
	};

	func(); // 引用传递可以改变原变量的值
	cout << "a = " << a << ", b = " << b << endl; // a和b都被修改
}

(2)值传递

值传递是外部变量的一份拷贝,虽然是拷贝,但默认不允许修改拷贝过来的值

如下代码无法通过编译:

void test13() {
	int a = 10, b = 20;
	auto func = [=]() {
		a = 88; // 报错!不允许修改。
		b = 99; // 报错!不允许修改。
	};
}

若想修改拷贝而来的值,则需使用mutable关键字,如下:

void test13() {
	int a = 10, b = 20;
	auto func = [=]() mutable {
		a = 88;
		b = 99;
	};

	func(); // 值传递不改变原变量的值
	cout << "a = " << a << ", b = " << b << endl; // a和b都未被修改
}

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

「 计算机网络 」Cookie、Session、Token、JWT 原理详解

「 计算机网络 」Cookie、Session、Token、JWT 原理详解 参考&鸣谢 傻傻分不清之 Cookie、Session、Token、JWT 详解 Cookie&#xff0c;Session&#xff0c;Token 一文彻底搞懂Cookie、Session、Token到底是什么 文章目录 「 计算机网络 」Cookie、Session、Token、JWT 原…

机器学习 day13(正则化,线性回归的正则化)

正则化的思想 如果特征的参数值更小&#xff0c;那么对模型有影响的特征就越少&#xff0c;模型就越简单&#xff0c;因此就不太容易过拟合 如上图所示&#xff0c;成本函数中有W₃和W₄&#xff0c;且他们的系数很大&#xff0c;要想让该成本函数达到最小值&#xff0c;就得使…

基于PostGIS的曲线拐点计算

在这篇博文中&#xff0c;我将介绍一种查找曲线拐点的方法。 一个简单的理解方式&#xff1a;将曲线想象成我们正在行驶的道路&#xff0c;我们想要找到我们停止右转并开始左转或反之的点&#xff0c;如下所示&#xff1a; 我们将展示解决方案的草图和 PostGIS 中的实际实施。…

AR VR 到底哪种技术可以改变未来?

随着科技的不断进步&#xff0c;虚拟现实&#xff08;VR&#xff09;和增强现实&#xff08;AR&#xff09;技术已经成为了当今科技领域的热门话题。VR和AR的出现&#xff0c;为人们带来了前所未有的体验和感受&#xff0c;也为各行各业的发展提供了新的机遇。但是&#xff0c;…

MySQL学习---14、变量、定义条件和处理程序

1、变量 在MySQL数据库的存储过程和函数中&#xff0c;可以使用变量来存储查询或计算的中间结果数据&#xff0c;或者输出最终的结果数据。 在MySQL数据库中&#xff0c;变量分为&#xff1a;1、系统变量2、用户自定义变量1、系统变量 1.1.1 系统变量分类 1、变量由系统定义…

SpringCloud使用SkyWalking实现分布式链路追踪2以及Prometheus全方位监控告警系统

文章目录 一、SkyWalking链路追踪使用Elasticsearch数据库1、SkyWalking连接Elasticsearch数据库2、SkyWalking自定义链路追踪3、SkyWalking的调用日志 二、SkyWalking链路追踪的告警功能1、SkyWalking的告警规则2、SkyWalking自定义告警规则3、SkyWalking实现网络钩子Webhooks…

基于springboot+vue的校园任务订单配送管理系统

随着我国教育制度的改革的发展&#xff0c;各大高校的学生数量也在不断的增加。当前大学生的生活和消费习惯等导致他们更喜欢通过网络来获取自己想要的商品和服务&#xff0c;这也是导致当前校园配送盛行的主要原因。为了能够让更多的学生享受到校园配送的服务&#xff0c;我们…

记录一次华三交换机配置IP地址和SNMP服务的过程

一、华三交换机配置IP地址 1、将交换机的console口连接到台式机&#xff0c;然后通过XShell连接到COM口 2、进入华三交换机的系统配置界面 命令&#xff1a;system-view 示例&#xff1a;system-view 3、创建vlan。输入vlan vlan-id命令创建一个VLAN。其中&#xff0c;vlan…

FreeRTOS_移植和配置

目录 1. 什么是FreeRTOS&#xff1f; 2. FreeRTOS 特点 3. FreeRTOS 移植 3.1 验证程序 1. 什么是FreeRTOS&#xff1f; 我们先看 FreeRTOS 的名字&#xff0c;可以分成两部分&#xff1a;Free 和 RTOS&#xff0c;Free 就是免费的、自由的、不受约束的意思&#xff0c;RTO…

016-fty_crkme3

运行程序 check错误 查壳 有UPX壳&#xff0c;ESP定律脱壳 载入OD分析 搜索字符串 向上找&#xff0c;找到段首 开始分析算法 搜先判断输入是否为空 再下面开始判断输入的字符除了 “-” 是不是满足0-9 如果满足的话&#xff0c;要再判断长度&#xff0c;0x9 到 0xB&#x…

【计算机组成原理】第一章 计算系统概论

系列文章目录 第一章 计算系统概论 第二章 运算方法和运算器 第三章 多层次的存储器 第四章 指令系统 第五章 中央处理器 第六章 总线系统 第七章 外围设备 文章目录 系列文章目录前言第一章 计算机系统概论1.1 计算机的分类1.2 计算机发展简史1.2.1 计算机的五代变化1.2.2 半…

19 KVM管理虚拟机-虚拟机生命周期管理命令

文章目录 19 KVM管理虚拟机-虚拟机生命周期管理命令19.1 概述19.2 前提条件19.3 命令使用说明 19 KVM管理虚拟机-虚拟机生命周期管理命令 19.1 概述 用户可以使用virsh命令工具管理虚拟机生命周期。本节介绍生命周期相关的命令以指导用户使用。 19.2 前提条件 执行虚拟机生…

uboot symbol value ‘‘ invalid for SYS_TEXT_BASE 解决方法

环境 Win10 64位 ubuntu 20.04 虚拟机 VMware Workstation 16 Pro gcc 交叉编译工具链&#xff1a; ARM 官方 gcc version 11.2.1 20220111 NUC980 uboot 版本 &#xff1a;尝试移植到 u-boot-2019.10&#xff0c;官方当前 u-boot 版本为 2016.11 问题描述 升级 u-boot …

ThinkPHP6 模板引擎普通标签中,模板引擎运算符函数,循环标签,判断标签的使用,及一些特殊标签

ThinkPHP6 模板引擎普通标签中&#xff0c;模板引擎运算符函数&#xff0c;循环标签&#xff0c;判断标签的使用&#xff0c;及一些特殊标签 模板引擎支持普通标签和XML标签方式两种标签定义&#xff0c;分别用于不同的目的&#xff1a; 标签类型描述普通标签主要用于输出变量…

Linux 安装 JDK、MySQL、Tomcat(图文并茂)

所需资料 下载 1.1 软件安装方式 在Linux系统中&#xff0c;安装软件的方式主要有四种&#xff0c;这四种安装方式的特点如下&#xff1a; 安装方式特点二进制发布包安装软件已经针对具体平台编译打包发布&#xff0c;只要解压&#xff0c;修改配置即可rpm安装软件已经按照re…

Unity里URP项目的介绍和创建

大家好&#xff0c;我是阿赵&#xff0c;接下来会介绍一下URP的使用 一、URP的介绍 URP(Universal Render Pipeline)通用渲染管线&#xff0c;是Unity在2019.3版本之后推出的一种新的渲染管线。 对比起默认的渲染管线&#xff0c;他的使用上会产生了一些变化&#xff0c;包括…

RS485电路及程序设计

一、电路原理图 图中 A、B 总线接口&#xff0c;用于连接 485 总线。RO 是接收输出端&#xff0c;DI 是发送数据收入端&#xff0c;RE是接收使能信号&#xff08;低电平有效&#xff09;&#xff0c;DE 是发送使能信号&#xff08;高电平有效&#xff09;。RE DE接在一起就是高…

jenkins安装配置--持续集成

目录 1.什么是持续集成 1.1持续集成 Continuous integration &#xff0c;简称CI 1.2持续集成具有的特点&#xff1a; 1.3持续集成的作用 2.jenkins简介 2.1概述 2.2特点 3.jenkins安装 1.下载Jenkins 2.下载jdk 3.网盘安装包载 4.创建软件安装目录 5.上传jdk和Jen…

C-内存管理

内存管理 堆,栈,静态区 c程序地址空间分布规则: 栈是从高地址向低地址延伸的,后创建的变量,后入栈,那么地址就越小. 静态变量,作用域不变,声明周期发生改变.本质原因是存储位置发生改变.编译器编译的时候放到了全局数据区. #include<stdio.h> #include<stdlib.h>…

虾皮Shopee商品详情接口(item_get-根据ID取商品详情)代码封装

item_get-根据ID取商品详情接口 通过代码封装该接口可以拿到商品标题&#xff0c;商品价格&#xff0c;商品促销信息&#xff0c;商品优惠价&#xff0c;商品库存&#xff0c;sku属性&#xff0c;商品图片&#xff0c;desc图片&#xff0c;desc描述&#xff0c;sku图片&#xf…