Yan etkileri varsa fonksiyonlar optimize edilebilir mi?

Question

Ana iş parçacığı üzerinde bazı statik verileri başlatmak istiyorum.

int32_t GetFoo(ptime t) 
{ 
    static HugeBarData data; 
    return data.Baz(t); 
} 

int main() 
{ 
    GetFoo(); // Avoid data race on static field. 
       // But will it be optimized away as unnecessary? 

    // Spawn threads. Call 'GetFoo' on the threads. 
} 

Eğer suçlayıcı bunu kaldırmaya karar verebilirse, orada kalmaya nasıl zorlayabilirim?

Answer 1

Bir C++ derleyicisinin en iyi duruma getirebileceği yan etki işlevleri, özellikle yapıcı kopyalayıcılar olmak üzere gereksiz yapıcı çağrılarıdır.

Cf Under what conditions does C++ optimize out constructor calls?

Answer 2

Derleyiciler "olarak eğer" kuralına göre optimize edilmelidir. Yani, herhangi bir optimizasyondan sonra, program, kodun optimize edilmemiş gibi davranmaya devam etmelidir (mantıklı anlamda).

Bir işlevin yan etkileri varsa, herhangi bir optimizasyon yan etkileri korumalıdır. Ancak, derleyici, yan etkilerin sonucunun programın geri kalanını etkilemediğini tespit ederse, yan etkileri bile en iyi duruma getirebilir. Derleyiciler bu alan hakkında oldukça muhafazakârdır. Derleyiciniz, HugeBarData yapıcısını veya programın başka bir yerinde gerekli olan Baz çağrısının yan etkilerini en iyi duruma getirirse, bu derleyicide bir hatadır.

Derleyicinin, genellikle kopyaları içeren, optimize edilmemiş durumdan programın davranışını değiştiren optimizasyonlar yapabileceği bazı istisnalar vardır. Bu istisnaların hiçbirinin burada geçerli olduğunu düşünmüyorum.