Polymorphie (Programmierung) - Versionsgeschichte

Trustable: Änderung 248232265 von Dlanold rückgängig gemacht; Kein BKH, da BKL-Typ 1 mit Klammerlemma.

2024-09-01T17:46:08Z

Änderung 248232265 von Dlanold rückgängig gemacht; Kein BKH, da BKL-Typ 1 mit Klammerlemma.

← Nächstältere Version		Version vom 1. September 2024, 19:46 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|1=behandelt ''Polymorphie'' als einen Fachausdruck der Informatik. Für andere Bedeutungen des Wortes siehe [[Polymorphie]].}}
	'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in der [[Objektorientierte Programmierung\|objektorientierten Programmierung]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung [[Objekt (Programmierung)\|Objekte]] unterschiedlichen [[Datentyp\|Datentyps]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.		'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in der [[Objektorientierte Programmierung\|objektorientierten Programmierung]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung [[Objekt (Programmierung)\|Objekte]] unterschiedlichen [[Datentyp\|Datentyps]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.

Dlanold: Hinweis zur Begriffserklärungsseite eingefügt

2024-09-01T17:25:56Z

Hinweis zur Begriffserklärungsseite eingefügt

← Nächstältere Version		Version vom 1. September 2024, 19:25 Uhr
Zeile 1:		Zeile 1:
			{{Dieser Artikel\|1=behandelt ''Polymorphie'' als einen Fachausdruck der Informatik. Für andere Bedeutungen des Wortes siehe [[Polymorphie]].}}
	'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in der [[Objektorientierte Programmierung\|objektorientierten Programmierung]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung [[Objekt (Programmierung)\|Objekte]] unterschiedlichen [[Datentyp\|Datentyps]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.		'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in der [[Objektorientierte Programmierung\|objektorientierten Programmierung]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung [[Objekt (Programmierung)\|Objekte]] unterschiedlichen [[Datentyp\|Datentyps]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.

JonasKonrad: Präzisierung

2024-07-24T22:05:54Z

Präzisierung

← Nächstältere Version		Version vom 25. Juli 2024, 00:05 Uhr
Zeile 57:		Zeile 57:

	=== Überladen und Coercion ===		=== Überladen und Coercion ===
	[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm sowohl ganze Zahlen als auch Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:		[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Dies gilt analog für Bezeichner von Operatoren: Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm sowohl ganze Zahlen als auch Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:

	<syntaxhighlight lang="text">		<syntaxhighlight lang="text">

2003:E4:D723:63E3:909B:4592:BC53:FA0D: /* Weitere Unterteilungen */

2024-01-08T21:11:25Z

Weitere Unterteilungen

← Nächstältere Version		Version vom 8. Januar 2024, 23:11 Uhr
Zeile 47:		Zeile 47:
	** Überladung		** Überladung

	Manchmal wird Ad-hoc-Polymorphie gleichgesetzt mit [[Überladen]]. Das ist auf [[Christopher Strachey]] zurückzuführen,<ref>''Fundamental concepts in programming languages.'' Lecture notes for International Summer School in Computer Programming, Copenhagen, August 1967.</ref> der als Erster Polymorphie ~~unterteilte und zwar~~ in parametrische und Ad-hoc-Polymorphie.		Manchmal wird Ad-hoc-Polymorphie gleichgesetzt mit [[Überladen]]. Das ist auf [[Christopher Strachey]] zurückzuführen,<ref>''Fundamental concepts in programming languages.'' Lecture notes for International Summer School in Computer Programming, Copenhagen, August 1967.</ref> der als Erster Polymorphie in parametrische und Ad-hoc-Polymorphie unterteilte.

	Luca Cardelli und Peter Wegner erweiterten Stracheys Konzept um die Inklusionspolymorphie,<ref>''On Understanding Types, Data Abstraction, and Polymorphism.'' In: ''ACM Computing Surveys.'' Band 17, Nr. 4, 1985, S. 471–522.</ref> um Subtypen und Vererbung zu modellieren. Die obige Auflistung spiegelt also Stracheys Einteilung wider, erweitert um die Inklusionspolymorphie von Cardelli und Wegner.		Luca Cardelli und Peter Wegner erweiterten Stracheys Konzept um die Inklusionspolymorphie,<ref>''On Understanding Types, Data Abstraction, and Polymorphism.'' In: ''ACM Computing Surveys.'' Band 17, Nr. 4, 1985, S. 471–522.</ref> um Subtypen und Vererbung zu modellieren. Die obige Auflistung spiegelt also Stracheys Einteilung wider, erweitert um die Inklusionspolymorphie von Cardelli und Wegner.

77.12.92.47: /* Beschränkter parametrischer Polymorphismus */ C#

2023-11-30T15:43:05Z

Beschränkter parametrischer Polymorphismus: C#

← Nächstältere Version		Version vom 30. November 2023, 17:43 Uhr
Zeile 96:		Zeile 96:
	* beschränkten parametrischen Polymorphismus.		* 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>''.		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 ===

Sebastian.Dietrich: Eine derart sinnändernde Änderung in der Einleitung bitte zuerst auf der Disk bespechen. C ist z.B. typisiert, kennt aber keinen Polymorphismus

2023-04-20T18:33:26Z

Eine derart sinnändernde Änderung in der Einleitung bitte zuerst auf der Disk bespechen. C ist z.B. typisiert, kennt aber keinen Polymorphismus

← Nächstältere Version		Version vom 20. April 2023, 20:33 Uhr
Zeile 1:		Zeile 1:
	'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in [[~~Typisierung~~ ~~(Informatik)~~\|~~typisierten]]~~ ~~[[Programmiersprache\|Programmiersprachen~~]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung ~~unterschiedliche~~ [[Datentyp\|~~Typen~~]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.		'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in der [[Objektorientierte Programmierung\|objektorientierten Programmierung]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung [[Objekt (Programmierung)\|Objekte]] unterschiedlichen [[Datentyp\|Datentyps]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.

	== Arten der Polymorphie ==		== Arten der Polymorphie ==

Ikosit: Polymorphie ist kein Alleinstellungsmerkmal von objektorientierter Programmierung. Bspw. sind Haskell und Rust beide nicht OO, besitzen allerdings trotzdem Polymorphismus. Zudem besitzen viele Programmiersprachen nicht objekt-orientierten Polymorphismus. Z.B. Templates in C++, Generics in Java, ….

2023-04-20T17:27:59Z

Polymorphie ist kein Alleinstellungsmerkmal von objektorientierter Programmierung. Bspw. sind Haskell und Rust beide nicht OO, besitzen allerdings trotzdem Polymorphismus. Zudem besitzen viele Programmiersprachen nicht objekt-orientierten Polymorphismus. Z.B. Templates in C++, Generics in Java, ….

← Nächstältere Version		Version vom 20. April 2023, 19:27 Uhr
Zeile 1:		Zeile 1:
	'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in ~~der~~ [[~~Objektorientierte~~ ~~Programmierung~~\|~~objektorientierten~~ ~~Programmierung~~]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung ~~[[Objekt (Programmierung)\|Objekte]] unterschiedlichen~~ [[Datentyp\|~~Datentyps~~]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.		'''Polymorphie''' oder '''Polymorphismus''' ({{elS}} für ''Vielgestaltigkeit'') ist ein Konzept in [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]], das ermöglicht, dass ein [[Bezeichner]] abhängig von seiner Verwendung unterschiedliche [[Datentyp\|Typen]] annimmt. In älteren [[Typisierung (Informatik)\|typisierten]] [[Programmiersprache\|Programmiersprachen]] wird dagegen jedem Namen und jedem Wert im [[Quelltext]] eines [[Computerprogramm\|Programms]] höchstens ein Typ zugeordnet. Dies bezeichnet man als ''Monomorphie''.

	== Arten der Polymorphie ==		== Arten der Polymorphie ==

2001:470:7512:0:2C96:2D62:F5D8:3F27: Link zu einer Wiki Seite geändert, die meiner Meinung nach hier besser passt.

2023-02-03T19:20:02Z

Link zu einer Wiki Seite geändert, die meiner Meinung nach hier besser passt.

← Nächstältere Version		Version vom 3. Februar 2023, 21:20 Uhr
Zeile 111:		Zeile 111:
	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-in]]s zu erweitern. Dann erlaubt das Konzept der Polymorphie über das ''VisualizationPlugin'' Interface jede beliebige Implementierung (hier ''GraphDisplayPlugin'', ''TextDisplayPlugin'', ''HistogramDisplayPlugin'') aufzurufen.		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-in]]s 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-in\|Plug-ins]] nicht geändert werden und kann diese einfach über das [[Interface]] mit dem Aufruf von ''setData'' und ''display'' starten.		Die Anwendung selbst muss bei neuen [[Plug-in\|Plug-ins]] nicht geändert werden und kann diese einfach über das [[Schnittstelle (Objektorientierung)\|Interface]] mit dem Aufruf von ''setData'' und ''display'' starten.
	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">
	interface VisualizationPlugin {		interface VisualizationPlugin {

87.254.97.74: /* Überladen und Coercion */ Beispiele und Erläuterungen

2020-12-04T16:54:57Z

Überladen und Coercion: Beispiele und Erläuterungen

← Nächstältere Version		Version vom 4. Dezember 2020, 18:54 Uhr
Zeile 57:		Zeile 57:

	=== Überladen und Coercion ===		=== Überladen und Coercion ===
	[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm ganze Zahlen ~~und~~ Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:		[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm sowohl ganze Zahlen als auch Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:

	<syntaxhighlight lang="text">		<syntaxhighlight lang="text">
Zeile 65:		Zeile 65:
	</syntaxhighlight>		</syntaxhighlight>

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

	Coercion ist eine Art implizite [[Typumwandlung]], um zum Beispiel Argumente einer Funktion in die ~~von der Funktion~~ erwarteten Typen umzuwandeln. Coercion ist mit dem Überladen eng verknüpft und Unterschiede sind für den Programmierer nicht unbedingt gleich ersichtlich.		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:		Beispiel:
Zeile 78:		Zeile 78:
	In einer Sprache könnte der Additionsoperator lediglich für zwei reelle Zahlen definiert sein. Coercion würde dann dafür sorgen, dass [[Ganze Zahl\|ganze Zahlen]] zuerst in [[Gleitkommazahl\|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.		In einer Sprache könnte der Additionsoperator lediglich für zwei reelle Zahlen definiert sein. Coercion würde dann dafür sorgen, dass [[Ganze Zahl\|ganze Zahlen]] zuerst in [[Gleitkommazahl\|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 Werte zu denotieren, die allerdings unterschiedliche und möglicherweise zueinander inkompatible Typen haben.		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 (Mathematik)\|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.		Mit Coercions verhält es sich ähnlich. Man könnte meinen, ein [[Operator (Mathematik)\|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.

87.254.97.74: /* Überladen und Coercion */ Verhalten singular.

2020-11-26T09:00:23Z

Überladen und Coercion: Verhalten singular.

← Nächstältere Version		Version vom 26. November 2020, 11:00 Uhr
Zeile 57:		Zeile 57:

	=== Überladen und Coercion ===		=== Überladen und Coercion ===
	[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ~~sind~~. Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm ganze Zahlen und Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:		[[Funktion (Programmierung)\|Funktionen]] sind [[überladen]], wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Beispielsweise ist der [[Operator (Mathematik)\|Operator]] + in vielen [[Programmiersprache\|Programmiersprachen]] von vornherein überladen. So können mit ihm ganze Zahlen und Gleitkommazahlen addiert werden. Oft wird er auch zur [[Konkatenation (Wort)\|Stringkonkatenierung]] verwendet:

	<syntaxhighlight lang="text">		<syntaxhighlight lang="text">