Dotaz: C - vyhodnocování složitějších podmínek

[CeckoX]

Ahoj. Jakým způsobem vyhodnotí C (kompilátor avr-gcc) tuto podmínku:

if(i>-1 && pole[i] == neco) { ...

?

Pokud se nesplní levá část, bude se pokračovat pravou a tudíš dojde k havárii(dostane se to mimo pole) nebo se vyhodnocování zastaví pokud není splněna první podmínka?

---

---

Odpovědi

[Tomáš Heger (geckon)]

Standardní chování by mělo být částečné vyhodnocování -> pokud není splněna první podmínka, druhá se ani neověřuje.

[jka]

Podle pravidel C je povinné zkrácené vyhodnocení výrazu: kompilátor nejprve vyhodnotí "i>-1" a pokud je výsledek nepravdivý, druhá část už se nevyhodnocuje a celý podmíněný blok se přeskočí (tedy přístup do pole už se neprovede a program nezhavaruje).

Kdyby se to zkompilovalo jinak, byl by to zásadní bug kompilátoru.