Kontrollstrukturer er kode som velger når annen kode skal kjøres, primært ved å velge mellom ulike kodeblokker eller ved å gjennomføre en kodeblokk flere ganger. Vi skiller gjerne mellom tre ulike kontrollstrukturer: betingelser, løkker, og unntakshåndtering.

Betingelser

Betingelser er også kjent som if-setninger. De sjekker om visse krav er oppfylt, og velger en kodeflyt avhengig av dette. Betingelser er svært kraftige, og programmerere på alle nivå bruker betingelser hele tiden. Et eksempel kan hentes fra diskusjoner på nettaviser, der man må være logget inn for å kunne legge inn kommentarer.

Spørsmålet man stiller i en betingelse må alltid kunne besvares med "ja" eller "nei". I programmeringssjargong sier vi at uttrykket må kunne evalueres til sant eller usant, altså et boolsk uttrykk. Delen av koden som utføres dersom uttrykket er usant kalles else-delen av  betingelsen. I noen tilfeller ønsker man mer enn to muligheter, og de fleste programmeringsspråk støtter derfor en else-if-spørring, slik at man enkelt kan samle flere betingelser.

Løkker

Løkker er kode som utføres flere ganger. Det er vanlig å skille mellom while-løkker og for-løkker. En while-løkke sjekker en betingelse, og gjennomfører koden i løkkekroppen så lenge denne betingelsen er sann. Man må være forsiktig når man skriver while-løkker; dersom ikke betingelsen er formulert riktig kan man ende opp med det som kalles en "uendelig løkke". 

En for-løkke er et spesialtilfelle av en while-løkke, og brukes dersom man vet hvor mange ganger løkkekroppen skal utføres. Man har en tellevariabel som endres hver gang løkken har kjørt, og til slutt er tellevariabelen så stor eller liten at løkken er ferdig. Det er også mulig å få for-løkker til å kjøre uendelig, så vær forsiktig med bruken av denne også. For å implementere en for-løkke trenger man (1) en startverdi for tellevariabelen, (2) en sluttverdi for tellevariabelen, og (3) hvor mye man ønsker å endre tellevariabelen etter hver løkke. 

Unntakshåndtering

Unntak er hendelser i et program som helst ikke skal skje. Dersom man har en liste med 4 elementer,  og man spør om hva som er det 5. elementet vil det i de fleste programmeringsspråk oppstå et unntak. Det er god programmering å skrive kode slik at man i høyest mulig grad unngår unntak. I eksempelet over betyr det å sjekke om listen inneholder 5 elementer før man spør etter det 5. elementet.

Det finnes også mekanismer som fanger opp unntak og behandler disse. Dette kan ses på som en spesiell betingelse: hvis et unntak oppstår, så kjør denne koden.