Labeled break v C# 15: praktické použití

# Označené break a continue v C# 15: kdy a proč používat nové štítky smyček

V C# 15 se objevila dlouho očekávaná, ale kontroverzní funkce — označené break a continue. Navzdory kritice ze strany části komunity toto novum řeší konkrétní problémy, které vznikají při práci s vnořenými smyčkami a switch výrazy. Zejména je to aktuální pro případy, kdy je potřeba ukončit ne nejbližší blok, ale vnější smyčku bez použití goto nebo příznaků.

Problém ukončení z vnořených konstrukcí

Tradičně v C# chyběla možnost explicitně určit, ze které přesně smyčky má break nebo continue vystoupit. To vedlo k nutnosti zavádět dodatečné logické příznaky, rozbíjet kód na metody nebo používat goto — což odporuje principům čistého kódu. Například při zpracování dvourozměrných datových struktur je často potřeba okamžitě ukončit všechny iterace při splnění určitého podmínky:

string foundValue = null;
bool shouldBreak = false;

for (int x = 0; x < xMax; x++)
{
    for (int y = 0; y < yMax; y++)
    {
        foundValue = GetValue(x, y);

        if (foundValue == targetValue)
        {
            shouldBreak = true;
            break;
        }
    }

    if (shouldBreak)
    {
        break;
    }
}

ProcessValue(foundValue);

Tento přístup nejen zahlcuje kód, ale vytváří i riziko chyb — například volání ProcessValue i v případě, že hodnota nebyla nalezena. Alternativa ve formě vyčlenění logiky do samostatné metody zlepšuje čitelnost, ale není vždy použitelná, zejména pokud stav smyčky závisí na několika vnějších proměnných.

Reálné scénáře použití označených break/continue

Nejpřesvědčivější případ pro použití štítků je práce se switch uvnitř smyčky. Bez označeného break nelze ze case větve vystoupit z celé smyčky. Dříve museli vývojáři použít goto nebo zabalit logiku do lambd nebo lokálních funkcí. Nyní je řešení přímočaré:

outer: foreach (var item in collection)
{
    switch (item.Type)
    {
        case ItemType.StopAll:
            break outer;
        case ItemType.SkipGroup:
            continue outer;
    }
}

Takový kód jednoznačně vyjadřuje záměr: break outer ukončí celou smyčku a continue outer přejde k další iteraci vnější smyčky. To je obzvláště užitečné v parserech, konečných automatech a systémech směrování událostí.

Kdy se štítkům vyhnout

Navzdory technické správnosti označené break a continue nejsou vhodné používat všude. Jejich použití je oprávněné jen v situacích, kde alternativy zhoršují čitelnost nebo výkon. Ve většině případů je lepší:

• Vyčlenit logiku do samostatných metod s předčasným návratem (early return).
• Použít LINQ operátory (FirstOrDefault, Any apod.) pro hledání hodnot.
• Aplikovat příznaky jen při jednoduché struktuře vnořenosti.

Štítky jsou oprávněné, když:

• Smyčka obsahuje switch s mnoha case, které vyžadují řízení toku na úrovni vnější smyčky.
• Výkon je kritický a vyčlenění do metody je nežádoucí kvůli režii.
• Logika se nedá dekomponovat bez ztráty sémantické celistvosti.

Srovnání přístupů: štítky vs. refaktoring

Projdeme tři způsoby realizace stejného scénáře — hledání hodnoty v matici s možností přeskočení řádků a předčasného ukončení:

Způsob 1: Příznaky

— Výhody: kompatibilita se všemi verzemi C#.

— Nevýhody: vysoká kognitivní složitost, riziko chyb.

Způsob 2: Rozdělení na metody

— Výhody: čitelnost, testovatelnost, shoda se principy SOLID.

— Nevýhody: možný nárůst hloubky zásobníku volání.

Způsob 3: Označené break/continue

— Výhody: kompaktnost, přesné vyjádření záměru.

— Nevýhody: omezená použitelnost, neznámost pro část vývojářů.

Volba závisí na kontextu. Pro business logiku je ideální způsob 2. Pro systémový kód nebo parsery způsob 3.

Co je důležité

• Označené break a continue v C# 15 řeší úzký, ale reálný problém: řízení toku z vnořených switch nebo smyček.
• Nepoužívejte štítky místo refaktoringu: pokud je logika složitá, raději ji vyčleňte do samostatné metody.
• Klasický příklad použití — zpracování kolekce přes foreach se switch, kde některé case mají ukončit nebo přeskočit iterace vnější smyčky.
• Funkce je ve stavu Open, ale už je přijata do Working Set jazykové skupiny C#.
• Vyhněte se srovnání neekvivalentních příkladů: starý i nový kód musí řešit stejný úkol.

— Editorial Team