C++中原子变量确保共享变量的操作在执行时不会被其他线程的操作干扰。
无法复制/移动对象。

is_lock_free函数：atomic对象是否支持无锁操作（什么意思？如果atomic对象需要锁，那设为atomic对象的意义是什么？）

std::atomic_flag 是 C++ 中的一个原子布尔类型，它用于实现原子锁操作。什么叫原子锁？

有没有锁，有什么影响吗？
原子操作也不见得是无锁的，使用is lock free和is always lock free
进行判断。

memory_order

atomic对象可以通过指定不同的memory orders来控制其对其他非原子对象的访问顺序和可见性，从而实现线程安全。常用的memory orders包括（参考：链接）：

memory_order_relaxed

memory_order_relaxed：无序的内存访问，允许编译器做更多的优化。

#include<bits/stdc++.h>
#include<thread>
using namespace std;

atomic<bool> x,y;
atomic<int> z;
void write_x_then_y()
{
    x.store(true, memory_order_relaxed);
    y.store(true, memory_order_relaxed);
}
void read_y_then_x()
{
    while(!y.load(memory_order_relaxed));  // y为true时会退出while
    if (x.load(memory_order_relaxed))    // x也为true时，z的值会改变
        ++z;
}

int main() {
    x=false;
    y=false;
    z=0;
    thread a(write_x_then_y);
    thread b(read_y_then_x);
    a.join();
    b.join();
    cout <<  noboolalpha << (z.load()!=0) << endl;
}

仅保证该原子类型变量的操作是原子化的，write_x_then_y()中对x和y的赋值是无序的，也就是说可能出现先给y赋值然后给x赋值，也可能出现先给x赋值然后给y赋值。所以read_y_then_x()中可能出现y为true，但x不为true的情况。（我的理解）
对上面代码进行实际测试，并没有出现y为true但x不为true的情况。这不能说明问题，因为其他编译器的优化策略，可能会导致出现y为true但x不为true的情况。

memory_order_release与memory_order_acquire

memory_order_release：

#include<bits/stdc++.h>
#include<thread>
using namespace std;

atomic<bool> x,y;
atomic<int> z;
// void write_x_then_y()
// {
//     x.store(true, memory_order_relaxed);
//     y.store(true, memory_order_release);
// }
// 下面函数和上面函数等价
void write_x_then_y()
{
    x.store(true, memory_order_relaxed);
    atomic_thread_fence(memory_order_release);
    y.store(true, memory_order_relaxed);
}

void read_y_then_x()
{
    while(!y.load(memory_order_acquire));  // y为true时会退出while
    if (x.load(memory_order_relaxed))    // x也为true时，z的值会改变
        ++z;
}

int main() {
    x=false;
    y=false;
    z=0;
    thread a(write_x_then_y);
    thread b(read_y_then_x);
    a.join();
    b.join();
    cout <<  noboolalpha << (z.load()!=0) << endl;
}

y.store(true, memory_order_release);保证了此语句前的语句写入完成。y.load(memory_order_acquire)用来“接住”使用memory_order_release写入的y。由于y.store(true, memory_order_release);保证了此语句前的语句写入完成，所以y.load(memory_order_acquire)后面的语句读取到的x都写入完成的x。（我的理解）