Czy funkcje mogą być zoptymalizowane, jeśli mają efekty uboczne?

Question

Chcę zainicjować niektóre dane statyczne w wątku głównym.

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. 
} 

Jeśli kompilator może zdecydować, aby go usunąć, jak mogę zmusić go tam pozostać?

Answer 1

Jedynymi efektami ubocznymi, które może zoptymalizować kompilator C++, są niepotrzebne wywołania konstruktorów, w szczególności konstruktory kopiowania.

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

Answer 2

kompilatory muszą zoptymalizować zgodnie z zasadą "co-jeśli". Oznacza to, że po każdej optymalizacji program musi nadal zachowywać się (w sensie logicznym) tak, jakby kod nie był zoptymalizowany.

Jeśli występują efekty uboczne dla funkcji, każda optymalizacja musi zachować skutki uboczne. Jeśli jednak kompilator może stwierdzić, że wynik działań niepożądanych nie ma wpływu na resztę programu, może zoptymalizować nawet skutki uboczne. Kompilatory są bardzo konserwatywne w tym obszarze. Jeśli twój kompilator optymalizuje skutki uboczne konstruktora HugeBarData lub wywołania baz, które są wymagane w innym miejscu w programie, jest to błąd w kompilatorze.

Istnieje kilka wyjątków, w których kompilator może dokonywać optymalizacji, które zmieniają zachowanie programu z niezoptymalizowanego przypadku, zwykle obejmującego kopie. Nie sądzę, że ma tu zastosowanie którykolwiek z tych wyjątków.