C++11引入了一些原子类型,比如atomic_bool。但是,如果我们只在代码中对其进行读操作而没有写操作,编译器可能会把这些读操作优化掉,这样就失去了原子变量的作用。
为了避免这种情况,我们需要使用atomic_signal_fence或memory_order_seq_cst内存模型将读操作绑定到写操作。这样,编译器就知道不应该优化掉这些读操作。
以下是一个示例代码片段,展示了如何正确地使用原子变量:
#include
std::atomic_bool flag{false};
void write_flag()
{
flag.store(true, std::memory_order_release);
}
void read_flag()
{
while(!flag.load(std::memory_order_acquire))
;
}
在上面的代码中,我们使用了memory_order_release和memory_order_acquire来确保写操作和读操作是有效的。内存模型提供了全局排序,以确保这些操作的顺序被正确地维护。在写操作中,我们使用了std::memory_order_release,这告诉编译器在这之后所有的写操作都不应该与之前的读操作重排。在读操作中,我们使用了std::memory_order_acquire,这告诉编译器在这之前所有的读操作都不应该与之后的写操作重排。
通过这种方式,我们可以确保编译器不会优化掉对原子变量的读操作,从而确保了代码的正确性。