为何macOS上std::atomic的is_always_lock_free为true但is_lock_free()为false？

我在测试C++原子类型的std::atomic<T>::is_always_lock_free和std::atomic<T>::is_lock_free()时遇到了矛盾情况。定义结构体A后尝试确认其原子版本是否无锁，测试代码如下：

#include <iostream>
#include <atomic>

using namespace std;

struct A {
  int x;
  int y;
  int z;
};

int main() {
  atomic<A> b;

  cout << boolalpha;
  cout << "b.is_always_lock_free = " << b.is_always_lock_free << endl;
  cout << "b.is_lock_free = " << b.is_lock_free() << endl;

  return 0;
}

测试结果：

• x86-64 Linux平台（g++ 9.4.0 + C++17）：输出两个false；
• ARM64 Mac平台（clang++ 16.0.0）：is_always_lock_free为true，is_lock_free()为false。

疑问：既然标记为“总是无锁”，为何实例并非无锁？

核心原因：内存对齐不匹配 #

Clang在ARM64平台的编译期判断中，认为std::atomic<A>存在无锁实现的可能性，因此is_always_lock_free返回true；但运行时栈上的实例b内存对齐未满足无锁操作要求，导致is_lock_free()返回false。

具体细节：

• struct A的大小为12字节，ARM64架构下，无锁原子操作要求操作数地址对齐到其大小的整数倍（即12字节对齐）。
• 栈上局部变量的默认对齐通常为8字节（ARM64栈整体对齐为16字节，但单个变量的对齐粒度不一定达到12字节），无法满足无锁操作的对齐要求。
• is_always_lock_free是编译期常量，仅判断目标架构是否支持对应大小的无锁原子操作，不考虑运行时实例的实际内存布局。
• is_lock_free()是运行时检查，会验证当前实例的地址是否符合对齐要求，若不满足则退化为基于锁的原子操作，返回false。

验证与解决方法 #

• 显式指定实例的对齐要求，确保内存地址满足无锁操作条件：

  int main() {
    alignas(12) atomic<A> b; // 强制12字节对齐
    cout << boolalpha;
    cout << "b.is_always_lock_free = " << b.is_always_lock_free << endl;
    cout << "b.is_lock_free = " << b.is_lock_free() << endl;
    return 0;
  }
  

• 调整结构体A的大小为2的幂次（比如添加一个填充成员，使总大小为16字节），此时默认对齐即可满足无锁操作要求：

  struct A {
    int x;
    int y;
    int z;
    int pad; // 填充后总大小为16字节
  };
  

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