c++ 原子库提供线程安全的数据类型，以确保数据原子性。原子变量是不可中断的，并且提供了广泛的原子操作，包括加、减和交换。常见的类型包括 std::atomic<t> 和 std::atomic_flag。原子库在实战中非常有用，例如创建线程安全计数器。需要注意的是，原子操作可能比非原子操作速度慢，并且不适用于类成员。
C++ 原子库：使用与限制
简介
原子库提供线程安全的数据类型，可以在并发环境中使用，以确保数据原子性。在 C++ 中，<atomic> 头文件定义了原子库。
立即学习“C++免费学习笔记（深入）”；
常见数据类型
原子库提供了以下数据类型：
-
std::atomic<T>：模板类，其中T应为任意类型。 -
std::atomic_flag：无锁标志型变量。 -
std::atomic_bool：无锁布尔型变量。 -
std::atomic_int：无锁整数型变量。 -
std::atomic_uint：无锁无符号整数型变量。 -
std::atomic_long：无锁长整型变量。 -
std::atomic_ulong：无锁无符号长整型变量。
线程安全性
原子变量是线程安全的，这意味着即使多个线程同时访问变量，也可以保证数据的一致性。原子操作被认为是不可中断的，这意味着一次原子操作不会被其他线程打断。
原子操作
原子库提供了以下原子操作：
-
fetch_add：原子地将一个值加到变量中。 -
fetch_sub：原子地从变量中减去一个值。 -
fetch_and：原子地将一个位掩码与变量执行按位与操作。 -
fetch_or：原子地将一个位掩码与变量执行按位或操作。 -
fetch_xor：原子地将一个位掩码与变量执行按位异或操作。 -
load：原子地从变量中加载值。 -
store：原子地将值存储到变量中。 -
exchange：原子地将变量的值与另一个值交换。 -
compare_exchange_strong：原子地检查变量的值是否等于预期值，如果是，则将其与新值交换。 -
compare_exchange_weak：类似于compare_exchange_strong，但仅当变量的值未被另一个线程修改时才交换值。
实战案例：线程安全计数器
考虑以下线程安全计数器示例：
#include <atomic>
#include <thread>
std::atomic<int> counter;
void increment_counter() {
for (int i = 0; i < 1000000; i++) {
counter++;
}
}
int main() {
std::thread t1(increment_counter);
std::thread t2(increment_counter);
t1.join();
t2.join();
std::cout << "Final counter value: " << counter << std::endl;
return 0;
}在该示例中，counter 被声明为原子整数，并使用 fetch_add 操作原子地递增。两个线程并发递增计数器，最后打印最终值。
限制
虽然原子库非常有用，但它们有一些限制：
- 开销：原子操作比非原子操作速度慢。
-
死锁：如果两个线程都尝试使用
compare_exchange同时更改同一个变量，可能会导致死锁。 - 不适用于类成员：原子库不适用于类成员，因为原子操作必须是不可中断的。
结论
原子库提供了线程安全的数据类型，在并发环境下非常有用。了解其操作和限制非常重要，以确保在代码中正确使用它们。
