# Doporučené postupy v programování ## Práce s primitivy strukturovaného programování ### Základní primitiva · Ostatní řídící struktury · Poznámky k řízení toku #### Lubomír Bulej ##### KDSS MFF UK

# Základní primitiva ## Sekvence - skupina příkazů prováděných v daném pořadí - přiřazení, volání procedur, funkcí a metod ## Selekce - řídící struktura, která umožňuje selektivní provádění příkazů - větvení if-then, if-then-else, switch, ... ## Iterace - řídící struktura, která umožňuje opakované provádění příkazů - cykly for, while, foreach, ... Note: Steve McConnell o strukturovaném programování: V jádru strukturovaného programování je jednoduchá myšlenka, že program by měl používat pouze řídící konstrukce s jedním vstupem (single-entry) a jedním výstupem (single-exit). Taková konstrukce představuje blok kódu, do kterého se vstupuje pouze v jednom místě, a ze kterého se také v jednom místě vystupuje. Strukturovaný program postupuje vpřed uspořádaným a disciplinovaným způsobem. Takový program se dá číst od shora dolů a v podstatě stejným způsobem je i vykonáván. Základní tezí strukturovaného programování je, že řízení toku libovolného výpočtu je možné dosáhnout kombinací základních primitiv: sekvence, výběru a iterace. Přestože dnes existuje celá řada jazykových obratů pro zvýšení pohodlnosti, většiny pokroku v programování bylo dosaženo *omezováním* toho, co je programátorům povoleno. Proto je nutné použití jiných než základních primitiv, které často porušují princip single-entry/single-exit, vnímat velmi kriticky a být schopen použití takových primitiv zdůvodnit.

# Základní primitiva ## Sekvence ### Uspořádání sekvenčního kódu

# Sekvenční kód ... <p class="key-point">... to je prostě posloupnost příkazů ...</p> <p class="key-point fragment">... na tom přece není co zkazit ...</p>

# Příklad: sekvenční kód ## Příklad 1 ```java stretch data = ReadData(); results = CalculateResultsFromData(data); PrintResults(results); ``` ## Příklad 2 ```java stretch revenue.ComputeMonthly(); revenue.ComputeQuarterly(); revenue.ComputeAnnual(); ``` ## Příklad 3 ```java stretch ComputeMarketingExpense(); ComputeSalesExpense(); ComputeTravelExpense(); ComputePersonnelExpense(); DisplayExpenseSummary(); ```

# Příklad: sekvenční kód ## Na pořadí záleží, závislost je vidět ```java stretch good-code data = ReadData(); results = CalculateResultsFromData(data); PrintResults(results); ``` ## Na pořadí záleží, ale závislost můžeme pouze tušit - pracujeme se stejnými daty, máme pojem o účetnictví ```java stretch bad-code revenue.ComputeMonthly(); revenue.ComputeQuarterly(); revenue.ComputeAnnual(); ``` ## Na pořadí záleží, ale závislost je skrytá ```java stretch bad-code ComputeMarketingExpense(); ComputeSalesExpense(); ComputeTravelExpense(); ComputePersonnelExpense(); DisplayExpenseSummary(); ``` Note: Jak poznáte, že `ComputeMarketingExpense()` také inicializuje data, do kterých ostatní procedury ukládají své výsledky, které nakonec použije `DisplayExpenseSummary()`?

# Příklad: sekvenční kód ## Na pořadí záleží, práce se stejnými daty je explicitní ```java stretch InitializeExpenseData(expenseData); ComputeMarketingExpense(expenseData); ComputeSalesExpense(expenseData); ComputeTravelExpense(expenseData); ComputePersonnelExpense(expenseData); DisplayExpenseSummary(expenseData) ```

# Jak uspořádat sekvenční kód? ## Pokud na pořadí příkazů záleží * pořadí určeno závislostmi mezi příkazy → uspořádání jednoduché * závislosti implikující uspořádání musí být zjevné - vhodné názvy funkcí a jejich parametrů → z názvu musí být jasné, co dělá - explicitní výměna dat mezi metodami - explicitní dokumentace nejasných závislostí v komentáři ## Pokud na pořadí příkazů nezáleží * nezávislost na pořadí by měla být vidět * umožnit čtení kódu shora dolů * seskupit související příkazy - variable span, variable live time - šel by kód zarámovat bez překrývání?

# Příklad: sekvenční kód ## Závislost na pořadí se dá předpokládat ```java stretch ComputeMarketingExpense (marketingData) ComputeSalesExpense(salesData) ComputeTravelExpense(travelData) ComputePersonnelExpense(personnelData) DisplayExpenseSummary(marketingData, salesData, travelData, personnelData) ``` ## Pořadí vynucené deklarací proměnných ```java stretch good-code Expense marketingExpense = ComputeMarketingExpense(marketingData); Expense salesExpense = ComputeSalesExpense(salesData); Expense travelExpense = ComputeTravelExpense(travelData); Expense personnelExpense = ComputePersonnelExpense(personnelData); DisplayExpenseSummary( marketingExpense, salesExpense, travelExpense, personnelExpense ); ```

# Základní primitiva ## Selekce ### Jednoduché větvení · Vnořené větvení · Vícenásobné větvení

# Jednoduché větvení: if-then ## Varianta if-then <div class="grid-2c-2fr-1em-1fr"><div> - indikuje potenciální alternativu – odbočku - jedna z větví je dominantní ## Kdy použít větvení if-then? * pokud se ošetřuje nestandardní případ * kód na rámec běžné činnosti * pokud by větev **else** byla prázdná - opravdu není větev **else** potřeba? - pozná to i někdo jiný, kdo kód bude číst? </div><div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSI4Y20iIGhl aWdodD0iMTZjbSIgdmlld0JveD0iMTkgLTIwMSAxNDIgMzAyIiB4bWxucz0i aHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHhtbG5zOnhsaW5rPSJodHRw Oi8vd3d3LnczLm9yZy8xOTk5L3hsaW5rIj4KICA8Zz4KICAgIDxwb2x5Z29u IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiBwb2ludHM9IjYwLjIxMzIsLTEyMCAx MDAuNDI2LC05OS44OTM0IDYwLjIxMzIsLTc5Ljc4NjggMjAsLTk5Ljg5MzQg Ii8+CiAgICA8cG9seWdvbiBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFj aXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBwb2lu dHM9IjYwLjIxMzIsLTEyMCAxMDAuNDI2LC05OS44OTM0IDYwLjIxMzIsLTc5 Ljc4NjggMjAsLTk5Ljg5MzQgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDog IzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250 LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdo dDogbm9ybWFsIiB4PSI2MC4yMTMyIiB5PSItOTkuODkzNCI+PC90ZXh0Pgog IDwvZz4KICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4 PSI0MCIgeT0iNjAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHJl Y3Qgc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Ut d2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0iNDAiIHk9IjYwIiB3aWR0 aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAj MDAwMDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQt ZmFtaWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0 OiBub3JtYWwiIHg9IjYwIiB5PSI4MCI+PC90ZXh0PgogIDwvZz4KICA8bGlu ZSBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13 aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4MT0iNjAuMjEzMiIgeTE9Ii03 OS43ODY4IiB4Mj0iNjAiIHkyPSI2MCIvPgogIDxnPgogICAgPHJlY3Qgc3R5 bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjEyMCIgeT0iLTQwIiB3aWR0aD0iNDAi IGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAw MDAiIHg9IjEyMCIgeT0iLTQwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4K ICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAwOyBmb250LXNpemU6IDE2 IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5OiBzYW5zOyBmb250LXN0 eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3JtYWwiIHg9IjE0MCIgeT0i LTIwIj48L3RleHQ+CiAgPC9nPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25l OyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMw MDAwMDAiIGQ9Ik0gMTAwLjQyNiAtOTkuODkzNCBDIDE0MCwtMTAwIDE0MCwt ODAgMTQwLC00MCIvPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25lOyBmaWxs LW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAi IGQ9Ik0gMTQwIDAgQyAxNDAsNDAgNjAsMjAgNjAsNjAiLz4KICA8Zz4KICAg IDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI0MCIgeT0iLTIwMCIg d2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHlsZT0iZmls bDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ry b2tlOiAjMDAwMDAwIiB4PSI0MCIgeT0iLTIwMCIgd2lkdGg9IjQwIiBoZWln aHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsgZm9u dC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWlseTogc2Fu czsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9ybWFsIiB4 PSI2MCIgeT0iLTE4MCI+PC90ZXh0PgogIDwvZz4KICA8bGluZSBzdHlsZT0i ZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsg c3Ryb2tlOiAjMDAwMDAwIiB4MT0iNjAiIHkxPSItMTYwIiB4Mj0iNjAuMjEz MiIgeTI9Ii0xMjAiLz4KPC9zdmc+Cg== " class="stretch"/> </div></div>

# Příklad: jednoduché větvení if-then ## Kód nad rámec běžné činnosti ```java stretch good-code ... if (log.isDebugEnabled ()) { log.debug (...); } ... Item item = itemCache.get (key); if (item == null) { item = createItem (key); itemCache.put (key, item); } ... ``` <div class="fragment"> ## Opravdu není else potřeba? ```java stretchbad-code void setSamplePeriod (long samplePeriod) { if (samplePeriod > 0) { this.samplePeriod = samplePeriod; } } ``` </div>

# Jednoduché větvení: if-then-else ## Varianta if-then-else <div class="grid-2c-2fr-1em-1fr"><div> - indikuje povinnou alternativu - obě větve jsou důležité ## Který případ do větve **if**? * dominantní větev - kód se čte jako první - podmínka vyjadřuje explicitní předpoklady * kód bližší primární funkci programu * někdy je nutné podmínku upravit ## Ternární operátor * možno použít pokud je výsledek lépe čitelný - jednoduchá podmínka a výrazy ve větvích, nevnořovat </div><div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSIxMWNtIiBo ZWlnaHQ9IjE2Y20iIHZpZXdCb3g9Ii04MSAxOSAyMDIgMzAyIiB4bWxucz0i aHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHhtbG5zOnhsaW5rPSJodHRw Oi8vd3d3LnczLm9yZy8xOTk5L3hsaW5rIj4KICA8Zz4KICAgIDxwb2x5Z29u IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiBwb2ludHM9IjIwLjIxMzIsMTAwIDYw LjQyNjQsMTIwLjEwNyAyMC4yMTMyLDE0MC4yMTMgLTIwLDEyMC4xMDcgIi8+ CiAgICA8cG9seWdvbiBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5 OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBwb2ludHM9 IjIwLjIxMzIsMTAwIDYwLjQyNjQsMTIwLjEwNyAyMC4yMTMyLDE0MC4yMTMg LTIwLDEyMC4xMDcgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSIyMC4yMTMyIiB5PSIxMjAuMTA3Ij48L3RleHQ+CiAgPC9nPgog IDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjAiIHk9 IjI4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIwIiB5PSIyODAiIHdpZHRoPSI0MCIg aGVpZ2h0PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7 IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6 IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1h bCIgeD0iMjAiIHk9IjMwMCI+PC90ZXh0PgogIDwvZz4KICA8Zz4KICAgIDxy ZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI4MCIgeT0iMTgwIiB3aWR0 aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiBu b25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6 ICMwMDAwMDAiIHg9IjgwIiB5PSIxODAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0 MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZvbnQtc2l6 ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNhbnM7IGZv bnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIgeD0iMTAw IiB5PSIyMDAiPjwvdGV4dD4KICA8L2c+CiAgPHBhdGggc3R5bGU9ImZpbGw6 IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9r ZTogIzAwMDAwMCIgZD0iTSA2MC40MjY0IDEyMC4xMDcgQyAxMDAsMTIwIDEw MCwxNDAgMTAwLDE4MCIvPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAw MDAiIGQ9Ik0gMTAwIDIyMCBDIDEwMCwyNjAgMjAsMjQwIDIwLDI4MCIvPgog IDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjAiIHk9 IjIwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxl PSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAy OyBzdHJva2U6ICMwMDAwMDAiIHg9IjAiIHk9IjIwIiB3aWR0aD0iNDAiIGhl aWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAwOyBm b250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5OiBz YW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3JtYWwi IHg9IjIwIiB5PSI0MCI+PC90ZXh0PgogIDwvZz4KICA8bGluZSBzdHlsZT0i ZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsg c3Ryb2tlOiAjMDAwMDAwIiB4MT0iMjAiIHkxPSI2MCIgeDI9IjIwLjIxMzIi IHkyPSIxMDAiLz4KICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZm ZmZmIiB4PSItODAiIHk9IjE4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+ CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7 IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSItODAiIHk9 IjE4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHls ZT0iZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAw IGNtOyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBm b250LXdlaWdodDogbm9ybWFsIiB4PSItNjAiIHk9IjIwMCI+PC90ZXh0Pgog IDwvZz4KICA8cGF0aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5 OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIC0y MCAxMjAuMTA3IEMgLTYwLDEyMCAtNjAsMTQwIC02MCwxODAiLz4KICA8cGF0 aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13 aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIC02MCAyMjAgQyAtNjAs MjYwIDIwLDI0MCAyMCwyODAiLz4KPC9zdmc+Cg== " class="stretch"/> </div></div>

# Příklad: jednoduché větvení if-then-else ## Kód bližší primární funkci ```java stretch good-code if (snapshot.sampleCount != 0) { snapshot.average = runningTotal / snapshot.sampleCount; } else { snapshot.average = 0; } ``` <br/> ```java stretch good-code probe = probeFactory.create (probeKind); if (probe != null) { registerProbe (probe); } else { log.error (..., probeKind); } ``` <div class="fragment"> ## Ošetření chyb v **if** větvi ```java stretch bad-code probe = probeFactory.create (probeKind); if (probe == null) { log.error (..., probeKind); } else { registerProbe (probe); } ``` </div>

# Vnořená větvení ## Kombinace if-then a if-then-else <div class="grid-2c-1fr-1em-1fr"><div> <div style="float: left;"> ```java stretch ... if () { ... if () { ... } } ... ``` <!-- .element class="smaller" style="margin-left: 4em;" --> </div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSIxMmNtIiBo ZWlnaHQ9IjIxY20iIHZpZXdCb3g9IjE5IC0xODEgMjIzIDQwMiIgeG1sbnM9 Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB4bWxuczp4bGluaz0iaHR0 cDovL3d3dy53My5vcmcvMTk5OS94bGluayI+CiAgPGc+CiAgICA8cG9seWdv biBzdHlsZT0iZmlsbDogI2ZmZmZmZiIgcG9pbnRzPSI2MC4yMTMyLC0xMjAg MTAwLjQyNiwtOTkuODkzNCA2MC4yMTMyLC03OS43ODY4IDIwLC05OS44OTM0 ICIvPgogICAgPHBvbHlnb24gc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3Bh Y2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgcG9p bnRzPSI2MC4yMTMyLC0xMjAgMTAwLjQyNiwtOTkuODkzNCA2MC4yMTMyLC03 OS43ODY4IDIwLC05OS44OTM0ICIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6 ICMwMDAwMDA7IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9u dC1mYW1pbHk6IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWln aHQ6IG5vcm1hbCIgeD0iNjAuMjEzMiIgeT0iLTk5Ljg5MzQiPjwvdGV4dD4K ICA8L2c+CiAgPGc+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogI2ZmZmZmZiIg eD0iNDAiIHk9IjE4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8 cmVjdCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9r ZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSI0MCIgeT0iMTgwIiB3 aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxs OiAjMDAwMDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZv bnQtZmFtaWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2Vp Z2h0OiBub3JtYWwiIHg9IjYwIiB5PSIyMDAiPjwvdGV4dD4KICA8L2c+CiAg PGxpbmUgc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJv a2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeDE9IjYwLjIxMzIiIHkx PSItNzkuNzg2OCIgeDI9IjYwIiB5Mj0iMTgwIi8+CiAgPHBhdGggc3R5bGU9 ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7 IHN0cm9rZTogIzAwMDAwMCIgZD0iTSAxMDAuNDI2IC05OS44OTM0IEMgMTIw LC0xMDAgMTQwLC0xMDAgMTQwLC04MCIvPgogIDxwYXRoIHN0eWxlPSJmaWxs OiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJv a2U6ICMwMDAwMDAiIGQ9Ik0gMTQwIDE0MCBDIDE0MCwxODAgNjAsMTQwIDYw LDE4MCIvPgogIDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYi IHg9IjQwIiB5PSItMTgwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAg IDxyZWN0IHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ry b2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHg9IjQwIiB5PSItMTgw IiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJm aWxsOiAjMDAwMDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207 IGZvbnQtZmFtaWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQt d2VpZ2h0OiBub3JtYWwiIHg9IjYwIiB5PSItMTYwIj48L3RleHQ+CiAgPC9n PgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsg c3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHgxPSI2MCIgeTE9 Ii0xNDAiIHgyPSI2MC4yMTMyIiB5Mj0iLTEyMCIvPgogIDxnPgogICAgPHBv bHlnb24gc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHBvaW50cz0iMTQwLjIxMywt MjAgMTgwLjQyNiwwLjEwNjYwMiAxNDAuMjEzLDIwLjIxMzIgMTAwLDAuMTA2 NjAyICIvPgogICAgPHBvbHlnb24gc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwt b3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIg cG9pbnRzPSIxNDAuMjEzLC0yMCAxODAuNDI2LDAuMTA2NjAyIDE0MC4yMTMs MjAuMjEzMiAxMDAsMC4xMDY2MDIgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmls bDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBm b250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdl aWdodDogbm9ybWFsIiB4PSIxNDAuMjEzIiB5PSIwLjEwNjYwMiI+PC90ZXh0 PgogIDwvZz4KICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZm IiB4PSIxMjAiIHk9IjEwMCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAg ICA8cmVjdCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0 cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIxMjAiIHk9IjEw MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0i ZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNt OyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250 LXdlaWdodDogbm9ybWFsIiB4PSIxNDAiIHk9IjEyMCI+PC90ZXh0PgogIDwv Zz4KICA8bGluZSBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7 IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4MT0iMTQwLjIx MyIgeTE9IjIwLjIxMzIiIHgyPSIxNDAiIHkyPSIxMDAiLz4KICA8Zz4KICAg IDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSIyMDAiIHk9IjIwIiB3 aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJmaWxs OiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJv a2U6ICMwMDAwMDAiIHg9IjIwMCIgeT0iMjAiIHdpZHRoPSI0MCIgaGVpZ2h0 PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZvbnQt c2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNhbnM7 IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIgeD0i MjIwIiB5PSI0MCI+PC90ZXh0PgogIDwvZz4KICA8cGF0aCBzdHlsZT0iZmls bDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ry b2tlOiAjMDAwMDAwIiBkPSJNIDE4MC40MjYgMC4xMDY2MDIgQyAyMDAsMCAy MjAsMCAyMjAsMjAiLz4KICA8cGF0aCBzdHlsZT0iZmlsbDogbm9uZTsgZmls bC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAw IiBkPSJNIDIyMCA2MCBDIDIyMCwxMDAgMTQwLDYwIDE0MCwxMDAiLz4KICA8 Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSIxMjAiIHk9 Ii04MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIxMjAiIHk9Ii04MCIgd2lkdGg9IjQw IiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSIxNDAiIHk9Ii02MCI+PC90ZXh0PgogIDwvZz4KICA8bGluZSBz dHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0 aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4MT0iMTQwIiB5MT0iLTQwIiB4Mj0i MTQwLjIxMyIgeTI9Ii0yMCIvPgo8L3N2Zz4K " style="max-width: 35%; margin-left: 1em; float: left" /> </div><div> <div style="float: left;"> ```java stretch ... if () { ... if () { ... } else { ... } } else { ... } ... ``` <!-- .element class="smaller" --> </div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSIxMmNtIiBo ZWlnaHQ9IjE4Y20iIHZpZXdCb3g9Ii02MSAxOSAyMjMgMzQyIiB4bWxucz0i aHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHhtbG5zOnhsaW5rPSJodHRw Oi8vd3d3LnczLm9yZy8xOTk5L3hsaW5rIj4KICA8Zz4KICAgIDxwb2x5Z29u IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiBwb2ludHM9IjIwLjIxMzIsMTAwIDYw LjQyNjQsMTIwLjEwNyAyMC4yMTMyLDE0MC4yMTMgLTIwLDEyMC4xMDcgIi8+ CiAgICA8cG9seWdvbiBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5 OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBwb2ludHM9 IjIwLjIxMzIsMTAwIDYwLjQyNjQsMTIwLjEwNyAyMC4yMTMyLDE0MC4yMTMg LTIwLDEyMC4xMDcgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSIyMC4yMTMyIiB5PSIxMjAuMTA3Ij48L3RleHQ+CiAgPC9nPgog IDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjAiIHk9 IjMyMCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIwIiB5PSIzMjAiIHdpZHRoPSI0MCIg aGVpZ2h0PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7 IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6 IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1h bCIgeD0iMjAiIHk9IjM0MCI+PC90ZXh0PgogIDwvZz4KICA8cGF0aCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDYwLjQyNjQgMTIwLjEwNyBDIDgw LDEyMCA4MCwxMjAgODAsMTQwIi8+CiAgPGc+CiAgICA8cmVjdCBzdHlsZT0i ZmlsbDogI2ZmZmZmZiIgeD0iMCIgeT0iMjAiIHdpZHRoPSI0MCIgaGVpZ2h0 PSI0MCIvPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3Bh Y2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0i MCIgeT0iMjAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHRleHQg c3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0 aDogMCBjbTsgZm9udC1mYW1pbHk6IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1h bDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIgeD0iMjAiIHk9IjQwIj48L3RleHQ+ CiAgPC9nPgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNp dHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHgxPSIy MCIgeTE9IjYwIiB4Mj0iMjAuMjEzMiIgeTI9IjEwMCIvPgogIDxnPgogICAg PHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHg9Ii02MCIgeT0iMTQwIiB3 aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJmaWxs OiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJv a2U6ICMwMDAwMDAiIHg9Ii02MCIgeT0iMTQwIiB3aWR0aD0iNDAiIGhlaWdo dD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAwOyBmb250 LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5OiBzYW5z OyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3JtYWwiIHg9 Ii00MCIgeT0iMTYwIj48L3RleHQ+CiAgPC9nPgogIDxwYXRoIHN0eWxlPSJm aWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBz dHJva2U6ICMwMDAwMDAiIGQ9Ik0gLTIwIDEyMC4xMDcgQyAtNDAsMTIwIC00 MCwxMjAgLTQwLDE0MCIvPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAw MDAiIGQ9Ik0gLTQwIDE4MCBDIC00MCwzNDAgMjAsMjgwIDIwLDMyMCIvPgog IDxnPgogICAgPHBvbHlnb24gc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHBvaW50 cz0iODAuMjEzMiwyMDAgMTIwLjQyNiwyMjAuMTA3IDgwLjIxMzIsMjQwLjIx MyA0MCwyMjAuMTA3ICIvPgogICAgPHBvbHlnb24gc3R5bGU9ImZpbGw6IG5v bmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTog IzAwMDAwMCIgcG9pbnRzPSI4MC4yMTMyLDIwMCAxMjAuNDI2LDIyMC4xMDcg ODAuMjEzMiwyNDAuMjEzIDQwLDIyMC4xMDcgIi8+CiAgICA8dGV4dCBzdHls ZT0iZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAw IGNtOyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBm b250LXdlaWdodDogbm9ybWFsIiB4PSI4MC4yMTMyIiB5PSIyMjAuMTA3Ij48 L3RleHQ+CiAgPC9nPgogIDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNm ZmZmZmYiIHg9IjEyMCIgeT0iMjQwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAi Lz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6 MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHg9IjEyMCIg eT0iMjQwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0 eWxlPSJmaWxsOiAjMDAwMDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6 IDAgY207IGZvbnQtZmFtaWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7 IGZvbnQtd2VpZ2h0OiBub3JtYWwiIHg9IjE0MCIgeT0iMjYwIj48L3RleHQ+ CiAgPC9nPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNp dHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIGQ9Ik0g MTIwLjQyNiAyMjAuMTA3IEMgMTQwLDIyMCAxNDAsMjIwIDE0MCwyNDAiLz4K ICA8cGF0aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0 cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDE0MCAyODAg QyAxNDAsMzIwIDIwLDI4MCAyMCwzMjAiLz4KICA8Zz4KICAgIDxyZWN0IHN0 eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI2MCIgeT0iMTQwIiB3aWR0aD0iNDAi IGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAw MDAiIHg9IjYwIiB5PSIxNDAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgog ICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZvbnQtc2l6ZTogMTYg Y207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNhbnM7IGZvbnQtc3R5 bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIgeD0iODAiIHk9IjE2 MCI+PC90ZXh0PgogIDwvZz4KICA8bGluZSBzdHlsZT0iZmlsbDogbm9uZTsg ZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAw MDAwIiB4MT0iODAiIHkxPSIxODAiIHgyPSI4MC4yMTMyIiB5Mj0iMjAwIi8+ CiAgPGc+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogI2ZmZmZmZiIgeD0iMCIg eT0iMjQwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0 eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRo OiAyOyBzdHJva2U6ICMwMDAwMDAiIHg9IjAiIHk9IjI0MCIgd2lkdGg9IjQw IiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSIyMCIgeT0iMjYwIj48L3RleHQ+CiAgPC9nPgogIDxwYXRoIHN0 eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRo OiAyOyBzdHJva2U6ICMwMDAwMDAiIGQ9Ik0gNDAgMjIwLjEwNyBDIDIwLDIy MCAyMCwyMjAgMjAsMjQwIi8+CiAgPHBhdGggc3R5bGU9ImZpbGw6IG5vbmU7 IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAw MDAwMCIgZD0iTSAyMCAyODAgQyAyMCwzMjAgMjAsMjgwIDIwLDMyMCIvPgo8 L3N2Zz4K " style="max-width: 35%; margin-left: 1em; float: left;"/> </div></div> - cílem je maximalizovat srozumitelnost - hloubku vnoření omezit 3 až 4 úrovně - tok nominálního kódu by měl být co nejpřímější - obsluha chyb by se měla nahromadit na jednom místě

# Příklad: vnořené větvení ## Nesystematické zpracování chyb (VisualBasic) <pre class="noline-numbers small"><code class="language-vb bad-code stretch" data-line-numbers="|1,4-7,10-12,15-20|2-3,8-9,13-14,21-24" data-trim> OpenFile(inputFile, status) If (status = Status_Error) Then errorType = ErrorType_FileOpenError Else ReadFile(inputFile, fileData, status) If (status = Status_Success) Then SummarizeFileData(fileData, summaryData, status) If (status = Status_Error) Then errorType = ErrorType_DataSummaryError Else PrintSummary(summaryData) SaveSummaryData(summaryData, status) If (status = Status_Error) Then errorType = ErrorType_SummarySaveError Else UpdateAllAccounts() EraseUndoFile() errorType = ErrorType_None End If End If Else errorType = ErrorType_FileReadError End If End If </code></pre>

# Příklad: vnořené větvení ## Systematické zpracování chyb (VisualBasic) <pre class="no-line-numbers small"><code class="language-vb good-code stretch" data-line-numbers="|1-12|13-24" data-trim> OpenFile(inputFile, status) If (status = Status_Success) Then ReadFile(inputFile, fileData, status) If (status = Status_Success) Then SummarizeFileData(fileData, summaryData, status) If (status = Status_Success) Then PrintSummary(summaryData) SaveSummaryData(summaryData, status) If (status = Status_Success) Then UpdateAllAccounts() EraseUndoFile() errorType = ErrorType_None Else errorType = ErrorType_SummarySaveError End If Else errorType = ErrorType_DataSummaryError End If Else errorType = ErrorType_FileReadError End If Else errorType = ErrorType_FileOpenError End If </code></pre>

# Vícenásobné větvení: switch ## Rozvětvení v jednom bodě <div class="grid-2c-2fr-1em-1fr"><div> - příkazy `switch`/`case`/`given` - větve mají stejnou důležitost ## Odlišná síla a bezpečnost v různých jazycích * C/C++, Java - pouze ordinální typy, pouze jedna hodnota - nutný explicitní break * Ruby - cokoliv s definovaným operátorem `===`, neomezené množství hodnot - break je implicitní </div><div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSIxM2NtIiBo ZWlnaHQ9IjE2Y20iIHZpZXdCb3g9Ijc5IDE5IDI0MyAzMDIiIHhtbG5zPSJo dHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgeG1sbnM6eGxpbms9Imh0dHA6 Ly93d3cudzMub3JnLzE5OTkveGxpbmsiPgogIDxnPgogICAgPHBvbHlnb24g c3R5bGU9ImZpbGw6ICNmZmZmZmYiIHBvaW50cz0iMjAwLjIxMywxMDAgMjQw LjQyNiwxMjAuMTA3IDIwMC4yMTMsMTQwLjIxMyAxNjAsMTIwLjEwNyAiLz4K ICAgIDxwb2x5Z29uIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6 MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHBvaW50cz0i MjAwLjIxMywxMDAgMjQwLjQyNiwxMjAuMTA3IDIwMC4yMTMsMTQwLjIxMyAx NjAsMTIwLjEwNyAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAw OyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5 OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3Jt YWwiIHg9IjIwMC4yMTMiIHk9IjEyMC4xMDciPjwvdGV4dD4KICA8L2c+CiAg PGc+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogI2ZmZmZmZiIgeD0iMTgwIiB5 PSIyODAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHJlY3Qgc3R5 bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6 IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0iMTgwIiB5PSIyODAiIHdpZHRoPSI0 MCIgaGVpZ2h0PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAw MDA7IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1p bHk6IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5v cm1hbCIgeD0iMjAwIiB5PSIzMDAiPjwvdGV4dD4KICA8L2c+CiAgPHBhdGgg c3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lk dGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgZD0iTSAyNDAuNDI2IDEyMC4xMDcg QyAzMDAsMTIwIDMwMCwxNDAgMzAwLDE4MCIvPgogIDxwYXRoIHN0eWxlPSJm aWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBz dHJva2U6ICMwMDAwMDAiIGQ9Ik0gMTgwLjEwNyAxMzAuMTYgQyAxNjAsMTQw IDE2MCwxNjAgMTYwLDE4MCIvPgogIDxnPgogICAgPHJlY3Qgc3R5bGU9ImZp bGw6ICNmZmZmZmYiIHg9IjE4MCIgeT0iMjAiIHdpZHRoPSI0MCIgaGVpZ2h0 PSI0MCIvPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3Bh Y2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0i MTgwIiB5PSIyMCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4 dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVu Z3RoOiAwIGNtOyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9y bWFsOyBmb250LXdlaWdodDogbm9ybWFsIiB4PSIyMDAiIHk9IjQwIj48L3Rl eHQ+CiAgPC9nPgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9w YWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHgx PSIyMDAiIHkxPSI2MCIgeDI9IjIwMC4yMTQiIHkyPSIxMDAiLz4KICA8Zz4K ICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI4MCIgeT0iMTgw IiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0eWxlPSJm aWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBz dHJva2U6ICMwMDAwMDAiIHg9IjgwIiB5PSIxODAiIHdpZHRoPSI0MCIgaGVp Z2h0PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZv bnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNh bnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIg eD0iMTAwIiB5PSIyMDAiPjwvdGV4dD4KICA8L2c+CiAgPHBhdGggc3R5bGU9 ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7 IHN0cm9rZTogIzAwMDAwMCIgZD0iTSAxNjAgMTIwLjEwNyBDIDEwMCwxMjAg MTAwLDE0MCAxMDAsMTgwIi8+CiAgPHBhdGggc3R5bGU9ImZpbGw6IG5vbmU7 IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAw MDAwMCIgZD0iTSAxMDAgMjIwIEMgMTAwLDI2MCAyMDAsMjQwIDIwMCwyODAi Lz4KICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSIx NDAiIHk9IjE4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVj dCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13 aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIxNDAiIHk9IjE4MCIgd2lk dGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDog IzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250 LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdo dDogbm9ybWFsIiB4PSIxNjAiIHk9IjIwMCI+PC90ZXh0PgogIDwvZz4KICA8 Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSIyMjAiIHk9 IjE4MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIyMjAiIHk9IjE4MCIgd2lkdGg9IjQw IiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSIyNDAiIHk9IjIwMCI+PC90ZXh0PgogIDwvZz4KICA8Zz4KICAg IDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSIyODAiIHk9IjE4MCIg d2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHlsZT0iZmls bDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ry b2tlOiAjMDAwMDAwIiB4PSIyODAiIHk9IjE4MCIgd2lkdGg9IjQwIiBoZWln aHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsgZm9u dC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWlseTogc2Fu czsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9ybWFsIiB4 PSIzMDAiIHk9IjIwMCI+PC90ZXh0PgogIDwvZz4KICA8cGF0aCBzdHlsZT0i ZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsg c3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDIyMC4zMiAxMzAuMTYgQyAyNDAsMTQw IDI0MCwxNjAgMjQwLDE4MCIvPgogIDxwYXRoIHN0eWxlPSJmaWxsOiBub25l OyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMw MDAwMDAiIGQ9Ik0gMzAwIDIyMCBDIDMwMCwyNjAgMjAwLDI0MCAyMDAsMjgw Ii8+CiAgPHBhdGggc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTow OyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgZD0iTSAxNjAg MjIwIEMgMTYwLDI2MCAyMDAsMjQwIDIwMCwyODAiLz4KICA8cGF0aCBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDI0MCAyMjAgQyAyNDAsMjYwIDIw MCwyNDAgMjAwLDI4MCIvPgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2UtZGFzaGFy cmF5OiA0OyBzdHJva2U6ICMwMDAwMDAiIHgxPSIxOTAiIHkxPSIyMDAiIHgy PSIyMTAiIHkyPSIyMDAiLz4KPC9zdmc+Cg== " /> </div></div>

# Pozor na `switch` <div class="grid-2c-2fr-1em-1fr"><div> ## Typická realizace příkazu `switch` * tělo příkazu `switch` je blok * příkazy `case` jsou jen návěští - kód je souvislý, mezi případy nejsou hranice - pro každý případ je nutný explicitní `break` * z dnešního pohledu špatný návrh - optimalizován na propadávání - na `break` se zapomíná ## Větve by měly být oddělené - propadávání nepoužívat, sdílený kód umístit do funkcí - pokud není vyhnutí, chybějící `break` okomentovat </div><div> ## Switch v C/C++ ```c bad-code stretch switch (inputVar) { case 'A': if (test) { // statement 1 // statement 2 case 'B': // statement 3 // statement 4 } break; } ``` </div></div>

# Příklad: kumulativní operace ## ~~Akceptovatelné~~ použití propadávání ```java stretch switch (errorDocumentationLevel) { case DocumentationLevel.FULL: displayErrorDetails(errorNumber); // Fall through: FULL level also prints summary case DocumentationLevel.SUMMARY: displayErrorSummary(errorNumber); // Fall through: SUMMARY level also prints error number case DocumentationLevel.NUMBER_ONLY: displayErrorNumber(errorNumber); break; default: throw new AssertionError("Invalid documentation level."); } ``` ## Nicméně... - kumulativní chování je možné zapsat hierarchií funkcí - 1 funkce pro každou úroveň → polymorfizmus (state/strategy pattern)

# Použití konstrukce switch ## Řazení případů - abecední, numerické – usnadňuje orientaci - od nominálního k výjimečným – pokud existují - podle četnosti – optimalizace ## Akce pro jednotlivé případy - jednoduché a krátké, aby byla vidět struktura příkazu - v případě nutnosti použít funkci ## Řídící proměnná/výraz - vždy na celý datový typ řídící větvení - při slabé podpoře v jazyce použít kaskádu if-then-elseif

# Příklad: neúplná řídící data ## Nevhodné použití slabé konstrukce switch <pre class="no-line-numbers"><code class="language-c bad-code stretch" data-line-numbers="|1,3,7,11,15" data-trim> action = userCommand[0]; switch (action) { case 'c': Copy(); break; case 'd': DeleteCharacter(); break; case 'f': Format(); break; case 'h': Help(); break; ... default: HandleUserInputError(ErrorType.InvalidUserCommand); } </code></pre>

# Použití `default` případu ## Nepoužívejte falešný `default` * všechny možné případy explicitně ošetřete - možná zjistíte, že switch není vhodná konstrukce * nepoužívejte default pro poslední chybějící případ - chybná sémantika, problém s další údržbou ## Vždy mějte `default` případ * pokud `default` "nemůže nastat", vložit assertion - užitečné pokud zapomenete na nějaký případ

# Příklad: použití `default` případu ## Detekce opomenutých případů <pre class="no-line-numbers"><code class="language-java good-code stretch" data-line-numbers="|1,19-20" data-trim> switch (transaction.type) { case TransactionType.DEPOSIT: ProcessDeposit(transaction); break; case TransactionType.WITHDRAWAL: ProcessWithdrawal(transaction); break; case TransactionType.TRANSFER: ProcessTransfer(transaction); break; case TransactionType.NOOP: // no processing required break; default: LogTransactionError("Unknown transaction type", transaction); } </code></pre>

# Vícenásobné větvení: if-then-elseif ## Kaskáda if-then-elseif-...-else <div class="grid-2c-2fr-1em-1fr"><div> * řídící konstrukce pro 3 a více větví * náhrada slabé jazykové podpory `switch` - kód pouze v listech konstrukce * výpočetně stejně silné, výrazově slabší - více rozhodovacích míst, explicitní způsob vyhodnocení * v C/C++/Java paradoxně bezpečnější - nevyžaduje explicitní `break` ## Použití stejné jako u `switch` - řazení variant, ošetření všech možností - vždy koncové `else` jako default - pozor na falešný default případ </div><div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSIxNWNtIiBo ZWlnaHQ9IjIyY20iIHZpZXdCb3g9IjQ3OSAxOSAyODIgNDIyIiB4bWxucz0i aHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHhtbG5zOnhsaW5rPSJodHRw Oi8vd3d3LnczLm9yZy8xOTk5L3hsaW5rIj4KICA8Zz4KICAgIDxwb2x5Z29u IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiBwb2ludHM9IjU2MC4yMTMsMTAwIDYw MC40MjYsMTIwLjEwNyA1NjAuMjEzLDE0MC4yMTMgNTIwLDEyMC4xMDcgIi8+ CiAgICA8cG9seWdvbiBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5 OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBwb2ludHM9 IjU2MC4yMTMsMTAwIDYwMC40MjYsMTIwLjEwNyA1NjAuMjEzLDE0MC4yMTMg NTIwLDEyMC4xMDcgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSI1NjAuMjEzIiB5PSIxMjAuMTA3Ij48L3RleHQ+CiAgPC9nPgog IDxnPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjU0MCIg eT0iNDAwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDxyZWN0IHN0 eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRo OiAyOyBzdHJva2U6ICMwMDAwMDAiIHg9IjU0MCIgeT0iNDAwIiB3aWR0aD0i NDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAw MDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFt aWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBu b3JtYWwiIHg9IjU2MCIgeT0iNDIwIj48L3RleHQ+CiAgPC9nPgogIDxwYXRo IHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdp ZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIGQ9Ik0gNjAwLjQyNiAxMjAuMTA3 IEMgNjIwLDEyMCA2MTkuOTk5LDE0MCA2MjAuMjEzLDE2MCIvPgogIDxwYXRo IHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdp ZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIGQ9Ik0gNTgwIDE4MC4xMDcgQyA1 NjAsMTgwIDU2MCwyMDAgNTYwLDMwMCIvPgogIDxnPgogICAgPHJlY3Qgc3R5 bGU9ImZpbGw6ICNmZmZmZmYiIHg9IjU0MCIgeT0iMjAiIHdpZHRoPSI0MCIg aGVpZ2h0PSI0MCIvPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6IG5vbmU7IGZp bGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAw MCIgeD0iNTQwIiB5PSIyMCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAg ICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBj bTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHls ZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9ybWFsIiB4PSI1NjAiIHk9IjQw Ij48L3RleHQ+CiAgPC9nPgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25lOyBm aWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAw MDAiIHgxPSI1NjAiIHkxPSI2MCIgeDI9IjU2MC4yMTQiIHkyPSIxMDAiLz4K ICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI0ODAi IHk9IjMwMCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBz dHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0 aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSI0ODAiIHk9IjMwMCIgd2lkdGg9 IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAw MDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZh bWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDog bm9ybWFsIiB4PSI1MDAiIHk9IjMyMCI+PC90ZXh0PgogIDwvZz4KICA8cGF0 aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13 aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDUyMCAxMjAuMTA3IEMg NTAwLDEyMCA1MDAsMTQwIDUwMCwzMDAiLz4KICA8cGF0aCBzdHlsZT0iZmls bDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ry b2tlOiAjMDAwMDAwIiBkPSJNIDUwMCAzNDAgQyA1MDAsMzgwIDU2MCwzNjAg NTYwLDQwMCIvPgogIDxnPgogICAgPHBvbHlnb24gc3R5bGU9ImZpbGw6ICNm ZmZmZmYiIHBvaW50cz0iNjIwLjIxMywxNjAgNjYwLjQyNiwxODAuMTA3IDYy MC4yMTMsMjAwLjIxMyA1ODAsMTgwLjEwNyAiLz4KICAgIDxwb2x5Z29uIHN0 eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRo OiAyOyBzdHJva2U6ICMwMDAwMDAiIHBvaW50cz0iNjIwLjIxMywxNjAgNjYw LjQyNiwxODAuMTA3IDYyMC4yMTMsMjAwLjIxMyA1ODAsMTgwLjEwNyAiLz4K ICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAwOyBmb250LXNpemU6IDE2 IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5OiBzYW5zOyBmb250LXN0 eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3JtYWwiIHg9IjYyMC4yMTMi IHk9IjE4MC4xMDciPjwvdGV4dD4KICA8L2c+CiAgPGc+CiAgICA8cmVjdCBz dHlsZT0iZmlsbDogI2ZmZmZmZiIgeD0iNTQwIiB5PSIzMDAiIHdpZHRoPSI0 MCIgaGVpZ2h0PSI0MCIvPgogICAgPHJlY3Qgc3R5bGU9ImZpbGw6IG5vbmU7 IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAw MDAwMCIgeD0iNTQwIiB5PSIzMDAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIv PgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZvbnQtc2l6ZTog MTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNhbnM7IGZvbnQt c3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIgeD0iNTYwIiB5 PSIzMjAiPjwvdGV4dD4KICA8L2c+CiAgPGc+CiAgICA8cG9seWdvbiBzdHls ZT0iZmlsbDogI2ZmZmZmZiIgcG9pbnRzPSI2ODAuMjEzLDIyMCA3MjAuNDI2 LDI0MC4xMDcgNjgwLjIxMywyNjAuMjEzIDY0MCwyNDAuMTA3ICIvPgogICAg PHBvbHlnb24gc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBz dHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgcG9pbnRzPSI2ODAu MjEzLDIyMCA3MjAuNDI2LDI0MC4xMDcgNjgwLjIxMywyNjAuMjEzIDY0MCwy NDAuMTA3ICIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMwMDAwMDA7IGZv bnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1mYW1pbHk6IHNh bnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6IG5vcm1hbCIg eD0iNjgwLjIxMyIgeT0iMjQwLjEwNyI+PC90ZXh0PgogIDwvZz4KICA8cGF0 aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13 aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDY2MC40MjYgMTgwLjEw NyBDIDY4MCwxODAgNjc5Ljk5OSwyMDAgNjgwLjIxMywyMjAiLz4KICA8Zz4K ICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI2MDAiIHk9IjMw MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHlsZT0i ZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsg c3Ryb2tlOiAjMDAwMDAwIiB4PSI2MDAiIHk9IjMwMCIgd2lkdGg9IjQwIiBo ZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsg Zm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWlseTog c2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9ybWFs IiB4PSI2MjAiIHk9IjMyMCI+PC90ZXh0PgogIDwvZz4KICA8Zz4KICAgIDxy ZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI3MjAiIHk9IjMwMCIgd2lk dGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDog bm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tl OiAjMDAwMDAwIiB4PSI3MjAiIHk9IjMwMCIgd2lkdGg9IjQwIiBoZWlnaHQ9 IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAwMDsgZm9udC1z aXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWlseTogc2Fuczsg Zm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9ybWFsIiB4PSI3 NDAiIHk9IjMyMCI+PC90ZXh0PgogIDwvZz4KICA8cGF0aCBzdHlsZT0iZmls bDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ry b2tlOiAjMDAwMDAwIiBkPSJNIDY0MCAyNDAuMTA3IEMgNjIwLDI0MCA2MjAs MjYwIDYyMCwzMDAiLz4KICA8cGF0aCBzdHlsZT0iZmlsbDogbm9uZTsgZmls bC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAw IiBkPSJNIDcyMC40MjYgMjQwLjEwNyBDIDc0MCwyNDAgNzQwLDI2MCA3NDAs MzAwIi8+CiAgPHBhdGggc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0 eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgZD0iTSA3 NDAgMzQwIEMgNzQwLDM4MCA1NjAsMzYwIDU2MCw0MDAiLz4KICA8cGF0aCBz dHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0 aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDYyMCAzNDAgQyA2MjAsMzgw IDU2MCwzNjAgNTYwLDQwMCIvPgogIDxsaW5lIHN0eWxlPSJmaWxsOiBub25l OyBmaWxsLW9wYWNpdHk6MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMw MDAwMDAiIHgxPSI1NjAiIHkxPSIzNDAiIHgyPSI1NjAiIHkyPSI0MDAiLz4K PC9zdmc+Cg== "> </div></div>

# Příklad: náhrada slabého `switch` ## Náhrada `switch` bez podpory řetězců ```java good-code stretch if (userCommand.equals(COMMAND_STRING_COPY)) { Copy(); } else if (userCommand.equals(COMMAND_STRING_DELETE)) { Delete(); } else if (userCommand.equals(COMMAND_STRING_FORMAT)) { Format(); } else if (userCommand.equals(COMMAND_STRING_HELP)) { Help(); } else { HandleUserInputError(ErrorType.InvalidCommandInput); } ```

# Příklad: aritmetické porovnání <div class="grid-2c-2fr-1em-1fr"><div> <div style="float: clear;"> ## Varianta 1 ```java stretch int compare(int a, int b) { if (a < b) { return -1; } else if (a > b) { return 1; } else { return 0; } } ``` </div> <div style="float: left;"> ## Varianta 2 ```java stretch int compare(int a, int b) { if (a < b) { return -1; } else if (a > b) { return 1; } return 0; } ``` </div> <div style="float: left;"> ## Varianta 3 ```java stretch int compare(int a, int b) { if (a < b) { return -1; } if (a > b) { return 1; } return 0; } ``` </div> </div><div> ## Varianta 4 (Perl 6) ```perl stretch sub compare($$) { given ($1) { when ($_ < $2) { return -1; } when ($_ > $2) { return 1; } default { return 0; } } } ``` </div></div>

# Základní primitiva ## Iterace

# Základní druhy cyklů ## S pevně daným počtem opakování - s řídící proměnnou - bez řídící proměnné ## S flexibilním počtem opakování * test na začátku cyklu * test na konci cyklu * test uprostřed cyklu - předčasné ukončení cyklu - předčasné ukončení těla cyklu Note: Klíčová slova v tuto chvíli nejsou podstatná i když je zjevné, že uvedené základní typy cyklů se typicky realizují pomocí konstrukcí **for**, **for-each**, **while** a **do-while**. Nicméně velké množství cyklů spadá do kategorie s flexibilním počtem opakování, protože jsou v nich používány testy uprostřed těla cyklu, které umožňují buď předčasně ukončit provádění těla cyklu skokem na začátek cyklu, nebo předčasně ukončit celý cyklus skokem za něj.

# Řízení provádění cyklu ## Co se dá na cyklu zkazit? * vynechaná/nekorektní inicializace/aktualizace - řídící proměnné - pomocných proměnných (např. akumulátor) * špatná indexace řídící proměnnou * chyby při vnoření cyklů * nekorektní ukončení cyklu Note: Zásady uvedené na následujících slajdech mají za cíl těmto chybám předcházet.

# Jak udržet cykly pod kontrolou? ## Minimalizovat počet věcí ovlivňující cyklus - cílem je maximální jednoduchost ## Vnitřek cyklu = černá skříňka - jako by to byla funkce - podmínky ukončení jasné i bez koukání dovnitř   ```java good-code while (!inputFile.EndOfFile () && moreDataAvailable) { █████████████████████████████████████████████████ █████████████████████████████████████████████████ █████████████████████████████████████████████████ } ``` <!-- .element class="fragment" -->

# Úvodní část cyklu ## Vstup do cyklu - pouze na začátku, řídící struktury jsou dostačující ## Inicializační kód - těsně před cyklem – instance principu lokality - usnadňuje pozdější modifikaci – vnoření, přesun do funkce

# Řídící struktura cyklu ## Řídící část včetně inicializace na jednom místě - použít C-like `for` pokud je to možné/vhodné - cykly se strukturou *inicializace*, *podmínka*, *krok* - průchod spojovým seznamem, explicitní iterátory ## V hlavičce `for` pracovat **pouze** se řídící proměnnou - operátor `,` je tabu – použít `while` pokud se `for` nehodí ## Testovací část bez vedlejších efektů - vedlejší efekty indikují nevhodnou řídící strukturu - častý důsledek – cyklus s prázdným tělem ## Nekonečné cykly – typicky event handlery - <span class="good-code">`while (true) { ... }`</span> vs. <span class="bad-code">`for (;;) { ... }`</span>

# Příklad: přečtení záznamů ze souboru ## `While` nevhodně maskovaný jako `for` ```java bad-code stretch // read all the entries from a file for (logFile.MoveToStart (), entryCount = 0; !logFile.EndOfFile; entryCount++) { logFile.getEntry (); } ``` <div class="fragment"> ## Vhodnější použití `for`, nejasný význam ```java bad-code stretch entryCount = 0; for (logFile.MoveToStart (); !logFile.EndOfFile(); logFile.getEntry()) { entryCount++; } ``` </div> <div class="fragment"> ## Použití řídící struktury `while` ```java good-code stretch entryCount = 0; logFile.MoveToStart (); while (!logFile.EndOfFile()) { logFile.GetEntry(&logEntry); putEntry(entryCount, logEntry); entryCount++; } ``` </div> Note: V prvním případě příkazy týkající se proměnné `entryCount` vzbuzují dojem, že tato proměnná se podílí na řízení cyklu, přestože cyklus posouvá vpřed volání `logFile.getEntry()`, které je naopak v těle cyklu. Druhý případ ukazuje v principu správné a logické použití příkazu `for`, jelikož v hlavě cyklu jsou pouze příkazy, které tento cyklus řídí, zatímco příkazy týkající se proměnné `entryCount` jsou umístěny před tělem (inicializace) a v těle (aktualizace) cyklu. S ohledem na potenciální nutnost testovat, zda se záznam povedlo přečíst, je však v tomto případě nejvhodnější použití příkazu `while`. Příkaz `for` by měl být primárně využíván pro cykly, jejichž řízení je jednoduché a po přečtení hlavy cyklu není třeba se jím příliš zabývat.

# Příklad: přeskočení řádku na vstupu ## Cyklus s vedlejším efektem v testu ```c++ bad-code while ((inputChar = cin.get()) != '\n') { ; } ``` ## Test bez vedlejšího efektu ```c++ good-code do { inputChar = cin.get(); } while (inputChar != '\n'); ```

# Příklad: čtení řádku ze vstupu <div class="grid-2c-1fr-1em-1fr"><div> ## Cyklus s vedlejším efektem v testu ```c++ bad-code while ((inputChar = cin.get()) != '\n') { inputLine.append(inputChar); } ``` <div class="fragment"> ## Test bez vedlejšího efektu ```c++ good-code do { inputChar = cin.get(); if (inputChar == '\n') { break; } inputLine.append(inputChar); } while (true); ``` </div> <div class="fragment"> ## Kratší verze s malou duplicitou ```c++ good-code inputChar = cin.get(); while (inputChar != '\n') { inputLine.append(inputChar); inputChar = cin.get(); } ``` </div> </div><div class="fragment"> ## Jiný jazyk... ```scala good-code Iterator .continually(cin.get) .takeWhile(_ != '\n') .foreach(inputLine.append) ``` </div></div>

# Výkonná část cyklu ## Cyklus by měl mít pouze jednu funkci - slučování za účelem optimalizace podložit měřením ## Struktura těla cyklu * používat `{` a `}` i pro tělo s jedním příkazem - nelze úplně dodržet u lambda funkcí :-) * maximálně 3 úrovně vnoření * housekeeping kód na konci těla ## Délka těla cyklu - tělo cyklu krátké – méně než 1 obrazovka - v případě nutnosti rozdělit kód těla do funkcí

# Ukončení cyklu ## Ujistěte se, že cyklus skončí - chování v běžných, okrajových a výjimečných případech - pozor na relační operátory a chyby ±1 ## Snažte se učinit podmínky ukončení zjevné - nesahejte na řídící proměnnou uvnitř **for** cyklu - soustřeďte řídící část cyklu do jednoho místa - snažte se zachovat tělo cyklu jako černou skříňku ## Nepoužívejte řídící proměnné mimo cyklus - chování nemusí být definováno, liší se jazyk od jazyku - v případě potřeby přiřazení do speciální proměnné

# Příklad: závislost na řídící proměnné ## Nevhodné použití řídící proměnné ```java bad-code stretch int recordIndex; for (recordIndex = 0; recordIndex < MAX_RECORDS; recordIndex++) { if (entry[recordIndex] == testValue) { break; } } // lots of code ... return (recordIndex < MAX_RECORDS); ```

# Příklad: závislost na řídící proměnné ## Přiřazení do speciální proměnné ```java okay-code stretch boolean found = false; for (int recordIndex = 0; recordIndex < MAX_RECORDS; recordIndex++) { if (entry[recordIndex] == testValue) { found = true; break; } } // lots of code ... return found; ``` <div class="fragment"> ## Ještě lépe: extrakce cyklu do metody + předčasný návrat ```java good-code stretch boolean isPresent(...) { for (int recordIndex = 0; recordIndex < MAX_RECORDS; recordIndex++) { if (entry[recordIndex] == testValue) { return true; } } return false; } ``` </div>

# Předčasné ukončení cyklu ## Příkazy `break` a `continue` * narušují koncept těla cyklu jako černé skříňky * řízení cyklu je složitější, ale může být přehlednější - příliš mnoho výskytů v cyklu indikuje špatnou strukturu ## Použijte `continue` k přeskočení zbytku těla - ušetří `if` a odsazení těla cyklu - pouze v horní části těla, jinak `if` ## Použijte `break` k ukončení cyklu * ušetří zbytečný běh u cyklů s pevným počtem opakování * ušetří pomocný příznak u cyklů s flexibilním počtem opakování * použijte `break` s návěštím, pokud to jazyk podporuje - vždy je jasné, ze kterého bloku `break` vyskočí Note: Použití `continue` mi nepřijde zdaleka intruzivní jako `break`. Pokud pracujeme s konceptem těla cyklu jako funkce, `continue` představuje předčasný návrat z funkce, což je poměrně běžný jev. Oproti tomu `break` je jakousi analogií výjimky a jeho použití v těle cyklu se dá přirovnat k vyvolání výjimky ve funkci, jejíž volající výjimku neošetřuje a nechává ji projít až o úroveň výš. Proto `break` činí řízení cyklu složitějším a jeho použití je nutné umět zdůvodnit.

# Příklad: `break` v bloku do-switch-if <div class="grid-2c-1fr-1em-1fr"><div> ## Chybné použití `break` ```java bad-code stretch do { ... switch (...) { ... if (...) { ... break; ... } ... } ... } while (...); ``` </div><div class="fragment"> ## Použití `break` s návěštím ```java good-code stretch do { ... switch (...) { ... CALL_CENTER_DOWN: if (...) { ... break CALL_CENTER_DOWN; ... } ... } ... } while (...); ``` </div></div> Note: Podle Software Engineering News (1990) byl break v uvedeném příkladu navíc (byl míněn pro vyskočení z if) a 15. ledna 1990 způsobil 9-hodinový výpadek telefonního systému v New York City. U breaku s návěštím (což např. Java umožňuje) by bylo jasné, co je cílem. Nicméně uvedený kód se stejně Java překladači nebude líbit, protože pokud by za příkazem break byl nějaký další kód, překladač bude protestovat, že ten kód je nedosažitelný.

# Řídící proměnné ## Obecná doporučení (viz. práce s proměnnými) - používejte ordinální datové typy - omezte viditelnost řídící proměnné na cyklus - používejte popisné názvy proměnných ## Vyhněte se explicitním řídícím proměnným * cykly typu `for-each` – nutná podpora jazyka * řadě případů se vyhnout nelze - pokud je potřeba index - při práci s více kolekcemi * dynamické jazyky mívají silnější konstrukce pro iteraci - typicky vyžadují podporu funkcí/bloků jako first-class entit

# Příklad: procházení pole v Javě ## S použitím explicitní řídící proměnné ```java bad-code stretch for (int i = 0; i < lines.length; i++) { System.out.println(lines[i]); } ``` ## S použitím implicitní řídící proměnné ```java okay-code stretch for (String line: lines) { System.out.println(line); } ``` <div class="fragment"> ## Ještě lépe: format + print ```java good-code stretch String formatLines(String[] lines) { return String.join("\n", lines); } System.out.println(formatLines(lines)); ``` </div>

# Práce s primitivy strukturovaného programování ## Ostatní řídící struktury ### Návrat z funkce · GoTo

# Návrat z funkce ## Použijte `return` pokud zlepší čitelnost <div class="grid-2c-2fr-1em-1fr"><div> * návrat okamžitě při znalosti výsledku * typicky v rutinách, které nevyžadují úklid - kód má funkcionální charakter, bez vedlejších efektů - `int compare (int a, int b)` * příliš mnoho výskytů dále od sebe snižuje přehlednost ## Použijte ochranné podmínky pro zjednodušení obsluhy chyb - před provedením akce je nutné vyloučit řadu chybových případů - při vnořování if-then vede na hluboce zanořený normální kód - validaci nebo normální kód je možné odsunout do zvláštní funkce </div><div> <img src="data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiIHN0YW5kYWxv bmU9Im5vIj8+CjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBT VkcgMS4wLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL1RSLzIwMDEvUFItU1ZH LTIwMDEwNzE5L0RURC9zdmcxMC5kdGQiPgo8c3ZnIHdpZHRoPSI4Y20iIGhl aWdodD0iMTVjbSIgdmlld0JveD0iMTkgLTE4MSAxNDIgMjgyIiB4bWxucz0i aHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHhtbG5zOnhsaW5rPSJodHRw Oi8vd3d3LnczLm9yZy8xOTk5L3hsaW5rIj4KICA8Zz4KICAgIDxwb2x5Z29u IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiBwb2ludHM9IjYwLjIxMzIsLTEyMCAx MDAuNDI2LC05OS44OTM0IDYwLjIxMzIsLTc5Ljc4NjggMjAsLTk5Ljg5MzQg Ii8+CiAgICA8cG9seWdvbiBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFj aXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBwb2lu dHM9IjYwLjIxMzIsLTEyMCAxMDAuNDI2LC05OS44OTM0IDYwLjIxMzIsLTc5 Ljc4NjggMjAsLTk5Ljg5MzQgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDog IzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250 LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdo dDogbm9ybWFsIiB4PSI2MC4yMTMyIiB5PSItOTkuODkzNCI+PC90ZXh0Pgog IDwvZz4KICA8cGF0aCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5 OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiBkPSJNIDEw MC40MjYgLTk5Ljg5MzQgQyAxMjAsLTEwMCAxNDAsLTEwMCAxNDAsLTgwIi8+ CiAgPGc+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogI2ZmZmZmZiIgeD0iNDAi IHk9Ii0xODAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHJlY3Qg c3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lk dGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0iNDAiIHk9Ii0xODAiIHdpZHRo PSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHRleHQgc3R5bGU9ImZpbGw6ICMw MDAwMDA7IGZvbnQtc2l6ZTogMTYgY207IGxlbmd0aDogMCBjbTsgZm9udC1m YW1pbHk6IHNhbnM7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC13ZWlnaHQ6 IG5vcm1hbCIgeD0iNjAiIHk9Ii0xNjAiPjwvdGV4dD4KICA8L2c+CiAgPGxp bmUgc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Ut d2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgeDE9IjYwIiB5MT0iLTE0MCIg eDI9IjYwLjIxMzIiIHkyPSItMTIwIi8+CiAgPGc+CiAgICA8cG9seWdvbiBz dHlsZT0iZmlsbDogI2ZmZmZmZiIgcG9pbnRzPSI2MC4yMTMyLC0yMCAxMDAu NDI2LDAuMTA2NjAyIDYwLjIxMzIsMjAuMjEzMiAyMCwwLjEwNjYwMiAiLz4K ICAgIDxwb2x5Z29uIHN0eWxlPSJmaWxsOiBub25lOyBmaWxsLW9wYWNpdHk6 MDsgc3Ryb2tlLXdpZHRoOiAyOyBzdHJva2U6ICMwMDAwMDAiIHBvaW50cz0i NjAuMjEzMiwtMjAgMTAwLjQyNiwwLjEwNjYwMiA2MC4yMTMyLDIwLjIxMzIg MjAsMC4xMDY2MDIgIi8+CiAgICA8dGV4dCBzdHlsZT0iZmlsbDogIzAwMDAw MDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNtOyBmb250LWZhbWls eTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXdlaWdodDogbm9y bWFsIiB4PSI2MC4yMTMyIiB5PSIwLjEwNjYwMiI+PC90ZXh0PgogIDwvZz4K ICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZmIiB4PSI0MCIg eT0iNjAiIHdpZHRoPSI0MCIgaGVpZ2h0PSI0MCIvPgogICAgPHJlY3Qgc3R5 bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3BhY2l0eTowOyBzdHJva2Utd2lkdGg6 IDI7IHN0cm9rZTogIzAwMDAwMCIgeD0iNDAiIHk9IjYwIiB3aWR0aD0iNDAi IGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0IHN0eWxlPSJmaWxsOiAjMDAwMDAw OyBmb250LXNpemU6IDE2IGNtOyBsZW5ndGg6IDAgY207IGZvbnQtZmFtaWx5 OiBzYW5zOyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtd2VpZ2h0OiBub3Jt YWwiIHg9IjYwIiB5PSI4MCI+PC90ZXh0PgogIDwvZz4KICA8bGluZSBzdHls ZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0cm9rZS13aWR0aDog Mjsgc3Ryb2tlOiAjMDAwMDAwIiB4MT0iNjAuMjEzMiIgeTE9IjIwLjIxMzIi IHgyPSI2MCIgeTI9IjYwIi8+CiAgPGc+CiAgICA8cmVjdCBzdHlsZT0iZmls bDogI2ZmZmZmZiIgeD0iMTIwIiB5PSIyMCIgd2lkdGg9IjQwIiBoZWlnaHQ9 IjQwIi8+CiAgICA8cmVjdCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFj aXR5OjA7IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIx MjAiIHk9IjIwIiB3aWR0aD0iNDAiIGhlaWdodD0iNDAiLz4KICAgIDx0ZXh0 IHN0eWxlPSJmaWxsOiAjMDAwMDAwOyBmb250LXNpemU6IDE2IGNtOyBsZW5n dGg6IDAgY207IGZvbnQtZmFtaWx5OiBzYW5zOyBmb250LXN0eWxlOiBub3Jt YWw7IGZvbnQtd2VpZ2h0OiBub3JtYWwiIHg9IjE0MCIgeT0iNDAiPjwvdGV4 dD4KICA8L2c+CiAgPHBhdGggc3R5bGU9ImZpbGw6IG5vbmU7IGZpbGwtb3Bh Y2l0eTowOyBzdHJva2Utd2lkdGg6IDI7IHN0cm9rZTogIzAwMDAwMCIgZD0i TSAxMDAuNDI2IDAuMTA2NjAyIEMgMTIwLC04LjIyMDE4ZS0wOCAxNDAsMCAx NDAsMjAiLz4KICA8Zz4KICAgIDxyZWN0IHN0eWxlPSJmaWxsOiAjZmZmZmZm IiB4PSIxMjAiIHk9Ii04MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAg ICA8cmVjdCBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7IHN0 cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4PSIxMjAiIHk9Ii04 MCIgd2lkdGg9IjQwIiBoZWlnaHQ9IjQwIi8+CiAgICA8dGV4dCBzdHlsZT0i ZmlsbDogIzAwMDAwMDsgZm9udC1zaXplOiAxNiBjbTsgbGVuZ3RoOiAwIGNt OyBmb250LWZhbWlseTogc2FuczsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250 LXdlaWdodDogbm9ybWFsIiB4PSIxNDAiIHk9Ii02MCI+PC90ZXh0PgogIDwv Zz4KICA8bGluZSBzdHlsZT0iZmlsbDogbm9uZTsgZmlsbC1vcGFjaXR5OjA7 IHN0cm9rZS13aWR0aDogMjsgc3Ryb2tlOiAjMDAwMDAwIiB4MT0iNjAuMjEz MiIgeTE9Ii03OS43ODY4IiB4Mj0iNjAuMjEzMiIgeTI9Ii0yMCIvPgo8L3N2 Zz4K "/> </div></div>

# Příklad: předčasný návrat z funkce ## Obsluha chyb skrývá normální kód ```vb bad-code stretch If file.validName () Then If file.Open () Then If encryptionKey.valid () Then If file.Decrypt (encryptionKey) Then ' lots of code ... End If End If End If End If ``` <div class="fragment"> ## Obsluha chyb s předčasným návratem, ideální ```vb good-code stretch ' set up, bailing out if errors are found If Not file.validName () Then Exit Sub If Not file.Open () Then Exit Sub If Not encryptionKey.valid () Then Exit Sub If Not file.Decrypt (encryptionKey) Then Exit Sub ' lots of code ... ``` </div>

# Příklad: předčasný návrat z funkce ## Obsluha chyb s předčasným návratem, realistická ```vb good-code stretch ' set up, bailing out if errors are found If Not file.validName () Then errorStatus = FileError.InvalidFileName Exit Sub End If If Not file.Open () Then errorStatus = FileError.CannotOpenFile Exit Sub End If If Not encryptionKey.valid () Then errorStatus = FileError.InvalidEncryptionKey Exit Sub End If If Not file.Decrypt (encryptionKey) Then errorStatus = FileError.CannotDecryptFile Exit Sub End If ' lots of code ... ```

# GoTo. GoTo? GoTo! ## GoTo žije – dokonce i v jazyce Ada - přes všechny rozpory přežilo nástup strukturovaného programování ## Proč je `goto` špatné? - narušuje logickou (blokovou) strukturu kódu - špatně se formátuje - brání překladači v některých optimalizacích ## Proč se `goto` hodí? * umožňuje eliminovat duplikaci kódu * při alokaci prostředků umožňuje řešit úklid v jedné části kódu - výskyt chyby s již přidělenou částí prostředků * při opatrném použití může odstranit nedostatky moderního jazyka

# Kdy použít GoTo? ## Modelová situace - program postupně alokuje prostředky - každá alokace může selhat - při selhání je nutné vrátit dosud alokované prostředky - normální kód proběhne až když má všechny potřebné prostředky - normální kód může a nemusí některé prostředky vracet ## Standardní řešení pomocí if-then - duplikuje kód pro vrácení dosud alokovaných prostředků - vytváří příliš velké vnoření pro normální kód ## Jiná řešení - stavová proměnná indikující chybový stav funkce, break blok - použití try-finally – vyžaduje používání výjimek v rozhraní

# Příklad: `goto` při obsluze chyb ```c stretch process_t process_create(...) { ... proc_thread = (struct thread *) kmalloc(sizeof(struct thread)); if (proc_thread == NULL) goto fail_exit; ... proc_vmm = vmm_alloc(); if (proc_vmm == NULL) goto fail_clean_thread; ... result = vmm_vmalloc(proc_vmm, &program_image, ...); if (result != EOK) goto fail_clean_vmm; ... proc_stack = vmm_alloc_stack(proc_vmm, ...); if (proc_stack != NULL) goto fail_clean_image; ... result = copy_to_vm(proc_vmm, proc_image, ...); if (result != EOK) goto fail_clean_stack; ... // now we can finally initialize the process ... return (process_t) proc_thread; // Here comes error handling fail_clean_stack: vmm_vfree(proc_vmm, proc_stack); fail_clean_image: vmm_vfree(proc_vmm, proc_image); fail_clean_vmm: vmm_free(proc_vmm); fail_clean_thread: kfree(thread); fail_exit: return NULL; } ``` <!-- .element style="font-size: 52%;" -->

# Jak používat GoTo? <div class="fragment"> ## Nepoužívat! - ke `goto` se lze pouze uchýlit :-) </div> <div class="fragment"> ## Kdy a jak se tedy uchýlit? - pokud jazyk nepodporuje ekvivalentní konstrukci - snažte se omezit na jedno návěští v jedné funkci - snažte se použít `goto` pouze pro dopředné skoky - ujistěte se, že jste nevytvořili nedosažitelný kód - ujistěte se, že všechna návěští jsou použita, nepoužitá smažte </div>

# Práce s primitivy strukturovaného programování ## Poznámky k řízení toku ### Logické výrazy · Numerická porovnání · Zkrácené vyhodnocování · Zjednodušování výrazů

# Logické výrazy ## Používejte vhodný typ a hodnoty `True` a `False` * vyhněte se literálům `0` a `1` * v případě nutnosti nadefinovat - `TRUE ~ (1 == 1)`, `FALSE ~ !TRUE` ## Používejte implicitní porovnání - výrazy se dají lépe číst

# Zjednodušení složitých výrazů ## Rozdělte složité testy na více částí - použijte logické proměnné pro části výrazů - důležité je proměnné výstižně pojmenovat ## Přesuňte složité výrazy do funkcí - složitý test odvádí pozornost od hlavního toku - čtenář se může testu věnovat až když je to důležité - nebojte se o rychlost u jednorázových funkcí ## Přesuňte logiku do rozhodovacích tabulek - nekódujte data do výrazů

# Příklad: zjednodušení podmínky ## Špatně čitelná podmínka ```java stretch bad-code if ( document.atEndOfStream() && !inputError && lineCount >= MIN_LINES && lineCount <= MAX_LINES && !errorProcessing() ) { /* ... */ } ``` ## Zjednodušená varianta ```java stretch good-code boolean allDataRead = document.atEndOfStream() && !inputError; boolean legalLineCount = (lineCount >= MIN_LINES) && (lineCount <= MAX_LINES); if (allDataRead && legalLineCount && !errorProcessing()) { /* ... */ } ```

# Konstrukce logických výrazů ## Výrazy formulujte pozitivně - viz. názvy logických proměnných - v podmínce buď vyměnit větve nebo změnit jméno - zkuste aplikovat DeMorganova pravidla ## Používejte závorky pro vyjasnění výrazů * závorky navíc neškodí * závorkujte `&&` a `||` na stejné úrovni - zde nemají sémantiku součtu a součinu

# Vyhodnocování logických výrazů ## Úplné vs. zkrácené (short-circuit) vyhodnocení - Pokud lze u operátorů `&&` a `||` určit výsledek z prvního operandu, druhý operand se nevyhodnotí. ## Časté použití (`&&`) * kontrola, zda je dále používaná proměnná `null` - `if (s != null && s.length() > 0) { ... }` * kontrola, zda je index v mezích * kontrola, zda není dělitel `0` ## Raději nepoužívat * horší srozumitelnost, nekomutativní operátory * dochází k míchání významů testů - rozdíl mezi `null` referencí a nulovou délkou řetězce

# Numerická porovnání ## Uspořádání podle číselné osy - indikuje, kde má prvek být při splnění testu - umožňuje vizualizaci porovnání - konzistentní zápis ## Jiný pohled * porovnávání typicky asymetrické - něco malého/dynamického porovnáváme s něčím statickým/velkým * malé/dynamické jako první - `if (slideIndex >= 0 && slideIndex < slides.length) { ... }` * lépe sleduje tok myšlenek, méně konzistentní

# Porovnání s nulovým prvkem ## Test na hodnotu `False` implicitní - zvyšuje čitelnost ## Porovnání s hodnotami `0`, `'\0'` a `NULL` explicitní - zvyšuje srozumitelnost – literál `0` má mnoho významů ## Smíšená porovnání spíše explicitní - často v dynamických jazycích, implicitní porovnání testuje `NULL` i prázdný řetězec/pole - syntaktické pokrytí více případů může zakrývat sémantické rozdíly

# Ostatní drobnosti ## Konstanty v podmínce nalevo - zabrání záměně `==` a `=` - v některých jazycích ošetřené na jiné úrovni (Java, C#) - někdy upozorní i kompilátor ## Používejte `{` a `}` i když je v těle jen jeden příkaz - konzistentní vzhled kódu - při rozšiřování těla se nezapomene na `{` a `}` - při zkrácení těla není nutné `{` a `}` odstraňovat