C++ std::atomic_flag与sta::atomic<bool>布尔标志

1.std::atomic_flag

std::atomic_flag是最简单的标准原子类型，他代表一个布尔标识，没有拷贝构造函数和拷贝赋值运算符（=delete）。

std::atomic_flag对象可以是两种状态之一：设置或清除，且必须用ATOMIC_FLAG_INIT初始化，这会将该标志初始化为清除状态（此标志总是以清除状态初始化的），如下：

std::atomic_flag flag=ATOMIC_FLAG_INIT;

一旦标识对象初始化完成，只能做三种操作：销毁、清除或设置并查询其先前的值。这些分别对应析构函数、clear()函数以及test_and_set()函数。clear和test_and_set操作都可以指定一个内存顺序，clear是存储操作，test_and_set是读改写操作，指定内存顺序相关参见C++在线文档 https://zh.cppreference.com/w/cpp/atomic/memory_order。

在原子类型上的每一个操作均具有一个可选的内存顺序参数，它可以用来指定所需的内存顺序语义。
存储（store）操作：可以包括memory_order_relaxed、memory_order_release、memory_order_seq_cst顺序。
载入（load）操作：可以包括memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_seq_cst顺序。
读改写（read-modify-write）操作：可以包括memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_release、memory_order_acq_rel、memory_order_seq_cst顺序。
默认的顺序为memory_order_seq_cst。

C++在线手册上提供了一个实现自旋锁得例子：

#include <thread>
#include <vector>
#include <iostream>
#include <atomic>

std::atomic_flag lock = ATOMIC_FLAG_INIT;

void f(int n)
{
	for (int cnt = 0; cnt < 5; ++cnt) {
		while (lock.test_and_set(std::memory_order_acquire))  // 获得锁
			; // 自旋
		std::cout << "Thread " << n << " count:" << cnt << std::endl;
		lock.clear(std::memory_order_release);               // 释放锁
	}
}

int main(int argc, char* argv[])
{
	std::vector<std::thread> v;
	for (int n = 0; n < 4; ++n) {
		v.emplace_back(f, n); //使用参数进行初始化
	}
	for (auto& t : v) {
		t.join(); //等待线程结束
	}

	system("pause");
	return 0;
}

运行结果如下：

 

std::atomic_flag由于限制性甚至不能用作一个通用的布尔标识，因为它不具有简单的无修改查询操作，最好还是使用std::atomic<bool>。（貌似我也用不到std::atomic_flag）

2.sta::atomic<bool>

最基本的原子整数类型是std::atomic<bool>（可以使用预定义的别名std::atomic_bool），这是一个比std::atomic_flag功能更全的布尔标志，并且可以使用非原子的bool来赋值和初始化。

std::atomic<bool> b(true);
b=false;

要注意的是，原子类型赋值操作返回值而非引用。

与std::atomic_flag使用clear不同，std::atomic<bool>写（存储）操作是通过store来完成的；test_and_set也由exchange函数替代，它可以用新值替代原值，同时获取原值。std::atomic<bool>支持对值得无修改查询，通过隐式转换为普通得bool，或者调用load函数，load是一个载入操作。

std::atomic<bool> b;
bool x=b.load(std::memory_order_require);
b.store(true);
x=b.exchange(false,std::memory_order_acq_rel);

在C++20，std::atomic模板似乎加了类似条件变量的功能：