Quelltext der Seite Konstruktoren und Destruktoren

{{Weiterleitungshinweis|Destruktor|Zur Comicfigur siehe [[Liste der Bewohner Entenhausens#Destruktor, Genie der Zerstörung]]}}
Als '''Konstruktoren''' und '''Destruktoren''' (aus dem Englischen auch kurz ''ctor'' bzw. ''dtor'' genannt) werden in der [[Programmierung]] spezielle [[Prozedur (Programmierung)|Prozeduren]] oder [[Methode (Programmierung)|Methoden]] bezeichnet, die beim Erzeugen bzw. Auflösen von [[Objekt (Programmierung)|Objekten]] und [[Variable (Programmierung)|Variablen]] aufgerufen werden. Konstruktoren können mit [[Parameter (Informatik)#Formale Parameter|Parametern]] versehen werden, während Destruktoren in der Regel [[Parameter (Informatik)#Argumente|argument]]frei sind.

Durch Konstruktoren und Destruktoren bleibt der Anschein der [[Atomarität]] der Erstellung bzw. des Abbaus gewahrt. Gleichzeitig können bereits bei der Deklaration durch Übergabe von bestimmten Parametern die Regeln zur Erstellung und Auflösung von Variablen des betreffenden Typs formuliert werden.

Konstruktoren und Destruktoren kommen zwar in manchen [[objektorientierte Programmiersprache|objektorientierten Programmiersprachen]] vor, sind aber ein von der [[objektorientierte Programmierung|objektorientierten Programmierung]] (OOP) unabhängiges Konzept, das weder Voraussetzung für OOP ist, noch auf die OOP beschränkt ist. So kommen Konstruktoren und Destruktoren beispielsweise auch in [[Prozedurale Programmiersprache|prozeduralen Programmiersprachen]] vor.

== Konstruktoren ==
Die Aufgabe von Konstruktoren ist, [[Objekt (Programmierung)|Objekte]] in einen definierten Anfangszustand zu bringen und so benötigte [[Betriebsmittel (Informatik)|Ressourcen]] zu reservieren, sofern diese zum Zeitpunkt der Objekterstellung bereits bekannt sind.

=== Konstruktortypen ===
''nullary constructor'' ist ein Konstruktor ohne [[Parameter (Informatik)|Parameter]]:
<syntaxhighlight lang="java">
class MyClass
{
    MyClass()
}
</syntaxhighlight>
In den [[Programmiersprache]]n [[Java (Programmiersprache)|Java]] und [[C-Sharp|C#]] wird eine Klasse, die keinen expliziten Konstruktor hat, implizit mit einem parameterlosen Konstruktor (default constructor) versehen.

Ein ''copy constructor'' dient der Erzeugung einer Objektkopie und hat den eigenen [[Objekttyp]] als [[Parameter (Informatik)|Parameter]] (vergleiche [[flache Kopie]] vs. [[tiefe Kopie]]):
<syntaxhighlight lang="java">
class MyClass
{
    MyClass(MyClass object) { }
}
</syntaxhighlight>

Ein ''forwarding constructor'' (auch ''constructor forwarding'' genannt) gibt die [[Parameter (Informatik)|Parameter]] an einen anderen Konstruktor weiter und verwendet Standardwerte für die fehlenden Parameter. Dies ist insbesondere für [[Programmiersprache]]n relevant, die keine Standardwerte unterstützen (z.&nbsp;B. [[Java (Programmiersprache)|Java]]). Dieses Konstrukt ist zu unterscheiden von einer [[Initialisierungsliste]], in der wirklich Werte gesetzt werden, während der ''forwarding constructor'' nur Werte weitergibt.
<syntaxhighlight lang="java">
class MyClass
{
    MyClass(int value): this(value, 0) { }
    MyClass(int value1, int value2) { }
}
</syntaxhighlight>

=== Beispiele ===
==== Java ====

<syntaxhighlight lang="java">
class Beispiel
{
    // Konstruktor ohne Parameter
    public Beispiel() { }

    // Konstruktor mit Parameter
    public Beispiel(String text)
    {
        System.out.println(text);
    }

    // Hauptmethode
    public static void main(String[] args)
    {
        Beispiel beispiel1 = new Beispiel();  // Keine Ausgabe
        Beispiel beispiel2 = new Beispiel("Zweiter Konstruktor");  // Ausgabe: Zweiter Konstruktor
    }
}
</syntaxhighlight>

==== C++ ====
<syntaxhighlight lang="cpp">
class Beispiel
{
public:
    // Konstruktor ohne Parameter
    Beispiel() { }

    // Konstruktor mit Parameter
    Beispiel(int i)
    {
        std::cout << i << std::endl;
    }
};
</syntaxhighlight>

==== C# ====
<syntaxhighlight lang="c#">
class Beispiel
{
	// Konstruktor ohne Parameter, der den anderen Konstruktor mit this(..., ...) aufruft
	public Beispiel() : this("Heute ist der ", DateTime.Today)
	{
	}
	
	// Konstruktor mit zwei Parametern
	public Beispiel(string text, DateTime datum)
	{
		Console.WriteLine(text + datum.ToShortDateString());
	}
	
    // Hauptmethode
	public static void Main(string[] args)
	{
		Beispiel beispiel1 = new Beispiel("Morgen ist der ", DateTime.Today.AddDays(1));
		// Aufruf des ersten Konstruktors
		// Ausgabe: Morgen ist der {dd.MM.yyyy}
		
		Beispiel beispiel2 = new Beispiel();
		// Aufruf des zweiten Konstruktors
		// Ausgabe: Heute ist der {dd.MM.yyyy}
	}
}
</syntaxhighlight>

==== PHP ====

<syntaxhighlight lang="php">
/**
 * @see: https://www.php.net/manual/en/language.oop5.decon.php
 */
class Foobar
{
    // Konstruktor mit Parameter und Defaultwert
    public function __construct($text = null)
    {
        if ($text !== null)
        {
            echo $text;
        }
    }

    public function Foobar()
    {
        // wird in PHP 5.3.0-5.3.2 als Konstruktor behandelt
        // wird in PHP 5.3.3 und höher als reguläre Methode behandelt
    }
}
</syntaxhighlight>

== Destruktoren ==
Destruktoren sind in der Regel dafür verantwortlich, vom [[Objekt (Programmierung)|Objekt]] benutzte Ressourcen freizugeben. [[Programmiersprache]]n wie [[C++]] garantieren die Ausführung von Destruktoren, wann immer der Gültigkeitsbereich der Variablen verlassen wird (siehe [[Ressourcenbelegung ist Initialisierung|RAII]]), sofern die Grundregel eingehalten wird, dass ein Destruktor den Kontrollfluss nicht durch Werfen einer Ausnahme (''throw'') unterbricht. Deshalb werden mitunter Konstruktoren und Destruktoren eingesetzt, deren einziger Zweck die Sicherstellung korrekter Ressourcenbilanz im gegebenen Kontext ist, in C++ beispielsweise bei dem Klassen-[[Template (Programmierung)|Template]] unique_ptr.

=== Unterschied zur Finalisierung ===
[[Programmiersprache]]n wie [[Java (Programmiersprache)|Java]] oder [[Python (Programmiersprache)|Python]] und die Entwicklungsplattform [[.NET (Oberbegriff)|.NET]] verwenden das zu Destruktoren alternative Konzept der [[Garbage Collection#Finalisierung|Finalisierung]], bei der Aufräumarbeiten nicht zum frühest möglichen Zeitpunkt, sondern erst mit dem nächsten Lauf der automatischen Speicherbereinigung (engl. ''[[Garbage Collection|garbage collection]]'') durchgeführt werden. Die Prozedur, die dies erledigt, nennt sich Finalisierungsroutine oder Finalisierer. Finalisierer haben im Vergleich zu Destruktoren einige Einschränkungen. So dürfen beispielsweise Finalisierer im Allgemeinen nicht auf andere Objekte verweisen, da es sein kann, dass diese bereits abgebaut wurden.

== Siehe auch ==
* [[Speicherverwaltung]]
* [[Initialisierungsliste]]

== Literatur ==
* Bjarne Stroustrup: ''Die C++ Programmiersprache''. 4. aktualisierte und erweiterte Auflage. [[Addison-Wesley]], 2000, ISBN 3-8273-1660-X

[[Kategorie:Programmierung]]
[[Kategorie:Unterprogramm]]