Geheimnisprinzip

Als Datenkapselung (englisch: encapsulation, nach David Parnas auch bekannt als information hiding) bezeichnet man in der Programmierung das Verbergen von Daten oder Informationen vor dem Zugriff von außen. Der direkte Zugriff auf die interne Datenstruktur wird unterbunden und erfolgt statt dessen über definierte Schnittstellen (Black-Box-Modell).

Herleitung

Datenkapselung ist ein lange bekanntes Konzept innerhalb der strukturierten und modularen Programmierung. Zentrales Modell ist hier der Abstrakte Datentyp, in dem Daten in einer Datenstruktur zusammengefasst sind, auf die nur über festgelegte Zugriffsfunktionen (Prozeduren) zugegriffen werden kann. In der tatsächlichen Programmierung wird der Abstrakte Datentyp auf verschiedene Weisen implementiert.

Ein anderes Beispiel in modernen Programmiersprachen ist das Verbergen von Daten innerhalb von Gültigkeitsbereichen. Jede Teilstruktur eines Programms (Hauptblock, Prozeduren, Funktionen, Unterprogramme, …) definiert einen solchen Bereich, sodass eine Gültigkeitshierarchie entsteht. Deklarierte Daten sind nur innerhalb des umgebenden und in allen tieferen Bereichen sichtbar und gültig; für einen höheren Bereich bleiben sie verborgen.

Datenkapselung im objektorientierten Paradigma

Kapselung ist auch ein wichtiges Konzept der objektorientierten Programmierung. Als Kapselung bezeichnet man den kontrollierten Zugriff auf Methoden bzw. Attribute von Klassen. Klassen können den internen Zustand anderer Klassen nicht in unerwarteter Weise lesen oder ändern. Eine Klasse hat eine Schnittstelle, die darüber bestimmt, auf welche Weise mit der Klasse interagiert werden kann. Dies verhindert das Umgehen von Invarianten des Programms. Vom Innenleben einer Klasse soll der Verwender (gemeint sind sowohl die Algorithmen, die mit der Klasse arbeiten, als auch der Programmierer, der diese entwickelt) möglichst wenig wissen müssen (Geheimnisprinzip). Durch die Kapselung werden nur Informationen über das "Was" einer Klasse (was es leistet) nach außen sichtbar, nicht aber das "Wie" (die interne Repräsentation). Dadurch wird eine Schnittstelle nach außen definiert und zugleich dokumentiert.

Für die Kapselung verwendete Zugriffsarten

Die UML als De-facto-Standardnotation erlaubt die Modellierung folgender Zugriffsarten (in Klammern die Kurznotation der UML):

public (+)

zugreifbar für alle Ausprägungen (auch die anderer Klassen),

private (-)

Nur für Ausprägungen der eigenen Klasse zugreifbar,

protected (#)

Nur für Ausprägungen der eigenen Klasse und von Spezialisierungen derselben zugreifbar,

package (~)

erlaubt den Zugriff für alle Elemente innerhalb des eigenen Pakets.

Anmerkung: Die Handhabung des Schlüsselwortes package ist in den verschiedenen Programmier- bzw. Skriptsprachen unterschiedlich. Ersetzung in der jeweiligen Sprache:

• CSharp (C#): internal
• Visual Basic .NET: friend
• Java: Keine Definition bedeutet Package-Zugriff (Default).

Die Möglichkeiten zur Spezifizierung der Zugreifbarkeit sind je nach Programmiersprache unterschiedlich.

Vorteile der Kapselung

• Da die Implementierung einer Klasse anderen Klassen nicht bekannt ist, kann die Implementierung geändert werden, ohne die Zusammenarbeit mit anderen Klassen zu beeinträchtigen.
• Erhöhte Übersichtlichkeit, da nur die öffentliche Schnittstelle einer Klasse betrachtet werden muss.
• Beim Zugriff über eine Zugriffsfunktion spielt es von außen keine Rolle, ob diese Funktion 1:1 im Inneren der Klasse existiert, das Ergebnis einer Berechnung ist, oder möglicherweise aus anderen Quellen (z. B. einer Datei oder Datenbank) stammt.
• Deutlich verbesserte Testbarkeit, Stabilität und Änderbarkeit der Software bzw. deren Teile (Module).

Nachteile der Kapselung

• In Abhängigkeit vom Anwendungsfall Geschwindigkeitseinbußen durch den Aufruf von Zugriffsfunktionen (direkter Zugriff auf die Datenelemente wäre schneller).
• Zusätzlicher Programmieraufwand für die Erstellung von Zugriffsfunktionen.