c++ - std::atomic 上的预增量与后增量

Question

一般的经验法则是在不立即评估值的情况下(即您只想增加对象/迭代器)，更喜欢在 STL 迭代器上使用预增量。这是因为一般来说，前增量的实现比后增量更高效。

但是 std::atomic 呢？如果我运行静态分析(使用 PVS studio)，我会收到一条警告，说预增量应该更有效，但是当我查看预增量的实现时(在 Visual Studio 2015 上)它看起来不如后增量有效？

在 STL 原子值上使用预增量而不是后增量是否有一般规则，或者它是特定于实现的？

Answer 1

我现在无法访问 Windows，但在 gcc 中，区别在于

__atomic_fetch_add(&_M_i, 1, memory_order_seq_cst);

和

__atomic_add_fetch(&_M_i, 1, memory_order_seq_cst);

它们是内置的，所以你可以假设编译器知道如何优化它。

如果你不使用结果，gcc -O3 yield

    lock add        DWORD PTR [rdi], 1

对于两者。

如果您确实使用结果，则 gcc -O3 产生

    mov     DWORD PTR [rsp-24], edi
    mov     eax, 1
    lock xadd       DWORD PTR [rsp-24], eax
    add     eax, 1
    ret

用于预增量，并省略 add eax, 1 用于后增量，所以从技术上讲，是的，预增量的效率低于一次加法，但实际上与顺序内存访问相比相形见绌.

TLDR:别担心