C语言中结构体传值时，如何保证单个参数的原子性？

C语言标准本身并没有提供直接指定结构体传参复制为原子操作的语法，但可以通过以下符合C语言原生特性的方式，引导编译器利用目标处理器的原子指令，实现单个结构体参数的原子复制：

1. 用对齐属性保证结构体为原子操作兼容的内存块 #

对于grid_point_t这种总大小刚好为64位（两个int32_t成员）的结构体，通过C11标准的_Alignas关键字或编译器扩展的对齐属性，将结构体对齐到64位（8字节）边界。这样编译器在处理传参复制时，会优先使用单个64位加载/存储指令，而非拆分两个32位指令，从而利用处理器的64位原子操作能力。

示例代码：

// C11及以上标准写法
typedef struct grid_point_t
{
    _Alignas(8) grid_unit_t  x;  // 0 - 8000
    grid_unit_t  y;              // 0 - 8000
} grid_point_t;

// 兼容旧版本C的编译器扩展写法（如GCC/Clang）
typedef struct grid_point_t
{
    grid_unit_t  x;  // 0 - 8000
    grid_unit_t  y;  // 0 - 8000
} __attribute__((aligned(8))) grid_point_t;

2. 通过联合类型映射为原子宽度的基本类型 #

利用C语言的联合（Union）特性，将结构体与一个同宽度的原子兼容基本类型（如int64_t）绑定。联合的内存共享特性保证结构体和64位整数的内存布局完全一致（前提是结构体无填充，这里grid_point_t刚好占64位），编译器对64位整数的复制会自动使用原子指令，间接实现结构体的原子复制。

示例代码：

typedef union atomic_grid_point_u {
    grid_point_t pnt;
    int64_t as_int64;
} atomic_grid_point_u;

// 调用build_line时的写法
atomic_grid_point_u u0 = {.pnt = my_p0};
atomic_grid_point_u u1 = {.pnt = my_p1};
grid_line_t my_line = build_line(u0.pnt, u1.pnt);

以上两种方案均属于C语言原生特性的合理运用，无需依赖stdatomic库或互斥锁等同步机制。需要注意的是，它们的有效性依赖于目标处理器对对应宽度（此处为64位）数据的原子操作支持——如果处理器不支持64位原子加载/存储，那么无法保证复制的原子性，但这已经是语言层面能实现的最优方案。

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