Referentielle Transparenz (englisch referential transparency) bedeutet: Ein Ausdruck kann überall durch seinen Wert ersetzt werden, ohne dass sich das Programmverhalten ändert. Der Ausdruck 2 + 3 ist referenziell transparent, weil man ihn an jeder Stelle durch 5 ersetzen kann — das Ergebnis bleibt identisch.
Herkunft des Begriffs
Der Begriff stammt aus der Philosophie und Logik: Willard Van Orman Quine beschrieb in den 1950er-Jahren referentielle Transparenz über die Substitutions-Identität — an einer rein referenziellen Position eines Satzes lässt sich ein Ausdruck durch einen bedeutungsgleichen ersetzen, ohne die Wahrheit des Satzes zu ändern. In der Informatik wurde der Begriff zur Eigenschaft von Ausdrücken in Programmiersprachen.
Wann ist ein Ausdruck nicht referenziell transparent?
Sobald ein Ausdruck von veränderlichem Zustand oder externen Effekten abhängt, ist er nicht referenziell transparent:
- Ein Aufruf wie
readFile("log.txt")kann je nach Dateiinhalt unterschiedliche Werte liefern — der Wert lässt sich nicht dauerhaft durch das Ergebnis ersetzen. - Ein Zufallsaufruf wie
random()liefert bei jedem Aufruf einen anderen Wert. - Ein Ausdruck, der eine globale Variable liest, ändert seinen Wert, sobald die Variable sich ändert.
Warum ist das wichtig?
Referentielle Transparenz ist eine Eigenschaft reiner Funktionen: Werden alle Bausteine eines Programms referenziell transparent, lässt sich das Programm wie eine mathematische Gleichung umformen (Equational Reasoning). Das ermöglicht sicheres Refactoring, automatische Optimierung und Memoization — ein Ergebnis kann gespeichert und wiederverwendet werden, weil es sich nie ändert.
Sprachen wie Haskell erzwingen referentielle Transparenz weitgehend; in imperativen Sprachen wie JavaScript oder Python muss man sie selbst einhalten, indem man Seiteneffekte an die Ränder des Programms verlagert.
Verwandte Grundlagen: Reine Funktionen, Funktionale Programmierung, Funktionskomposition.