Switch-setning

En switch-setning er en form for kontrollmekanisme av valg som brukes i programmeringsspråk for å tillate verdien av en variabel eller et uttrykk i å velge kontrollflyten til et dataprograms utførelse via en flerveis branch.

Switch-setninger finnes i de fleste høynivås imperative språk slik som  Pascal, Ada, C/C++, C#, Java, og i mange andre språk. Slike språk benytter reserverte ord som switch, case, select eller inspect.

Switch-setninger finnes i to hovedvarianter: En strukturert switch, som i Pascal, som velger nøyaktig en branch, og en ustrukturert switch, som i C, som fungerer som en form for goto. Hovedgrunnene for å bruke en switch inkluderer forbedret klarhet, ved å redusere kode som ellers er repeterende, og (hvis heuristikken tillater det) potensialet for en raskere utførelse gjennom enklere kompilatoroptimalisering i mange tilfeller.

Litteratur 
 Stephen Kleene, 1952 (10th reprint 1991), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam NL, 
 George Boolos, John Burgess, and Richard Jeffrey, 2002, Computability and Logic: Fourth Edition, Cambridge University Press, Cambridge UK,  paperback. cf page 74-75.

Programmering