Ako funguje výpis prepínača v F#?

V oblasti programovania je pochopenie toho, ako mechanizmy riadenia fungujú, základom písania efektívneho a efektívneho kódu. Jedným z takýchto konštruktov riadiaceho toku je príkaz prepínača, ktorý ponúka štruktúrovaný spôsob, ako spracovať viacero možných prípadov na základe jediného výrazu. V tomto blogovom príspevku sa ponoríme do toho, ako vyhlásenie Switch funguje vo funkčnom programovacom jazyku F#, ktorý prináša jedinečný pohľad na tento klasický koncept programovania. Ako dodávateľ prepínača sa tiež dotkneme sa toho, ako sa tieto programovacie koncepty môžu týkať skutočných svetových produktov, ktoré ponúkame.

Základy vyhlásenia o prepínači v F#

V F#sa prepínač - podobná funkčnosť dosahuje prostredníctvomzápasvýraz. Na rozdiel od tradičnýchprepínanievyhlásenie, ktoré sa nachádza v jazykoch ako C# alebo Java,zápasVýraz v F# je výkonnejší a flexibilnejší. Je to základná súčasť vzoru jazyka - zhodné schopnosti.

Začnime jednoduchým príkladom. Predpokladajme, že máme premennú predstavujúcu deň v týždni ako celé číslo, kde 1 je pondelok, 2 je utorok atď. Chceme vytlačiť zodpovedajúcu správu pre každý deň.

Nechajte deň = 3 zápas s | 1 -> printfn "Je pondelok, čas začať týždeň!" | 2 -> Printfn "Utorok, dostať sa do hojdačky vecí." | 3 -> Printfn "Streda, polovica - cesta cez týždeň!" | 4 -> Printfn "Štvrtok, takmer tam!" | 5 -> Printfn „Piatok, víkend prichádza!“ | 6 -> Printfn "Sobota, čas na oddych." | 7 -> Printfn „Nedeľa, užite si posledný deň víkendu.“ | _ -> printfn "Neplatné číslo dňa."

V tomto kódezápasvýraz beriedeňVariabilné a pokúša sa ho poradiť s radom vzorov. Po každom vzorke nasleduje šípka (->) a potom výraz na vykonanie, ak sa vzor zhoduje. Ten_je vzorový vzor, ​​ktorý bude zodpovedať akejkoľvek hodnote a slúži ako úlovok - všetko, čo sa týka, keď sa nezhoduje žiadny z predchádzajúcich vzorov.

Zodpovedanie vzoru do hĺbky

F #'szápasVýraz môže robiť oveľa viac, než len porovnávať s jednoduchými celé hodnoty. Môže sa zhodovať s rôznymi typmi dátových štruktúr, ako sú zoznamy, n -tice a diskriminované odbory.

Zodpovedajúce zoznamy

Zoberme si zoznam čísel a my chceme vykonať rôzne akcie na základe dĺžky a obsahu zoznamu.

Nech mylist = [1; 2; 3] MyList s | [] -> printfn "Zoznam je prázdny." | [x] -> printfn "Zoznam má jediný prvok: %d" x | [X; y] -> printfn "Zoznam má dva prvky: %d a %d" xy | _ -> printfn "Zoznam má viac ako dva prvky."

Tu používame vzory, ktoré sa zhodujú s rôznymi dĺžkami zoznamu. Prvý vzor[]zhoduje s prázdnym zoznamom, druhým vzorom[x]zodpovedá zoznamu s jedným prvkom a tretím vzorom[X; a]Zodpovedá zoznam s dvoma prvkami. Ten_Rozsudok zachytáva všetky ostatné prípady.

Zodpovedajúce diskriminované zväzky

Diskriminované odbory sú silnou funkciou v F#, ktorá vám umožňuje definovať typ, ktorý môže byť jedným z niekoľkých rôznych prípadov. Zvážte nasledujúci príklad jednoduchej diskriminovanej únie predstavujúcej rôzne tvary:

typ tvaru = | Kruh plaváka Obdĺžnik float * float Triangle of Float * float * float Let myShape = Circle (5.0) MyShape s | Circle (r) -> printfn "Toto je kruh s polomerom %f" r | Obdĺžnik (w, h) -> printfn "Toto je obdĺžnik so šírkou %f a výškou %f" wh | Triangle (A, B, C) -> Printfn "Toto je trojuholník s bočnými dĺžkami %f, %f a %f" ABC

V tomto kódeFormadiskriminovaná únia môže byť buď aKruhaObdĺžnikalebo aTrojuholník. TenzápasKontroly výrazu, ktorý prípadmyšiPremenná je a extrahuje príslušné údaje (polomer pre kruh, šírku a výšku pre obdĺžnik a bočné dĺžky pre trojuholník) a potom vytlačí príslušnú správu.

Vzťah k skutočným - World Switch Products

Ako dodávateľ prepínača chápeme dôležitosť správnych rozhodnutí na základe rôznych podmienok, rovnako ako azápasVýraz v F# robí rozhodnutia na základe rôznych vzorov. V priemysle elektrických komponentov sa pre rôzne aplikácie používajú rôzne typy prepínačov, z ktorých každá má vlastnú sadu charakteristík a požiadaviek.

NapríkladDoplnkový kombinovaný prepínačje navrhnutý na zvládnutie špecifických kombinácií elektrického zaťaženia. Dá sa to považovať za prepínač, ktorý „zodpovedá“ konkrétnemu elektrickému scenáru a poskytuje vhodnú odpoveď. Rovnako akozápasVýraz v F# vyberie blok pravého kódu na základe vstupného vzoru, komplementárny kombinovaný prepínač vyberie správne elektrické pripojenie na základe elektrických podmienok.

PodobneCJ19 Series Prepínač kondenzátora AC Comtožje navrhnutý tak, aby spravoval prepínanie kondenzátorov v obvodoch striedavého prúdu. Reaguje na rôzne elektrické stavy v okruhu, podobne ako azápasVýraz reaguje na rôzne vstupné hodnoty.

TenSpínač zloženia kompenzácie rozdelenýje ďalší príklad. Je navrhnutý tak, aby zvládol scenáre rozdelenia - kompenzácie v elektrických systémoch. Môže sa považovať za „inteligentný“ prepínač, ktorý prijíma rozhodnutia na základe elektrických podmienok, podobne ako azápasVýraz v F# robí rozhodnutia na základe vstupných vzorov.

Úvahy o výkonnosti

V f#,zápasExpresia je vo všeobecnosti veľmi účinná. Kompilátor môže optimalizovať proces zodpovedajúcich, najmä pri riešení jednoduchých vzorov. Pri riešení zložitých vzorcov alebo veľkého počtu prípadov však môže byť ovplyvnený výkon.

Napríklad, ak máte azápasExpresia so stovkami prípadov, kompilátor ho nemusí byť schopný optimalizovať tak efektívne. V takýchto prípadoch by sa mohlo oplatiť zvážiť alternatívne prístupy, ako napríklad použitie vyhľadávacej tabuľky alebo prístupu založeného na slovníku.

Manipulácia s chybami a úplnosť

Jedna z veľkých čŕtzápasVýraz v F# je, že presadzuje úplnosť vzoru. Kompilátor poskytne chybu, ak existujú možné vstupné hodnoty, na ktoré sa nevzťahuje žiadny zo vzorov. Pomáha to pri písaní robustného kódu, ktorý rieši všetky možné prípady.

Napríklad, ak zabudneme na_Zástupca v našej dobe - z - The - Týždňový príklad:

Nechajte deň = 8 zápas s | 1 -> printfn "Je pondelok, čas začať týždeň!" | 2 -> Printfn "Utorok, dostať sa do hojdačky vecí." | 3 -> Printfn "Streda, polovica - cesta cez týždeň!" | 4 -> Printfn "Štvrtok, takmer tam!" | 5 -> Printfn „Piatok, víkend prichádza!“ | 6 -> Printfn "Sobota, čas na oddych." | 7 -> Printfn „Nedeľa, užite si posledný deň víkendu.“ // Chýba prípad _

Kompilátor vygeneruje varovanie alebo chybu, ktorá naznačuje, že porovnávanie vzoru je neúplné, pretože hodnota8nie je pokrytý žiadnym zo vzorov.

Záver

TenzápasVýraz v F# poskytuje výkonný a flexibilný spôsob riešenia viacerých prípadov na základe rôznych vzorov. Je to nevyhnutná súčasť funkčných programovacích schopností jazyka, ktorá umožňuje stručný a expresívny kód. Ako dodávateľ prepínača vidíme paralely medzi procesom rozhodovania v programovaní a prevádzkou našich elektrických spínačov. Každý prepínač je navrhnutý tak, aby reagoval na konkrétne podmienky, rovnako akozápasVýraz reaguje na konkrétne vstupné vzorce.

Ak ste na trhu s vysokými kvalitnými prepínačmi pre vaše elektrické aplikácie, pozývame vás, aby ste [začali kontakt na obstarávanie a vyjednávanie]. Náš tím expertov je pripravený pomôcť vám pri hľadaní správnych produktov Switch, ktoré spĺňajú vaše konkrétne požiadavky.

Odkazy

• F# Programovací sprievodca - Microsoft Docs
• Real - World Functional Programming od Tomasa Petriceka, Jon Skeet a Donald Syme