值返回结构体的_Atomic(opaque)无法转opaque？如何无局部变量解决？

问题场景 #

编译失败的代码示例 #

#include <stdatomic.h>

struct _opaque;
typedef struct _opaque *opaque;
struct container { _Atomic opaque x; };

struct container get_container();
void consume_opaque(opaque);

void test() {
    consume_opaque(get_container().x);
}

这段代码在Clang 16中编译失败，报错：

error: passing '_Atomic(opaque)' to parameter of incompatible type 'opaque' (aka 'struct _opaque *')

即使尝试显式强制转换(opaque) get_container().x，仍然无法编译。

编译正常的代码示例 #

#include <stdatomic.h>

struct _opaque;
typedef struct _opaque *opaque;
struct container { _Atomic opaque x; };

struct container *get_container();
void consume_opaque(opaque);

void test() {
    consume_opaque(get_container()->x);
}

这段代码可以正常编译，编译器允许get_container()->x的类型转换，但拒绝处理返回值为值类型的get_container().x。

差异原因 #

核心区别在于原子类型的左值与右值访问规则：

• 对于原子类型的左值（比如get_container()->x，指针指向的是可寻址、可修改的左值），C标准规定编译器会自动执行隐式原子加载操作，将_Atomic(T)类型隐式转换为普通的T类型，因此可以直接传给consume_opaque。
• 对于原子类型的右值（比如get_container().x，值返回的结构体是临时对象，其成员是右值），C标准不允许隐式转换，也不能直接强制转换——原子右值属于特殊对象类型，无法直接当作普通类型处理，强制转换会违反类型系统规则。

无局部变量的解决方法 #

不需要将get_container()的返回值保存到局部变量，只需显式调用原子加载函数atomic_load，通过取临时结构体成员的地址完成加载：

void test() {
    consume_opaque(atomic_load(&get_container().x));
}

atomic_load会从原子类型的指针中读取值，并返回对应的普通类型，完美适配consume_opaque的参数要求。

内容的提问来源于stack exchange，提问作者konsolas