如果我有一个类型
enum foo {
FOO,
BAR,
BAZ,
};
然后,我可以声明该类型的原子版本
_Atomic(enum foo);
或者我必须使用例如atomic_int
并投下了atomic_load()
的结果?
以下程序在没有警告的情况下编译:
#include <stdatomic.h>
#include <stdio.h>
enum foo {
FOO,
BAR,
BAZ,
};
int main(void) {
_Atomic(enum foo) foo_a;
atomic_store(&foo_a, BAR);
enum foo val = atomic_load(&foo_a);
printf("%u\n", val);
return 0;
}
但同样如此
#include <stdatomic.h>
#include <stdio.h>
enum foo {
FOO,
BAR,
BAZ,
};
int main(void) {
enum foo foo;
atomic_store(&foo, BAR);
enum foo val = atomic_load(&foo);
printf("%u\n", val);
return 0;
}
是的,所有数据类型都可以是原子的,并且不需要为这些使用原子泛型函数。具有这种对象的所有操作都是原子的。
对于您的第二个示例,编译器不发出警告是很奇怪的。使用非原子操作进行原子操作是违反约束的,因此编译器应该为您提供诊断。
是的,这是合法的。顺便说一句,你实际上并不需要parens,_Atomic enum foo foo;
是等价的。
_Atomic
像const
和volatile
一样工作。
enum foo foo;
atomic_store(&foo, BAR);
clang是一个错误。 error: address argument to atomic operation must be a pointer to _Atomic type ('enum foo *' invalid)
。 (来自the Godbolt compiler explorer)。
这只是GCC实施的一个怪癖,即使在-Wall
,它甚至没有警告也会编译。那可能应该改变......
像GCC's atomic builtins这样的void __atomic_store_n (type *ptr, type val, int memorder)
指向普通类型,不需要_Atomic
。
C ++ 11 <atomic>
使用这些内置函数。同样,GCC的C11 stdatomic.h
使用
#define atomic_store_explicit(PTR, VAL, MO) \
__extension__ \
({ \
__auto_type __atomic_store_ptr = (PTR); \
__typeof__ (*__atomic_store_ptr) __atomic_store_tmp = (VAL); \
__atomic_store (__atomic_store_ptr, &__atomic_store_tmp, (MO)); \
})
#define atomic_store(PTR, VAL) \
atomic_store_explicit (PTR, VAL, __ATOMIC_SEQ_CST)
(__extension__
用于GNU C语句表达式,其中x = {foo; bar;}
取bar
的值。)
所以这些都不需要指针类型具有_Atomic
。