深入解析C++11 lambda表达式/包装器/线程库

目录
  • 零、前言
  • 一、lambda表达式
    • 1、lambda的引入
    • 2、lambda表达式语法
    • 3、捕获列表说明
    • 4、函数对象与lambda表达式
  • 二、包装器
    • 1、function包装器
    • 2、bind 概念:
  • 三、线程库
    • 1、线程的概念及使用
    • 2、线程函数参数
    • 3、原子性操作库(atomic)
    • 4、lock_guard与unique_lock
      • 1、mutex的种类
      • 2、lock_guard
      • 3、unique_lock
    • 5、两个线程交替打印奇数偶数

零、前言

本章是讲解学习C++11语法新特性的第三篇文章,主要学习lambda表达式,包装器,线程库

一、lambda表达式

1、lambda的引入

在C++98中,如果想要对一个数据集合中的元素进行排序,可以使用std::sort方法

示例:

#include <algorithm>
#include <functional>
int main()
{
	int array[] = { 4,1,8,5,3,7,0,9,2,6 };
	// 默认按照小于比较,排出来结果是升序
	std::sort(array, array + sizeof(array) / sizeof(array[0]));
	for (int i = 0; i < 10; i++)
	{
		cout << array[i] << " ";
	}cout << endl;
	// 如果需要降序,需要改变元素的比较规则
	std::sort(array, array + sizeof(array) / sizeof(array[0]), greater<int>());
	for (int i = 0; i < 10; i++)
	{
		cout << array[i] << " ";
	}cout << endl;
	return 0;
}

效果:

注:如果待排序元素为自定义类型,需要用户定义排序时的比较规则

示例:

struct Goods
{
	string _name;
	double _price;
};
struct Compare
{
	bool operator()(const Goods& gl, const Goods& gr)
	{
		return gl._price <= gr._price;
	}
};
int main()
{
	Goods gds[] = { { "苹果", 2.1 }, { "香蕉", 3 }, { "橙子", 2.2 }, {"菠萝", 1.5} };
	sort(gds, gds + sizeof(gds) / sizeof(gds[0]), Compare());
	for (int i = 0; i < 4; i++)
		cout << gds[i]._name << ":"<<gds[i]._price<<" ";
	cout << endl;
	return 0;
}

效果:

概念及引入:

随着C++语法的发展,人们开始觉得上面的写法太复杂了,每次为了实现一个algorithm算法, 都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名,这些都给编程者带来了极大的不便。因此,在C11语法中出现了Lambda表达式

示例:

int main()
{
	Goods gds[] = { { "苹果", 2.1 }, { "香蕉", 3 }, { "橙子", 2.2 }, {"菠萝", 1.5} };
	sort(gds, gds + sizeof(gds) / sizeof(gds[0]), [](const Goods& l, const Goods& r)
		->bool
		{
			return l._price < r._price;
		});
	return 0;
}

注:可以看出lamb表达式实际是一个匿名函数

2、lambda表达式语法

lambda表达式书写格式:

[capture-list] (parameters) mutable -> return-type { statement }

lambda表达式各部分说明:

[capture-list] :

捕捉列表,该列表总是出现在lambda函数的开始位置,编译器根据[]来判断接下来的代码是否为lambda函数,捕捉列表能够捕捉上下文中的变量供lambda函数使用

(parameters):

参数列表,与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略

mutable:

默认情况下,lambda函数总是一个const函数, mutable的作用就是让传值捕捉的对象可以修改,但是你修改的是传值拷贝的对象,不影响外面对象,使用该修饰符时,参数列表不可省略(即使参数为空)

注:实际中mutable意义不大,除非你就是想传值捕捉过来,lambda中修改,不影响外面的值

->returntype:

返回值类型,用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略;返回值类型明确情况下,也可省略,由编译器对返回类型进行推导

{statement}:

函数体,在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量

注:在lambda函数定义中,参数列表和返回值类型都是可选部分,而捕捉列表和函数体可以为空,即C++11中最简单的lambda函数为:[]{}; 该lambda函数不能做任何事情

示例:

int main()
{
	// 最简单的lambda表达式, 该lambda表达式没有任何意义
	[] {};
	// 省略参数列表和返回值类型,返回值类型由编译器推导为int
	int a = 3, b = 4;
	[=]{ return a + 3; };
	// 省略了返回值类型,无返回值类型
	auto fun1 = [&](int c) { b = a + c; };
	fun1(10);
	cout << a << " " << b << endl;
	// 各部分都很完善的lambda函数
	auto fun2 = [=, &b](int c)->int {return b += a + c; };
	cout << fun2(10) << endl;
	// 复制捕捉x
	int x = 10;
	auto add_x = [x](int a)mutable { x *= 2; return a + x; };//传值捕捉修改需要mutable修饰
	auto add_x1 = [&x](int a){ x *= 2; return a + x; };//引用捕捉不用
	cout << add_x(10) << endl;
	cout << x << endl;
	cout << add_x1(10) << endl;
	cout << x << endl;
	return 0;
}

效果:

注:lambda表达式实际上可以理解为无名函数,该函数无法直接调用,如果想要直接调用,可借助auto将其赋值给一个变量

3、捕获列表说明

概念:

捕捉列表描述了上下文中那些数据可以被lambda使用,以及使用的方式传值还是传引用

使用方式:

[var]:表示值传递方式捕捉变量var
[=]:表示值传递方式捕获所有父作用域中的变量(包括this)
[&var]:表示引用传递捕捉变量var
[&]:表示引用传递捕捉所有父作用域中的变量(包括this)
[this]:表示值传递方式捕捉当前的this指针

注意:

父作用域指包含lambda函数的语句块

语法上捕捉列表可由多个捕捉项组成,并以逗号分割:比如:[=, &a, &b]:以引用传递的方式捕捉变量a和b,值传递方式捕捉其他所有变量 [&,a, this]:值传递方式捕捉变量a和this,引用方式捕捉其他变量

捕捉列表不允许变量重复传递,否则就会导致编译错误:比如:[=, a]:=已经以值传递方式捕捉了所有变量,捕捉a重复

在块作用域以外的lambda函数捕捉列表必须为空;在块作用域中的lambda函数仅能捕捉父作用域中局部变量

lambda表达式之间不能相互赋值,即使看起来类型相同

示例:

void (*PF)();
int main()
{
    auto f1 = []{cout << "hello world" << endl; };
    auto f2 = []{cout << "hello world" << endl; };
    //f1 = f2; // 编译失败--->提示找不到operator=()
    // 允许使用一个lambda表达式拷贝构造一个新的副本
    auto f3(f2);
    f3();
    // 可以将没有捕获任何变量的lambda表达式赋值给相同类型的函数指针
    PF = f2;
    PF();
    return 0;
}

解释:

Lambda是实现了函数调用运算符的匿名类(anonymous class)。对于每一个Lambda,编译器创建匿名类,并定义相应的数据成员存储Lambda捕获的变量。没有捕获变量的Lambda不包含任何含成员变量。一个没有任何成员变量(包括没有虚函数表指针)的类型,在空指针上调用成员函数也不会有任何的问题,因为它的成员函数不会通过this指针访问内存。当Lambda向函数指针的转换时,编译器为Lambda的匿名类实现函数指针类型转换运算符

4、函数对象与lambda表达式

函数对象,又称为仿函数,即可以想函数一样使用的对象,就是在类中重载了operator()运算符的类对象

示例:

class Rate
{
public:
    Rate(double rate): _rate(rate)
    {}
    double operator()(double money, int year)
    {
        return money * _rate * year;
    }
private:
    double _rate;
};
int main()
{
    // 函数对象
    double rate = 0.49;
    Rate r1(rate);
    r1(10000, 2);
    // lamber
    auto r2 = [=](double monty, int year)->double{return monty*rate*year; };
    r2(10000, 2);
    return 0;
}

说明:

从使用方式上来看,函数对象与lambda表达式完全一样:函数对象将rate作为其成员变量,在定义对象时给出初始值即可,lambda表达式通过捕获列表可以直接将该变量捕获到

示图:

注:实际在底层编译器对于lambda表达式的处理方式,完全就是按照函数对象的方式处理的

二、包装器

1、function包装器

概念:

function包装器也叫作适配器,C++中的function本质是一个类模板,也是一个包装器

由于C++的历史遗留问题,导致如果想实现一个函数功能,可以采用函数名、函数指针、仿函数、有名称的lambda表达式,所有这些都是可调用的类型

存在的问题:

函数指针类型太复杂,不方便使用和理解仿函数类型是一个类名,没有指定调用参数和返回值,得去看operator()的实现才能看出来lambda表达式在语法层,看不到类型,只能在底层看到其类型,基本都是lambda_uuid

示例:

template<class F, class T>
T useF(F f, T x)
{
	static int count = 0;
	cout << "count:" << ++count << endl;
	cout << "count:" << &count << endl;
	return f(x);
}
double f(double i)
{
	return i / 2;
}
struct Functor
{
	double operator()(double d)
	{
		return d / 3;
	}
};
int main()
{
	// 函数名
	cout << useF(f, 11.11) << endl;
	// 函数对象
	cout << useF(Functor(), 11.11) << endl;
	// lamber表达式
	cout << useF([](double d)->double { return d / 4; }, 11.11) << endl;
	return 0;
}

效果:

注:对于函数名称,仿函数对象,lambda表达式对象这些都是可调用的类型,我们发现发现useF函数模板实例化了三份,所以如此丰富的类型,可能会导致模板的效率低下,包装器可以很好的解决该问题

包装器原型:

// 类模板原型如下
template <class T> function; // undefined
template <class Ret, class... Args>
class function<Ret(Args...)>;

模板参数说明:

Ret: 被调用函数的返回类型

Args…:被调用函数的形参

注:std::function在头文件< functional >

示例:

#include <functional>
int f(int a, int b)
{
	return a + b;
}
struct Functor
{
	int operator() (int a, int b)
	{
		return a + b;
	}
};
class Plus
{
public:
	static int plusi(int a, int b)
	{
		return a + b;
	}
	double plusd(double a, double b)
	{
		return a + b;
	}
};
int main()
{
	// 函数名(函数指针)
	std::function<int(int, int)> func1 = f;
	cout << func1(1, 2) << endl;
	// 函数对象
	std::function<int(int, int)> func2 = Functor();
	cout << func2(1, 2) << endl;
	// lamber表达式
	std::function<int(int, int)> func3 = [](const int a, const int b){
		return a + b;
	};
	cout << func3(1, 2) << endl;
	// 类的成员函数
	std::function<int(int, int)> func4 = Plus::plusi;
	cout << func4(1, 2) << endl;
	std::function<double(Plus, double, double)> func5 = &Plus::plusd;//对于普通成员的包装一定要加上&,需要通过指针进行调用成员函数
	cout << func5(Plus(), 1.1, 2.2) << endl;//传入类对象,通过对象进行调用
	return 0;
}

效果:

包装器解决模板实例化多份的问题:

#include <functional>
template<class F, class T>
T useF(F f, T x)
{
	static int count = 0;
	cout << "count:" << ++count << endl;
	cout << "count:" << &count << endl;
	return f(x);
}
double f(double i)
{
	return i / 2;
}
struct Functor
{
	double operator()(double d)
	{
		return d / 3;
	}
};
int main()
{
	//将多个可调用类型进行封装成相同类型,便于统一调用
	// 函数名
	std::function<double(double)> func1 = f;
	cout << useF(func1, 11.11) << endl;
	// 函数对象
	std::function<double(double)> func2 = Functor();
	cout << useF(func2, 11.11) << endl;
	// lamber表达式
	std::function<double(double)> func3 = [](double d)->double {
		return d /4;
	};
	cout << useF(func3, 11.11) << endl;
	return 0;
}

效果:

2、bind 概念:

std::bind函数定义在头文件中,是一个函数模板,它就像一个函数包装器(适配器),接受一个可调用对象(callable object),生成一个新的可调用对象来“适应”原对象的参数列表一般而言,我们用它可以把一个原本接收N个参数的函数fn,通过绑定一些参数,返回一个接收M个(M可以大于N,但这么做没什么意义)参数的新函数;同时,使用std::bind函数还可以实现参数顺序调整等操作

示例:

#include <functional>
int Plus(int a, int b)
{
	return a + b;
}
class Sub
{
public:
	int sub(int a, int b)
	{
		return a - b;
	}
	static int sub1(int a, int b)
	{
		return a - b;
	}
};
int main()
{
	//普通函数的绑定
	//表示绑定函数plus 参数分别由调用 func1 的第一,二个参数指定(placeholders用来表示参数位占位)
	std::function<int(int, int)> func1 = std::bind(Plus, placeholders::_1,placeholders::_2);
	//auto func1 = std::bind(Plus, placeholders::_1, placeholders::_2);直接使用auto识别类型

	//表示绑定函数 plus 的第一,二参数为: 1, 2
	auto func2 = std::bind(Plus, 1, 2);
	cout << func1(1, 2) << endl;
	cout << func2(2,3) << endl;//func2();也可以不用传参数-因为参数已经绑定好了,传入的参数没有实际的作用

	//类函数的绑定
	//类的成员函数必须通过类的对象或者指针调用,因此在bind时,bind的第一个参数的位置来指定一个类的实列、指针或引用。
	Sub s;
	// 绑定成员函数
	std::function<int(int, int)> func3 = std::bind(&Sub::sub, s,placeholders::_1, placeholders::_2);
	// 参数调换顺序
	std::function<int(int, int)> func4 = std::bind(&Sub::sub, s,placeholders::_2, placeholders::_1);
	std::function<int(int, int)> func5 = std::bind(Sub::sub1,placeholders::_2, placeholders::_1);//静态成员函数的绑定-不需要类的示例指针或引用
	cout << func3(1, 2) << endl;
	cout << func4(1, 2) << endl;
	cout << func5(1, 2) << endl;
	return 0;
}

效果:

总结:

bind是对包装的可调用类型的进一步封装,可以根据自己的需要进行调整参数的数据及位置,绑定类对象能有优化成员函数的包装使用,更加符合使用习惯

三、线程库

1、线程的概念及使用

thread类的简单介绍:

在C++11之前,涉及到多线程问题,都是和平台相关的,比如windows和linux下各有自己的接口,这使得代码的可移植性比较差C++11中最重要的特性就是对线程进行支持了,使得C++在并行编程时不需要依赖第三方库,而且在原子操作中还引入了原子类的概念

注:要使用标准库中的线程,必须包含< thread >头文件

线程常用接口:

函数名 功能
thread() 构造一个线程对象,没有关联任何线程函数,即没有启动任何线程
thread(fn, args1, args2, …) 构造一个线程对象,并关联线程函数fn,args1,args2,…为线程函数的 参数
get_id() 获取线程id
jionable() 线程是否还在执行,joinable代表的是一个正在执行中的线程。
jion() 该函数调用后会阻塞住线程,当该线程结束后,主线程继续执行
detach() 在创建线程对象后马上调用,用于把被创建线程与线程对象分离开,分离 的线程变为后台线程,创建的线程的"死活"就与主线程无关

注意:

线程是操作系统中的一个概念,是进程中的一个执行分支,线程对象可以关联一个线程,用来控制线程以及获取线程的状态

当创建一个线程对象后,没有提供线程函数,该对象实际没有对应任何线程

示例:

#include <thread>
int main()
{
    std::thread t1;//空线程
    cout << t1.get_id() << endl;
    return 0;
}

注:get_id()的返回值类型为id类型,id类型实际为std::thread命名空间下封装的一个类,该类中包含了一个结构体

对应结构体的定义:

// vs下查看
typedef struct
{ /* thread identifier for Win32 */
    void *_Hnd; /* Win32 HANDLE */
    unsigned int _Id;
} _Thrd_imp_t;

当创建一个线程对象后,并且给线程关联线程函数,该线程就被启动,与主线程一起运行

线程函数一般情况下可按照以下三种方式提供:

  1. 函数指针
  2. lambda表达式
  3. 函数对象

示例:

#include <iostream>
#include <thread>
using namespace std;
void ThreadFunc(int a)
{
	cout << "Thread1" << a << endl;
}
class TF
{
public:
	void operator()()
	{
		cout << "Thread3" << endl;
	}
};
int main()
{
	// 线程函数为函数指针
	thread t1(ThreadFunc, 10);
	// 线程函数为lambda表达式
	thread t2([]() {
		cout << "Thread2" << endl;
		});
	// 线程函数为函数对象
	TF tf;
	thread t3(tf);
	t1.join();
	t2.join();
	t3.join();
	cout << "Main thread!" << endl;
	return 0;
}

效果:

thread类是防拷贝的,不允许拷贝构造以及赋值,但是可以移动构造和移动赋值,即将一个线程对象关联线程的状态转移给其他线程对象,转移期间不影响线程的执行

可以通过jionable()函数判断线程是否是有效的,如果是以下任意情况,则线程无效

无效的线程: 采用无参构造函数构造的线程对象
线程对象的状态已经转移给其他线程对象
线程已经调用jion或者detach结束

面试题:并发与并行的区别

并发指的是多个事情,在同一时间段内同时发生了;并行指的是多个事情,在同一时间点上同时发生了
并发的多个任务之间是互相抢占资源的;并行的多个任务之间是不互相抢占资源的,只有在多CPU的情况中才会发生并行

2、线程函数参数

线程函数的参数是以值拷贝的方式拷贝到线程栈空间中的,因此:即使线程参数为引用类型,在线程中修改后也不能修改外部实参,因为其实际引用的是线程栈中的拷贝,而不是外部实参

示例:

#include <iostream>
#include <thread>
using namespace std;
void Func1(int& x)
{
	x += 10;
	return;
}
void Func2(int* x)
{
	*x += 10;
	return;
}
int main()
{
	int a = 10;
	// 在线程函数中对a修改,不会影响外部实参,因为:线程函数参数虽然是引用方式,但其实际引用的是线程栈中的拷贝
	// vs2019会报错-对于引用的参数这么传入
	//thread t1(Func1, a);
	//t1.join();
	//cout << a << endl;
	// 如果想要通过形参改变外部实参时,必须借助std::ref()函数
	thread t2(Func1, ref(a));
	t2.join();
	cout << a << endl;
	// 地址的拷贝
	thread t3(Func2, &a);
	t3.join();
	cout << a << endl;
	return 0;
}

效果:

注意:

如果是类成员函数作为线程参数时,必须将this作为线程函数参数

示例:

#include <iostream>
#include <thread>
using namespace std;
class A
{
public:
	void Func1(int x)
	{
		cout << x << endl;
	}
	static void Func2(int x)
	{
		cout << x << endl;
	}
};
int main()
{
	A a;
	//普通成员函数需要传入类的实例或者指针
	thread t1(&A::Func1, a, 10);
	t1.join();
	//静态成员函数则不用
	thread t2(&A::Func2, 10);
	t2.join();
	return 0;
}

效果:

3、原子性操作库(atomic)

多线程最主要的问题是共享数据带来的问题(即线程安全):如果共享数据都是只读的,那么没问题,因为只读操作不会影响到数据,更不会涉及对数据的修改,所以所有线程都会获得同样的数据;但是,当一个或多个线程要修改共享数据时,就会产生很多潜在的麻烦

示例:

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

unsigned long sum = 0L;
void fun(size_t num)
{
	for (size_t i = 0; i < num; ++i)
		sum++;
}
int main()
{
	cout << "Before joining,sum = " << sum << std::endl;
	thread t1(fun, 10000000);
	thread t2(fun, 10000000);
	t1.join();
	t2.join();
	cout << "After joining,sum = " << sum << std::endl;
	return 0;
}

效果:

C++98中传统的解决方式:可以对共享修改的数据可以加锁保护

示例:

#include <iostream>
#include <thread>
#include <mutex>
using namespace std;

std::mutex m;
unsigned long sum = 0L;
void fun(size_t num)
{
	for (size_t i = 0; i < num; ++i)
	{
		m.lock();
		sum++;
		m.unlock();
	}
}
int main()
{
	cout << "Before joining,sum = " << sum << std::endl;
	thread t1(fun, 10000000);
	thread t2(fun, 10000000);
	t1.join();
	t2.join();
	cout << "After joining,sum = " << sum << std::endl;
	return 0;
}

效果:

加锁缺陷:

只要一个线程在sum++时,其他线程就会被阻塞,会影响程序运行的效率,而且锁如果控制不好,还容易造成死锁

因此C++11中引入了原子操作,所谓原子操作:即不可被中断的一个或一系列操作C++11引入的原子操作类型,使得线程间数据的同步变得非常高效

示图:原子操作类型

注:需要使用以上原子操作变量时,必须添加头文件#include < atomic >

示例:

#include <iostream>
#include <thread>
using namespace std;
#include <atomic>

atomic_long sum{ 0 };
void fun(size_t num)
{
	for (size_t i = 0; i < num; ++i)
		sum++; // 原子操作
}
int main()
{
	cout << "Before joining, sum = " << sum << std::endl;
	thread t1(fun, 1000000);
	thread t2(fun, 1000000);
	t1.join();
	t2.join();
	cout << "After joining, sum = " << sum << std::endl;
	return 0;
}

效果:

注意:

int main()
{
	thread t1(fun, 1000000);
	thread t2(fun, 1000000);
	t1.join();
	t2.join();
	//printf("%d\n", sum);vs2019存在类型不匹配问题
	//解决方式
	//1.
	printf("%ld\n", sum.load());
	//2.
	cout << sum << endl;
	//3.
	printf("%ld\n", (long)sum);
	return 0;
}

atomic类模板:

在C++11中,程序员不需要对原子类型变量进行加锁解锁操作,线程能够对原子类型变量互斥的访问,更为普遍的,程序员可以使用atomic类模板,定义出需要的任意原子类型

atmoic<T> t; // 声明一个类型为T的原子类型变量t

注意:

原子类型通常属于"资源型"数据,多个线程只能访问单个原子类型的拷贝,因此在C++11中,原子类型只能从其模板参数中进行构造,不允许原子类型进行拷贝构造、移动构造以及operator=等,为了防止意外,标准库已经将atmoic模板类中的拷贝构造、移动构造、赋值运算符重载默认删除掉了

示例:

#include <atomic>
int main()
{
    atomic<int> a1(0);
    //atomic<int> a2(a1); // 编译失败
    atomic<int> a2(0);
    //a2 = a1; // 编译失败
    return 0;
}

4、lock_guard与unique_lock

概念及引入:

在多线程环境下,如果想要保证某个变量的安全性,只要将其设置成对应的原子类型即可,即高效又不容易出现死锁问题

但是有些情况下,我们可能需要保证一段代码的安全性,那么就只能通过锁的方式来进行控制,锁控制不好时,可能会造成死锁 ,最常见的比如在锁中间代码返回,或者在锁的范围内抛异常

因此:C++11采用RAII的方式对锁进行了封装,即lock_guard和unique_lock

1、mutex的种类

在C++11中,Mutex总共包了四个互斥量的种类: std::mutex

C++11提供的最基本的互斥量,该类的对象之间不能拷贝,也不能进行移动

mutex最常用的三个函数:

函数名 函数功能
lock() 上锁:锁住互斥量
unlock() 解锁:释放对互斥量的所有权
try_lock() 尝试锁住互斥量,如果互斥量被其他线程占有,则当前线程也不会被阻塞

线程函数调用lock()时可能会发生以下三种情况:

如果该互斥量当前没有被锁住,则调用线程将该互斥量锁住,直到调用 unlock之前,该线程一直拥有该锁
如果当前互斥量被其他线程锁住,则当前的调用线程被阻塞住
如果当前互斥量被当前调用线程锁住,则会产生死锁(deadlock)

线程函数调用try_lock()时可能会发生以下三种情况:

如果当前互斥量没有被其他线程占有,则该线程锁住互斥量,直到该线程调用 unlock 释放互斥量
如果当前互斥量被其他线程锁住,则当前调用线程返回 false,而并不会被阻塞掉
如果当前互斥量被当前调用线程锁住,则会产生死锁(deadlock)

std::recursive_mutex

其允许同一个线程对互斥量多次上锁(即递归上锁),来获得对互斥量对象的多层所有权,释放互斥量时需要调用与该锁层次深度相同次数的 unlock()
除此之外,std::recursive_mutex 的特性和 std::mutex 大致相同

std::timed_mutex

比 std::mutex 多了两个成员函数,try_lock_for(),try_lock_until() ,
try_lock_for()
接受一个时间范围,表示在这一段时间范围之内线程如果没有获得锁则被阻塞住(与std::mutex 的 try_lock() 不同,try_lock 如果被调用时没有获得锁则直接返回false),如果在此期间其他线程释放了锁,则该线程可以获得对互斥量的锁,如果超时(即在指定时间内还是没有获得锁),则返回 false
try_lock_until()接受一个时间点作为参数,在指定时间点未到来之前线程如果没有获得锁则被阻塞住,如果在此期间其他线程释放了锁,则该线程可以获得对互斥量的锁,如果超时(即在指定时间内还是没有获得锁),则返回 false

std::recursive_timed_mutex

recursive_mutex和timed_mutex的结合

2、lock_guard

std::lock_gurad 是 C++11 中定义的模板类。

定义如下:

template<class _Mutex>
class lock_guard
{
public:
	// 在构造lock_gard时上锁
	explicit lock_guard(_Mutex& _Mtx)
		: _MyMutex(_Mtx)
	{
		_MyMutex.lock();
	}
	lock_guard(_Mutex & _Mtx, adopt_lock_t)
		: _MyMutex(_Mtx)
	{}
	// 在析构lock_gard时解锁
	~lock_guard() _NOEXCEPT
	{
		_MyMutex.unlock();
	}
	lock_guard(const lock_guard&) = delete;
	lock_guard& operator=(const lock_guard&) = delete;
private:
	_Mutex& _MyMutex;
};

解释:

lock_guard类模板主要是通过RAII的方式,对其管理的互斥量进行了封装,在需要加锁的地方,只需要用上述介绍的任意互斥体实例化一个lock_guard,调用构造函数成功上锁,出作用域前,lock_guard对象要被销毁,调用析构函数自动解锁,可以有效避免死锁问题

lock_guard的缺陷:

太单一,用户没有办法对该锁进行控制,因此C++11又提供了unique_lock

3、unique_lock

概念及介绍:

与lock_gard类似,unique_lock类模板也是采用RAII的方式对锁进行了封装,并且也是以独占所有权的方式管理mutex对象的上锁和解锁操作,即其对象之间不能发生拷贝
在构造(或移动(move)赋值)时,unique_lock 对象需要传递一个 Mutex 对象作为它的参数,新创建的unique_lock 对象负责传入的 Mutex 对象的上锁和解锁操作。使用以上类型互斥量实例化unique_lock的对象时,自动调用构造函数上锁,unique_lock对象销毁时自动调用析构函数解锁,可以很方便的防止死锁问题
与lock_guard不同的是,unique_lock更加的灵活,提供了更多的成员函数:
上锁/解锁操作:lock、try_lock、try_lock_for、try_lock_until和unlock
修改操作:移动赋值、交换(swap:与另一个unique_lock对象互换所管理的互斥量所有权)、释放(release:返回它所管理的互斥量对象的指针,并释放所有权) 获取属性:owns_lock(返回当前对象是否上了锁)、operator bool()(与owns_lock()的功能相同)、mutex(返回当前unique_lock所管理的互斥量的指针)

5、两个线程交替打印奇数偶数

错误示例:使用普通的条件变量

先让打印偶数线程获取到所资源,然后在条件变量下等待并将锁资源释放
打印奇数获取到锁进行打印,打印后先唤醒在条件变量下等待的线程,再等待在并释放锁资源
再打印偶数线程被唤醒并竞争到锁资源,进行打印…

#include <iostream>
#include <thread>
#include <mutex>
using namespace std;
int main()
{
	int i = 1;
	int j = 2;
	bool flg = true;
	mutex mtx;
	condition_variable cv;
	//存在时间片切出去的问题
	thread t2([&j, &mtx, &cv]() {
		while (j <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cv.wait(lock);
			cout << std::this_thread::get_id() << ":" << j << endl;
			j += 2;
			cv.notify_one();
		}
		});
	thread t1([&i, &mtx, &cv]() {
		while (i <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cout << std::this_thread::get_id() << ":" << i << endl;
			i += 2;
			cv.notify_one();
			cv.wait(lock);
		}
		});
	t1.join();
	t2.join();
	return 0;
}

问题示例:

当打印偶数线程获取锁后,在要等待在条件变量下之前时,时间片到了线程被切出去,再等到打印奇数线程执行唤醒等待条件变量下的线程时没有线程被唤醒,当打印偶数线程时间片切回时,依旧会等待在条件变量下,而此时打印奇数线程也等待在条件变量下,此时没人进行唤醒两线程也就会一直进行等待

效果:

正确示例:

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>
using namespace std;
int main()
{
	int i = 1;
	int j = 2;
	bool flg = true;
	mutex mtx;
	condition_variable cv;
	//正确写法
	thread t1([&i, &mtx, &cv,&flg]() {
		while (i <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cv.wait(lock, [&flg]() { return flg; });//根据条件判断是否需要进行阻塞等待
			cout << std::this_thread::get_id() << ":" << i << endl;
			i+=2;
			flg = false;//更改条件变量-使得另一个线程执行,该线程会等待住
			cv.notify_one();//进行唤醒等待条件变量下的线程
		}
	});
	thread t2([&j, &mtx, &cv, &flg]() {
		while (j <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cv.wait(lock, [&flg]() { return !flg; });
			cout << std::this_thread::get_id() << ":" << j << endl;
			j += 2;
			flg = true;
			cv.notify_one();
		}
		});
	t1.join();
	t2.join();
	return 0;
}

效果:

确示例:

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>
using namespace std;
int main()
{
	int i = 1;
	int j = 2;
	bool flg = true;
	mutex mtx;
	condition_variable cv;
	//正确写法
	thread t1([&i, &mtx, &cv,&flg]() {
		while (i <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cv.wait(lock, [&flg]() { return flg; });//根据条件判断是否需要进行阻塞等待
			cout << std::this_thread::get_id() << ":" << i << endl;
			i+=2;
			flg = false;//更改条件变量-使得另一个线程执行,该线程会等待住
			cv.notify_one();//进行唤醒等待条件变量下的线程
		}
	});
	thread t2([&j, &mtx, &cv, &flg]() {
		while (j <= 100)
		{
			std::unique_lock<mutex> lock(mtx);
			cv.wait(lock, [&flg]() { return !flg; });
			cout << std::this_thread::get_id() << ":" << j << endl;
			j += 2;
			flg = true;
			cv.notify_one();
		}
		});
	t1.join();
	t2.join();
	return 0;
}

效果:

到此这篇关于C++11 lambda表达式/包装器/线程库的文章就介绍到这了,更多相关C++11 lambda表达式内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • 详解C++11中的线程库

    目录 一.线程库的介绍 1.1. 使用时的注意点 1.2. 线程函数参数 1.3. join与detach 二.原子性操作库 2.1. atomic 2.2. 锁 三.使用lambda表达式创建多个线程 四.条件变量 一.线程库的介绍 在C++11之前,涉及到多线程问题,都是和平台相关的,比如windows和linux下各有自己的接口,这使得代码的可移植性比较差.C++11中最重要的特性就是对线程进行支持了,使得C++在并行编程时不需要依赖第三方库,而且在原子操作中还引入了原子类的概念.要使用标

  • 浅谈C++11新引入的lambda表达式

    ISO C++ 11 标准的一大亮点是引入Lambda表达式.基本语法如下: [capture list] (parameter list) ->return type { function body } 简单的讲一下各个部分的作用 1.[capture list]捕获列表,捕获到函数体中,使得函数体可以访问 2.(parameter list)参数列表,用来表示lambda表达式的参数列表 3.->return type函数返回值 {function body}就是函数体 lambda表达式

  • C++11系列学习之可调用对象包装器和绑定器

    目录 旧标准的缺陷 繁杂的调用对象 问题浮出水面 std::function 小试牛刀 std::bind 作用 占位符 高级用法 配合使用 旧标准的缺陷 学习新标准的语法之前,先来聊聊旧标准存在的缺陷,这样就可以理解为什么要在C++11中存在std::funtion和std::bind了,这就是所谓——知其然,并知其所以然 繁杂的调用对象 C++中可以调用的对象有很多,包括但不限于以下: 函数指针 仿函数(重载了"( )" 运算符) 可被转换为函数指针的类对象 类成员函数 问题浮出水

  • 一文读懂c++11 Lambda表达式

    1.简介 1.1定义 C++11新增了很多特性,Lambda表达式(Lambda expression)就是其中之一,很多语言都提供了 Lambda 表达式,如 Python,Java ,C#等.本质上, Lambda 表达式是一个可调用的代码单元[1]^{[1]}[1].实际上是一个闭包(closure),类似于一个匿名函数,拥有捕获所在作用域中变量的能力,能够将函数做为对象一样使用,通常用来实现回调函数.代理等功能.Lambda表达式是函数式编程的基础,C++11引入了Lambda则弥补了C

  • 深入解析C++11 lambda表达式/包装器/线程库

    目录 零.前言 一.lambda表达式 1.lambda的引入 2.lambda表达式语法 3.捕获列表说明 4.函数对象与lambda表达式 二.包装器 1.function包装器 2.bind 概念: 三.线程库 1.线程的概念及使用 2.线程函数参数 3.原子性操作库(atomic) 4.lock_guard与unique_lock 1.mutex的种类 2.lock_guard 3.unique_lock 5.两个线程交替打印奇数偶数 零.前言 本章是讲解学习C++11语法新特性的第三篇

  • C++11新增的包装器详解

    目录 function bind function 目前,我们的知识深度已知的可调用对象类型有: 函数指针 仿函数 / 函数对象 lambda表达式 现在我们有一个函数模板 template<class F, class T> T useF(F f, T x) { static int count = 0; cout << "count:" << &count << endl; return f(x); } 对于函数模板,编译器会

  • 利用Lambda表达式创建新线程案例

    代码 public class LamdaDemo { public static void main( String[] args ) { Runnable task = () -> { String threadName = Thread.currentThread().getName(); System.out.println("Hello " + threadName); }; task.run(); Thread thread = new Thread(task); t

  • C++11 lambda表达式在回调函数中的使用方式

    目录 一.lambda表达式在C++异步框架中的应用 二.如何在C-style注册回调函数中使用lambda表达式? 在回调函数中使用lambda表达式的好处,在于可以利用C++的RAII机制来做资源的自动申请释放,避免手动管理出错. 一.lambda表达式在C++异步框架中的应用 1. 一个boost asio的例子 // // async_tcp_echo_server.cpp // ~~~~~~~~~~~~~~~~~~~~~~~~~ // // Copyright (c) 2003-202

  • C++11 lambda(匿名函数)表达式详细介绍

    目录 前言 概念及基本用法 捕获变量 lambda表达式类型 声明式的编程风格 总结 前言 Lambda(匿名函数)表达式是C++11最重要的特性之一,lambda来源于函数式编程的概念,也是现代编程语言的一个特点. 优点如下: 声明式编程风格:就地匿名定义目标函数或函数对象,有更好的可读性和可维护性. 简洁:不需要额外写一个命名函数或函数对象,,避免了代码膨胀和功能分散. 更加灵活:在需要的时间和地点实现功能闭包. 概念及基本用法 lambda表达式定义了一个匿名函数,并且可以捕获一定范围内的

  • C++11中的可变参数模板/lambda表达式

    目录 1.可变参数模板 递归函数方式展开参数包 逗号表达式展开参数包 2.lambda表达式 先来看看lambda表达式的例子: lambda表达式语法 1.可变参数模板 C++11的新特性可变参数模板能够让我们创建可以接受可变参数的函数模板和类模板,相比C++98和C++03,类模板和函数模板中只能含固定数量的模板参数,可变参数模板无疑是一个巨大的改进.可是可变参数模板比较抽象,因此这里只会写出够我们使用的部分. 下面是一个基本可变参数的函数模板 // Args是一个模板参数包,args是一个

  • 一文带你入门JDK8新特性——Lambda表达式

    Lambda简介 Lambda 表达式是 JDK8 的一个新特性,可以取代大部分的匿名内部类,写出更优雅的 Java 代码,尤其在集合的遍历和其他集合操作中,可以极大地优化代码结构. JDK 也提供了大量的内置函数式接口供我们使用,使得 Lambda 表达式的运用更加方便.高效. 对接口的要求 虽然使用 Lambda 表达式可以对某些接口进行简单的实现,但并不是所有的接口都可以使用 Lambda 表达式来实现.Lambda 规定接口中只能有一个需要被实现的方法,不是规定接口中只能有一个方法 jd

  • Android 中Lambda表达式的使用实例详解

     Android 中Lambda表达式的使用实例详解 Java8 中着实引入了一些非常有特色的功能,如Lambda表达式.streamAPI.接口默认实现等等.Lambda表达式在 Android 中最低兼容到 Android2.3 系统,兼容性还是不错的,Lambda表达式本质上是一种匿名方法,它既没有方法名,也没有访问修饰符和返回值类型,使用它编写的代码将更加简洁易读. 1.Lambda表达式的基本写法 如果想要在 Android 项目中使用 Lambda表达式 或者 Java8 的其他新特

  • Java lambda表达式与泛型整理总结

    目录 泛型 泛型的语法定义 泛型的使用语法 泛型总结 从泛型类派生子类 泛型接口 lambda表达式 lambda表达式概念 lambda表达式格式 泛型 泛型的语法定义 class 类名 <泛型标识,泛型标识,…>{ private 泛型标识1,变量名:常用的泛型标识:T,E,K,V } 里面正常写法 public class GenericDemo<K> { //定义数组 private K[] arr; } 泛型的使用语法 类名<具体的数据> 对象名 = new

随机推荐