Udefinert oppførsel

I programmering er udefinert oppførsel resultatet av å kjøre kode som ikke har en definert oppførsel av språkspesifikasjonen som koden forholder seg til. Både C og C++ er språk hvor oppførselen noen ganger er udefinert. I standarden til disse språkene står semantikken for enkelte operasjoner som udefinert. En kompilator har lov til å anta at slike operasjoner aldri vil finne sted i koden. Implementasjonen av kompilatoren vil anses som korrekt uansett hva den definerer oppførselen til å være i tilfellet hvor kode har udefinert oppførsel. Dette gir stor fleksibilitet til de som skal skrive kompilatorer, da det tillater kompilatoren ofte å gjøre betydelige optimiseringer. Det er programvareutviklerens ansvar å skrive kode som ikke har udefinert oppførsel, selv om kompilatoren har lov til å diagnostisere problemet når det skjer.

Eksempler på udefinert oppførsel

Det å modifisere et «string literal» er udefinert oppførsel

char *p = "wikipedia";
p[0] = 'W'; // Dette er udefinert oppførsel

Heltallsdivisjon med 0 er også udefinert oppførsel

int res = 5/0;

Modifisere et objekt flere ganger mellom to sekvenspunkt er også udefinert oppførsel. Et sekvenspunkt er et punkt i programmet hvor alle sideeffekter ved tidligere evalueringer skal være gjennomført og ingen sideffekter av kommende evalueringer skal ha funnet sted. Et semikolon er et eksempel på et sekvenspunkt. Det er verdt å nevne at her er det visse forskjeller mellom C og C++ på hva som er udefinert oppførsel i henhold til sekvenspunkter, særlig etter versjonsstandarden C++11. Men dette tilfellet vil være udefinert oppførsel i begge.

int i = 5;
i = i++ + 1; // Dette er udefinert oppførsel

Når man modifiserer et objekt mellom to sekvenspunkt vil også det å lese verdien for noe annet formål enn å bestemme verdien som skal lagres være udefinert oppførsel. I det første eksempelet gjelder det variabelen i, som leses i «a[i]» men for et annet formål enn å bestemme verdien til i. Mellom sekvenspunktene endres også verdien av i, som dermed fører til udefinert oppførsel. Samme prinsipp ved eksempelet i andre linje.

a[i] = i++; // udefinert oppførsel
printf("%d %d", ++n, power(2, n)); // også udefinert oppførsel

Visse pekeroperasjoner er også udefinert oppførsel

int arr[4] = {1, 2, 3, 4};
int *p = arr + 5; // Dette er udefinert oppførsel

Det å nå enden av et funksjonskall som skal returnere en verdi er også udefinert oppførsel

int funk() {

}

printf("%d", funk()); // udefinert oppførsel