Wirkung (Informatik)

Wirkung bezeichnet in der Informatik die Veränderung des Zustands, in dem sich ein Computersystem (oder ein anderer Teil der Welt) befindet. Beispiele sind das Verändern von Inhalten des Speichers oder die Ausgabe eines Textes auf Bildschirm oder Drucker.

Neben Wirkung werden synonym auch die Bezeichnungen Nebenwirkung, Nebeneffekt oder Seiteneffekt verwendet. Letzteres ist eine wortwörtliche Rückübersetzung des englischen side effect, was wiederum eigentlich "Nebenwirkung" bedeutet.

Wirkungen haben in Programmiersprachen eine wichtige Funktion. Beispielsweise basieren Zuweisungsausdrücke darauf, dass es eine Wirkung gibt. Es folgt ein Beispiel, das in einer der Programmiersprachen Java, C++ oder C geschrieben sein könnte:

   a = 2

 

Die Wirkung des Ausdrucks a = 2 besteht darin, dass die Variable a nach Abarbeitung des Ausdrucks ihren Zustand geändert hat, indem sie nämlich den "Inhalt" 2 gespeichert hat.

Bei der Betrachtung des folgenden Ausdrucks

   (++i) - (++i)

 

könnte man auf den ersten Blick meinen, dass der Ausdruck den Wert von (i+1)-(i+1), also 0, hat. Das ist aber nicht der Fall, da der Teilausdruck ++i nicht nur i+1 zurückliefert, sondern i um eins erhöht und dieses Ergebnis dann zurückliefert.

Dabei gibt es einen wichtigen Unterschied zwischen Java und den Sprachen C und C++. Während nämlich in Java der rechte Operand der Subtraktion einen um 1 höheren Wert als der linke hat, und dadurch das Resultat eindeutig ist, gibt es in C und C++ keine definierte Reihenfolge für die Abarbeitung der beiden Teilausdrücke (++i). Das Ergebnis ist abhängig vom verwendeten Compiler. Um portablen Code in C oder C++ zu schreiben, sollte man also auf solche Ausdrücke verzichten.

Ausdrücke, die keine Wirkung haben, eröffnen Compilern in manchen Fällen Optimierungsmöglichkeiten. Außerdem wird manchmal die Auffassung vertreten, die Notwendigkeit zur Berücksichtigung von Wirkungen erschwere das Verständnis von Programmen. So kommt man zu den reinen funktionalen Programmiersprachen, bei denen die Auswertung von Ausdrücken keine Wirkung hat.