为什么C++编译器不将这种条件布尔赋值优化为无条件赋值呢？

Question

void func(bool& flag)
{
    if(!flag) flag=true;
}

void func(bool& flag)
{
    flag=true;
}

然而，gcc和clang都没有这样优化它--它们都在-O3优化级别生成以下内容：

_Z4funcRb:
.LFB0:
    .cfi_startproc
    cmp BYTE PTR [rdi], 0
    jne .L1
    mov BYTE PTR [rdi], 1
.L1:
    rep ret

我的问题是：是因为代码太特殊而不需要优化，还是因为标志不是对volatile的引用，所以不需要这样的优化？似乎唯一的原因可能是标志可能有一个非true-或-false值，但在读取它时没有未定义的行为，但我不确定这是否可能。

Answer 1

由于缓存一致性的考虑，这可能会对程序的性能产生负面影响。每次调用func()时写入flag都会弄脏包含的缓存行。无论写入的值与写入前在目标地址找到的位完全匹配，都会发生这种情况。

编辑

hvd提供了另一个阻止这种优化的好理由。这是一个反对所建议的优化的更有说服力的论点，因为它可能导致未定义的行为，而我（最初）的回答只涉及性能方面。

const bool foo = true;

int main()
{
    func(const_cast<bool&>(foo));
}