Zkrácené vyhodnocování

Zkrácené vyhodnocování označuje v programování způsob vyhodnocování složených výrazů, kdy se jednotlivé podvýrazy vyhodnocují pouze v případě, že je jejich výsledek potřebný pro získání celého výsledku. Tato metoda se uplatňuje zejména u vyhodnocování logických výrazů, u kterých platí, že

PRAVDA nebo x je určitě PRAVDA, aniž by bylo nutno znát (vyhodnocovat) x,
NEPRAVDA a zároveň x je určitě NEPRAVDA, aniž by bylo nutno znát (vyhodnocovat) x.

Zkrácené vyhodnocování (anglicky short-circuit evaluation) nelze zaměňovat s odloženým vyhodnocováním (anglicky lazy evaluation, česky též líné vyhodnocování) používaným v generátorech a iterátorech a často používaným ve funkcionálním a logickém programování; zatímco při zkráceném vyhodnocování se určité části výrazů nevyhodnocují, protože výsledný výraz nemohou ovlivnit (a již vyhodnocovány nebudou), při odloženém vyhodnocování bude výraz (typicky prvek posloupnosti) vyhodnocen až v okamžiku, kdy bude jeho hodnota skutečně potřeba.

Vliv zkráceného vyhodnocování editovat

V případě, že vyhodnocované podvýrazy nemají žádné vedlejší účinky, je jediným rozdílem při použití/nepoužití zkráceného vyhodnocování rychlost běhu programu (při zkráceném vyhodnocování se musí zpracovat menší část programu, takže je zkrácené vyhodnocování zpravidla rychlejší; existují však i zvláštní případy, kdy je tomu naopak).

V praxi však velká část vyhodnocovaných výrazů nějaké vedlejší efekty má, takže u zkráceného vyhodnocování musí být přesně specifikováno jeho chování, aby se program choval deterministicky.

Příklad editovat

V následujícím případě se jako příklad vedlejšího účinku používá výpis na obrazovku:

...
if ( a() && b() ) {...}
...

function a() {
    print "tady A";
    return false;
}

function b() {
    print "tady B";
    return false;
}

Pokud se bude vyhodnocovat výraz a() and b() bez zkráceného vyhodnocování, kromě získání výsledku false se také na výstup vypíše text

tady A
tady B

Pokud se ale použije zkrácené vyhodnocování a nejdříve se vyhodnotí a(), na výstupu se objeví

tady A

Pokud se při použití zkráceného vyhodnocování nejdříve vyhodnotí b(), na výstupu se objeví

tady B