为什么std::atomic_is_lock_free不是一个静态常量？

Question

我很困惑。在运行时，实现如何知道类型是否为原子类型？

Answer 1

编译器可能不知道代码将在哪个CPU上运行，并且CPU的无锁能力可能有所不同。例如，CPU可能不支持对long类型的原子操作(因此可能需要一个锁)，但是如果系统只有一个内核，它们可能会自动是原子的，因为它们不能被中断，并且没有其他可与之竞争的内核(因此不需要任何特殊的操作，并且类型是无锁的)。