C ++ derleyicileri neden bu koşullu boole atamasını koşulsuz bir atama olarak optimize etmiyor?

Aşağıdaki işlevi düşünün:

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

Bana öyle geliyor ki, bayrak geçerli bir boole değerine sahipse, bu, şu şekilde koşulsuz olarak ayarlanmasına eşdeğer olacaktır true:

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

Yine de ne gcc ne de clang bunu bu şekilde optimize etmez - her ikisi de aşağıdakileri -O3optimizasyon düzeyinde üretir :

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

Benim sorum şudur: kod optimize etmek ister ya da bu tür optimizasyon istenmeyen nedenlerine herhangi iyi nedenler vardır çok özel bir durumdur sadece budur, yani verilen flagbir referans değil volatile? Görünen o ki tek neden , okuma noktasında tanımlanmamış bir davranış olmaksızın flagbir true-veya- falsedeğere sahip olabilmesidir , ancak bunun mümkün olup olmadığından emin değilim.

Bu, önbellek tutarlılığı ile ilgili hususlar nedeniyle programın performansını olumsuz etkileyebilir . Yazma flagher zaman func()içeren önbellek satırı kirli olur denir. Bu, yazılan değerin yazmadan önce hedef adresinde bulunan bitlerle tam olarak eşleşmesine bakılmaksızın gerçekleşir.

DÜZENLE

hvd , böyle bir optimizasyonu engelleyen başka bir iyi neden daha sağlamıştır . Bu, önerilen optimizasyona karşı daha zorlayıcı bir argümandır, çünkü tanımlanmamış davranışa neden olabilir, oysa benim (orijinal) cevabım yalnızca performans yönlerine değinmiştir.

Biraz daha derinlemesine düşündükten sonra, koşulsuz yazmayı tanıtmaktan, belirli bir bağlam için dönüşümün güvenli olduğunu kanıtlayamazlarsa, derleyicilerin neden şiddetle yasaklanması gerektiğine dair bir örnek daha önerebilirim. Bu kodu düşünün:

const bool foo = true;

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

Koşulsuz bir yazma ile func()bu kesinlikle tanımsız davranışı tetikler (salt okunur belleğe yazmak, yazma etkisi başka türlü işlemsiz olsa bile programı sonlandırır).

Leon'un performans konusundaki cevabının yanı sıra:

Varsayalım flagöyle true. İki iş parçacığının sürekli aradığını varsayalım func(flag). Yazıldığı şekliyle işlev, bu durumda hiçbir şey kaydetmez flag, bu nedenle bu iş parçacığı açısından güvenli olmalıdır. İki iş parçacığı aynı belleğe erişir, ancak yalnızca onu okumak için. Koşulsuz flagolarak true, iki farklı iş parçacığının aynı belleğe yazılacağı anlamına gelir. Bu güvenli değildir, yazılan veriler zaten mevcut olan verilerle aynı olsa bile bu güvensizdir.

Buradaki C ++ davranışından emin değilim, ancak C'de bellek değişebilir çünkü bellek 1'den farklı sıfır olmayan bir değer içeriyorsa, kontrolle değişmeden kalır, ancak kontrolle 1 olarak değişir.

Ama C ++ konusunda pek iyi olmadığım için bu durumun mümkün olup olmadığını bile bilmiyorum.