Exposición de Gemas y Minerales de Vancouver Spanish.xinhuanet.com

百度 上港的比赛只是晚于阿尔多哈杜哈伊勒，所以只能排在第二。

Polymorphie oder Polymorphismus (griechisch für Vielgestaltigkeit) ist ein Konzept in der objektorientierten Programmierung, das erm?glicht, dass ein Bezeichner abh?ngig von seiner Verwendung Objekte unterschiedlichen Datentyps annimmt. In ?lteren typisierten Programmiersprachen wird dagegen jedem Namen und jedem Wert im Quelltext eines Programms h?chstens ein Typ zugeordnet. Dies bezeichnet man als Monomorphie.

Arten der Polymorphie

Polymorphie überladener Operatoren

Ein Bezeichner, der für einen Operator steht (bspw. ?+“, ??“), kann mehrmals mit anderer Bedeutung implementiert werden. Für jeden Kontext, in dem der Operator neu deklariert wurde, muss die Implementierung immer eindeutig sein.

Polymorphie der objektorientierten Programmierung

Die Polymorphie der objektorientierten Programmierung ist eine Eigenschaft, die immer im Zusammenhang mit Vererbung und Schnittstellen (Interfaces) auftritt. Eine Methode ist polymorph, wenn sie in verschiedenen Klassen die gleiche Signatur hat, jedoch erneut implementiert ist.

Gibt es in einem Vererbungszweig einer Klassenhierarchie mehrere Methoden auf unterschiedlicher Hierarchieebene, jedoch mit gleicher Signatur, wird erst zur Laufzeit bestimmt, welche der Methoden für ein gegebenes Objekt verwendet wird (Dynamisches Binden). Bei einer mehrstufigen Vererbung wird jene Methode verwendet, die direkt in der Objektklasse (d. h. jene Klasse, von der das Objekt ein Exemplar ist) definiert ist, oder jene, die im Vererbungszweig am weitesten ?unten“ liegt (d. h. die Methode, die von der Vererbung her am n?chsten ist).

Moderne Konzepte kennen jedoch auch Polymorphie über Klassengrenzen hinaus. So erlaubt die Programmiersprache Objective-C die Polymorphie zwischen zwei gleichnamigen Methoden, die in verschiedenen Klassen erstmals definiert sind.

// NSObject kennt nicht -doSomething
@interface KlasseA : NSObject {
    …
}
- (void) doSomething;
@end

@interface KlasseB : NSObject {
    …
}
- (void) doSomething;
@end

// irgendwo
id object = … // Ein Objekt einer beliebigen Klasse
[object doSomething]; // polymorph zwischen KlasseA und KlasseB

Die Subklasse-vor-Basisklasse-Regel gilt auch hier: Wenn die KlasseB zur KlasseC abgeleitet wird, würde die entsprechende Methode der KlasseC ausgeführt.

Polymorphie einer Funktion bzw. Prozedur

Ist der Rückgabewert oder ein Argument einer Funktion polymorph, so hei?t die Funktion polymorphe Funktion. Mit Hilfe polymorpher Funktionen kann die Generizit?t von Datenstrukturen auch in Algorithmen angewandt werden.

Polymorphie von Datentypen oder Klassen

Wird für eigene Datentypen bzw. Klassen bei der Instanziierung bzw. beim Konstruktoraufruf ein Parameter für den tats?chlich verwendeten Datentyp übergeben, spricht man von parametrischer Polymorphie, welche semantisch mit Generizit?t übereinstimmt.

Weitere Unterteilungen

Folgende weitere Unterteilung ist m?glich:

• universelle Polymorphie
  • parametrische Polymorphie
  • Inklusions-/Vererbungspolymorphie
• Ad-hoc-Polymorphie
  • Coercion
  • überladung

Manchmal wird Ad-hoc-Polymorphie gleichgesetzt mit überladen. Das ist auf Christopher Strachey zurückzuführen, der als Erster Polymorphie in parametrische und Ad-hoc-Polymorphie unterteilte.

Luca Cardelli und Peter Wegner erweiterten Stracheys Konzept um die Inklusionspolymorphie, um Subtypen und Vererbung zu modellieren. Die obige Auflistung spiegelt also Stracheys Einteilung wider, erweitert um die Inklusionspolymorphie von Cardelli und Wegner.

Universelle und Ad-hoc-Polymorphie

Universelle Polymorphie unterscheidet sich von Ad-hoc-Polymorphie in mehreren Aspekten. Bei Ad-hoc-Polymorphie kann der einem Namen zugeordnete Wert nur endlich vielen verschiedene Typen angeh?ren. Diese sind zudem w?hrend der Kompilierung bekannt. Universelle Polymorphie dagegen erlaubt es, jedweden bekannten Typ zuzuordnen; auch solche, die vielleicht erst sp?ter definiert werden.

Ein weiterer Unterschied liegt darin, dass die Implementierung einer universell-polymorphen Funktion generell den gleichen Code unabh?ngig von den Typen ihrer Argumente ausführt, w?hrend ad-hoc-polymorphe (also überladene) Funktionen abh?ngig von den Typen ihrer Argumente v?llig unterschiedlich implementiert sein k?nnen.

überladen und Coercion

Funktionen sind überladen, wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Dies gilt analog für Bezeichner von Operatoren: Beispielsweise ist der Operator + in vielen Programmiersprachen von vornherein überladen. So k?nnen mit ihm sowohl ganze Zahlen als auch Gleitkommazahlen addiert werden. Oft wird er auch zur Stringkonkatenierung verwendet:

 42 + 3              (1)
 3.14 + 1.0          (2)
 "Hallo" + " Welt!"  (3)

Einige Programmiersprachen unterscheiden dabei, welche Namen überladen werden dürfen und welche nicht. In Java ist Methodenüberladung erlaubt, Operatorüberladung au?er den schon eingebauten überladungen wie der des +-Operators aber nicht. Auch in C# sind nicht alle Operatoren überladbar. C++ und manche andere Sprachen erlauben generell beides.

Coercion ist eine Art implizite Typumwandlung, sozusagen das Anwenden einer unsichtbaren, automatisch eingefügten Funktion, um zum Beispiel Argumente eines Unterprogramms oder einer Funktion in die erwarteten Typen umzuwandeln. Coercion ist mit dem überladen eng verknüpft, und die Unterschiede sind für den Programmierer nicht unbedingt gleich ersichtlich.

Beispiel:

 3.14 + 2            (4)
 3 + 2.14            (5)

In einer Sprache k?nnte der Additionsoperator lediglich für zwei reelle Zahlen definiert sein. Coercion würde dann dafür sorgen, dass ganze Zahlen zuerst in Gleitkommazahlen umgewandelt werden. In (4) und (5) würde dann Coercion zum Einsatz kommen. Es ist aber auch denkbar, dass der Additionsoperator für mehrere Varianten definiert ist.

Bei der überladung handelt es sich offenbar nicht um eine echte Form von Polymorphie, da man sich vorstellen k?nnte, der Compiler werde die Uneindeutigkeit durch die mehrfache Benutzung eines Symboles zur Kompilationszeit wieder aufl?sen. Wir erlauben also nur einem Symbol, verschiedene (funktionsartige) Werte zu denotieren, die allerdings unterschiedliche und m?glicherweise zueinander inkompatible Typen haben.

Mit Coercions verh?lt es sich ?hnlich. Man k?nnte meinen, ein Operator akzeptiere Operanden verschiedenen Typs (wie das + oben), jedoch müssen die Typen erst für den Operator gewandelt werden. Der Ausgabetyp des Operators h?ngt also nicht mehr mit den Typen der Operanden zusammen (oder nur partiell), daher kann keine echte Polymorphie vorliegen.

Parametrische Polymorphie

Parametrisierte Polymorphie repr?sentiert Typen, deren Definitionen Typvariablen enthalten. In Java spricht man auch von generischen Typen oder Generics. Die meisten modernen objektorientierten Programmiersprachen unterstützen parametrische Typdefinitionen, darunter auch Strongtalk (eine Variante von Smalltalk mit Typsystem), C# oder Eiffel. In C++ k?nnen generische Typen mit Hilfe sogenannter Templates nachgebildet werden.

Beispiel:

• monomorph

TYPE iContainer IS ARRAY OF INTEGER;

• polymorph durch Typvariable

TYPE Stack IS ARRAY OF [TYPVARIABLE]

Beschr?nkter parametrischer Polymorphismus

Man unterscheidet grunds?tzlich

• einfachen parametrischen Polymorphismus und
• beschr?nkten parametrischen Polymorphismus.

Letzterer behebt die Probleme der Typsicherheit, die innerhalb von Typdefinitionen dadurch entstehen, dass beim Erstellen der Typdefinition auf Grund der Parametrisierung noch nicht klar ist, Objekte welchen Typs eigentlich Gegenstand der Typ-Operationen (des Protokolls, der Methoden, die Terminologie variiert hier je nach Programmiersprache) sind. Wird durch einen Typ beispielsweise eine numerische Operation definiert, die auf den Elementen des Typs ausführbar sein soll, seine Typvariable dann aber mit einem nichtnumerischen Typen belegt, so würde es zu Laufzeitfehlern kommen. In der Regel verwendet man daher beschr?nkte parametrische Typen, die für ihre Typvariablen eine Beschr?nkung auf bestimmte Typen angeben. In Strongtalk wird hierzu bspw. die Typvariable mittels T < Supertyp angegeben, wobei Supertyp die Einschr?nkung der Typen angibt, die in die Typvariable T eingesetzt werden k?nnen. Java erm?glicht die Angabe solcher Einschr?nkungen mittels der Schreibweise <T extends Supertyp>. In C# gibt es verschiedene Arten von Einschr?nkungen ("Constraints"), die man für einen Typparameter verlangen kann: Abgeleitet von einer bestimmten Basisklasse, Vorhandensein eines bestimmten Interfaces oder eines parameterlosen Konstruktors sowie weitere. Kombinationen mehrerer Constraints sind m?glich, die dann alle erfüllt sein müssen.

Inklusionspolymorphie

Inklusionspolymorphie bezeichnet die Eigenschaft, jede Methode statt auf einem Subtyp auch auf einem Basistypen ausführen zu k?nnen. Subtyping ist demnach eine Form der Inklusionspolymorphie.

Man unterscheidet zwischen:

• Kompilationszeit-Polymorphie (statisches Binden)

  Es kann zur Kompilationszeit der Typ des Objekts und somit die aufgerufene Funktion (auch ?Methode“ genannt) bestimmt werden.

• Laufzeit-Polymorphie (dynamisches Binden).

  Erst zur Laufzeit kann bestimmt werden, welche Methode aufzurufen ist (sp?te Bindung). Es kann also vom Programmlauf abh?ngig sein, welche Methode zur Anwendung kommt. Die Laufzeit-Polymorphie ist einer der wichtigsten Bestandteile der objektorientierten Programmierung und wurde zuerst in der Programmiersprache Smalltalk umgesetzt und zum Beispiel in Objective-C eingesetzt. Ein weiteres Beispiel für sp?te Bindung sind generische Methoden wie im Common Lisp Object System.

Beispiele

Angenommen, eine Anwendung soll statistische Daten sowohl grafisch als auch schriftlich in Tabellenform darstellen. Au?erdem soll es m?glich sein, die Darstellungsmethoden über Plug-ins zu erweitern. Dann erlaubt das Konzept der Polymorphie über das VisualizationPlugin Interface jede beliebige Implementierung (hier GraphDisplayPlugin, TextDisplayPlugin, HistogramDisplayPlugin) aufzurufen.

Die Anwendung selbst muss bei neuen Plug-ins nicht ge?ndert werden und kann diese einfach über das Interface mit dem Aufruf von setData und display starten.

interface VisualizationPlugin {
    public void setData(DisplayData data);
    public void display();
}

class GraphDisplayPlugin implements VisualizationPlugin {
    public void setData(DisplayData data) { /* set data to be displayed */ }
    public void display() { /* Show Data as Graph */ }
}

class TextDisplayPlugin implements VisualizationPlugin {
    public void setData(DisplayData data) { /* set data to be displayed */ }
    public void display() { /* Show Data as table */ }
}

class HistogramDisplayPlugin implements VisualizationPlugin {
    public void setData(DisplayData data) { /* set data and calculate history data */ }
    public void display() { /* Show history data as Graph */ }
}

Das folgende Beispiel in der Programmiersprache C# zeigt Subtyping für die Methode berechneFlaecheninhalt(). Die Klassen Rechteck und Dreieck implementieren die Methode, die das Interface Polygon deklariert. Die Methode gibFlaecheninhalt(Polygon polygon) kann die Implementierung der Methode berechneFlaecheninhalt() für jeden Subtyp des Interface Polygon (siehe abgeleitete Klasse) aufrufen.

public interface Polygon
{
	double berechneFlaecheninhalt();
}

public class Rechteck : Polygon
{
	private double breite, hoehe;
	
	// Konstruktor
	public Rechteck(double breite, double hoehe)
	{
		this.breite = breite;
		this.hoehe = hoehe;
	}
	
	public double berechneFlaecheninhalt()
	{
		return breite * hoehe;
	}
}

public class Dreieck : Polygon
{
	private double a, b, c;
	
	// Konstruktor
	public Dreieck(double a, double b, double c)
	{
		this.a = a;
		this.b = b;
		this.c = c;
	}
	
	public double berechneFlaecheninhalt()
	{
		// Formel des Heron für den Fl?cheninhalt des allgemeinen Dreiecks
		return 0.25 * Math.Sqrt((a + b + c) * (-a + b + c) * (a - b + c) * (a + b - c));
	}
}

public static double gibFlaecheninhalt(Polygon polygon)
{
	return polygon.berechneFlaecheninhalt();
}

public static void Main(string[] args)
{
	double flaecheninhalt = gibFlaecheninhalt(new Rechteck(12, 16));  // flaecheninhalt = 192
	Console.WriteLine("Das Rechteck hat den Fl?cheninhalt " + flaecheninhalt);
	
	flaecheninhalt = gibFlaecheninhalt(new Dreieck(4, 13, 15));  // flaecheninhalt = 24
	Console.WriteLine("Das Dreieck hat den Fl?cheninhalt " + flaecheninhalt);
}

Siehe auch

• Dynamische Bindung

Literatur

• Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. In: ACM Computing Surveys. 4/17/1985. ACM Press, New York/NY, S. 471–522, ISSN 0360-0300 doi:10.1145/6041.6042.
• Thomas Letschert, FH Giessen-Friedberg – Polymorphismus (Memento vom 2. August 2005 im Internet Archive)