Zwarcie oceny i skutki uboczne

Question

Ok, jestem trochę Zawstydzony zadać to pytanie, ale ja po prostu chcesz mieć pewność ...

Wiadomym jest, że C wykorzystuje krótkie oceny obwodu w wyrażeniach logicznych:

int c = 0; 
if (c && func(c)) { /* whatever... */ } 

W tym przykładzie func(c) nie nazywa bo c ocenia się 0. Ale co powiesz na bardziej wyrafinowany przykład, w którym efekty uboczne porównania zmienią porównywalną zmienną w następnej kolejności? Tak:

int c; /* this is not even initialized... */ 
if (canInitWithSomeValue(&c) && c == SOMETHING) { /*...*/ } 

Funkcja canInitWithSomeValue powraca prawdziwa wartość i zmiany w danym wskaźnikiem w przypadku powodzenia. Czy jest zagwarantowane, że kolejne porównania (c == SOMETHING w tym przykładzie) używają wartości ustawionej przez canInitWithSomeValue(&c)?

Nie ważne jak ciężkie optymalizacje wykorzystuje kompilator?

Answer 1

gwarantuje się, że kolejnych porównań (c == coś w tym przykładzie) wykorzystuje wartość ustawioną przez canInitWithSomeValue (& C)?

Tak. Ponieważ nie jest sequence point

Między oceną lewej i prawej argumentów Spośród && (logiczne AND), || (logiczne OR) oraz operatorów przecinkami. Na przykład w wyrażeniu *p++ != 0 && *q++ != 0 wszystkie efekty uboczne podekspresji * p ++! = 0 są kończone przed każdą próbą uzyskania dostępu do q.

---

Punkt sekwencja definiuje dowolny punkt w realizacji programu komputerowego jest przy której jest gwarantowane, że wszystkie skutki uboczne poprzednich ewaluacji zostaną przeprowadzone, a żadne skutki uboczne kolejnych ocenach jeszcze zostały przeprowadzone .

Answer 2

Tak. Ponieważ zarówno operator &&, jak i || są również czymś, co nazywa się punktami sekwencji. Te ostatnie określają, kiedy skutki uboczne poprzedniej operacji powinny być zakończone, a następne nie powinny się rozpocząć.

Answer 3

Ocena w warstwie kompilacji if jest ściśle od lewej do prawej. Jedyną okolicznością, w której drugi test w twoim przypadku byłby zoptymalizowany, jest to, czy kompilator może ustalić z 100% pewnością, że pierwszy jest identycznie równy false.