sizeof（atomic＆lt; t＆gt;）并不总是等于sizeof＆lt; t＆gt;

Question

sizeof（atomic＆lt; t＆gt;）的返回值并不总是等于sizeof（t） 的返回值，基于[atomics.generic.types.generic types.generic type ]/p9：

注意：原子专业化的表示不需要与其相应参数类型的大小相同。专业人士应尽可能具有相同的大小，因为这减少了将现有代码移植所需的努力

有时相等，例如：

struct A {
    char       i;
    const char padding[3];
    int        j;
};

A a;
a.i = 1;
a.j = 2;
A b;
b.i = 3;
b.j = 4;
std::atomic<A> A_atomic(a);

sizeof（a_atomic） 为8，而sizef（a）size> /代码>也是8。

a_atomic.compare_exchange_weak（a，b）返回true。

a_atomic.is_always_lock_free返回true。

当我添加int变量时，它们不相同：

struct A {
    char       i;
    const char padding[3];
    int        j;
    int        k;
};

A a;
a.i = 1;
a.j = 2;
A b;
b.i = 3;
b.j = 4;
std::atomic<A> A_atomic(a);

sizeof（a_atomic）为16，而size> sizeof（a）是12

。代码> a_atomic.compare_exchange_weak（a，b）返回false。

a_atomic.is_always_lock_free返回true。

当我添加int时，std :: atomic＆lt; a＆gt;发生了什么？

如何挑选两个结构之间的微妙差异来对齐内存布局以确保CAS返回正确？

我的环境是：

• macOSX10.13
• clang-900.0.0.37
• x86_64-apple-darwin18.7.0

更多信息：

我添加另一个int actiake like：

struct A {
    char       i;
    const char padding[3];
    int        j;
    int        k;
    int        h;
}

sizeof（a_atomic） is 16，16，，和sizeof（a）是16

。

a_atomic.is_always_lock_free返回true。

Answer 1

您可以尝试#pragma Pack（x）（x是一个数字），以查看它如何影响大小。您可以查看 this 。