Generische Programmierung - Versionsgeschichte

RolandIllig: /* C */ Abschnitt entfernt, da die Implementierung mit Pointern unnötig kompliziert ist und auch nicht erläutert wird

2023-01-28T21:17:54Z

C: Abschnitt entfernt, da die Implementierung mit Pointern unnötig kompliziert ist und auch nicht erläutert wird

← Nächstältere Version		Version vom 28. Januar 2023, 23:17 Uhr
Zeile 16:		Zeile 16:

	Voraussetzung ist, dass <math>a</math> und <math>b</math> miteinander vergleichbar sind, der Ausdruck <math>a \le b</math> also definiert ist und eine [[Ordnungsrelation\|Ordnung]] beschreibt.		Voraussetzung ist, dass <math>a</math> und <math>b</math> miteinander vergleichbar sind, der Ausdruck <math>a \le b</math> also definiert ist und eine [[Ordnungsrelation\|Ordnung]] beschreibt.

	=== C ===

	==== Neuschreiben der Algorithmen für jeden Datentyp ====
	In klassischen [[Programmiersprache]]n wie [[C (Programmiersprache)\|C]] könnte man hier für jeden [[Datentyp]] eine [[Funktion (Programmierung)\|Funktion]] programmieren, die jeweils das gleiche Ergebnis im entsprechenden Typ erzeugt.

	Die folgenden Funktionen ermitteln von den beiden Zahlen ''a'' und ''b'' jeweils die größere, allerdings einmal als [[Integer (Datentyp)\|Integer]] und einmal als [[Gleitkommazahl\|Float]]:

	<syntaxhighlight lang="c">
	int maxInt(int a, int b) {
	if (a < b) {
	return b;
	} else {
	return a;
	}
	}
	</syntaxhighlight>

	<syntaxhighlight lang="c">
	float maxFloat(float a, float b) {
	if (a < b) {
	return b;
	} else {
	return a;
	}
	}
	</syntaxhighlight>

	Hierbei fällt auf, dass der Code an sich immer derselbe ist, nur die Typen unterscheiden sich.

	==== Generische Programmierung ====

	Hier wird der Typ durch den Präprozessor bestimmt.

	<syntaxhighlight lang="c">
	#define Item int
	</syntaxhighlight>

	Der Zieldatentyp in einer separaten Datei.

	<syntaxhighlight lang="c">
	static Item maximum;
	</syntaxhighlight>

	In derselben Datei befindet sich auch der Speichermechanismus.

	<syntaxhighlight lang="c">
	static void save(void* tmp) {
	maximum = ((Item) tmp);
	}
	</syntaxhighlight>

	Natürlich gibt es hier eine spezielle Vergleichsmethode für den Typ.

	<syntaxhighlight lang="c">
	int compare(void* aa, void* bb) {
	if (((Item) aa) < ((Item) bb)) {
	return -1;
	} else {
	return 0;
	}
	}
	</syntaxhighlight>

	Der generische Algorithmus zur Wiedergabe des Maximums.

	<syntaxhighlight lang="c">
	void max(void aa, void bb, void save(void*)) {
	if (compare(aa, bb)) {
	save (bb);
	} else {
	save (aa);
	}
	}
	</syntaxhighlight>

	Die Funktion max ist hiermit komplett generisch. Man bemerkt, dass die Funktionen save und compare einen konkreten Datentyp verwenden, diese werden aber später, da sie nicht zur Grammatik des Algorithmus gehören, gekapselt.

	=== C++ ===		=== C++ ===

217.6.21.90: /* Generische Methoden */ logischer Fehler im Beispielcode

2022-09-20T14:26:18Z

Generische Methoden: logischer Fehler im Beispielcode

← Nächstältere Version		Version vom 20. September 2022, 16:26 Uhr
Zeile 224:		Zeile 224:
	// Fügt drei Elemente in die Liste ein		// Fügt drei Elemente in die Liste ein
	testObject.Insert(0, "Werde Mitglied bei Wikipedia!");		testObject.Insert(0, "Werde Mitglied bei Wikipedia!");
	testObject.Insert(0, "Willkommen bei Wikipedia!");		testObject.Insert(1, "Willkommen bei Wikipedia!");
	testObject.Insert(2, "Wie gefällt dir Wikipedia?");		testObject.Insert(2, "Wie gefällt dir Wikipedia?");
	Console.WriteLine(testObject.ToString()); // Aufruf der Methode, Ausgabe aller drei Elemente auf der Konsole		Console.WriteLine(testObject.ToString()); // Aufruf der Methode, Ausgabe aller drei Elemente auf der Konsole

Aka: typografische Anführungszeichen, ISBN-Format, Links optimiert, Kleinkram

2022-08-07T17:47:38Z

typografische Anführungszeichen, ISBN-Format, Links optimiert, Kleinkram

Faebster: /* Generische Programmierung in verschiedenen Programmiersprachen */ ich geh davon aus, dass die Autoren halt eher aus anderen Richtungen kommen, weil TypeScript wird mehr programmiert als Java, aber bereits der zweite Artikel heute, wo ich es ergänzt habe. übrigens auch meine ersren beiden Versuche, seid gnädig oder helft, ich bin flexibel :)

2022-08-06T22:31:43Z

Generische Programmierung in verschiedenen Programmiersprachen: ich geh davon aus, dass die Autoren halt eher aus anderen Richtungen kommen, weil TypeScript wird mehr programmiert als Java, aber bereits der zweite Artikel heute, wo ich es ergänzt habe. übrigens auch meine ersren beiden Versuche, seid gnädig oder helft, ich bin flexibel :)

← Nächstältere Version		Version vom 7. August 2022, 00:31 Uhr
Zeile 240:		Zeile 240:
	* In [[ABAP]] gibt es ebenfalls generische Datentypen.		* In [[ABAP]] gibt es ebenfalls generische Datentypen.
	* In [[Java (Programmiersprache)\|Java]] kommen generische Typen ab der Version 1.5 vor.		* In [[Java (Programmiersprache)\|Java]] kommen generische Typen ab der Version 1.5 vor.
	* In den .NET-Sprachen [[C-Sharp\|C#]] und [[Visual Basic .NET\|VB .NET]] (ab .NET 2.0) gibt es die [[Generischer Typ\|generischen Typen]] (''generics'').		* In [[TypeScript]] und den .NET-Sprachen [[C-Sharp\|C#]] und [[Visual Basic .NET\|VB .NET]] (ab .NET 2.0) gibt es die [[Generischer Typ\|generischen Typen]] (''generics'').
	* In der Programmiersprache [[Eiffel (Programmiersprache)\|Eiffel]] existieren generische Klassen.		* In der Programmiersprache [[Eiffel (Programmiersprache)\|Eiffel]] existieren generische Klassen.
	* Die funktionale Programmiersprache [[ML (Programmiersprache)\|ML]] (und Abkömmlinge wie [[Objective CAML\|OCaml]]) sowie [[Haskell (Programmiersprache)\|Haskell]] erlauben generische Programmierung. Typ-Polymorphie ist dort konzeptuelle Grundlage. Es lassen sich sogar Module generieren. Generische Module („parametric modules“) werden hier als Funktor bezeichnet. Man kann Funktoren Module als Parameter übergeben und erhält ein neues Modul als Ergebnis.		* Die funktionale Programmiersprache [[ML (Programmiersprache)\|ML]] (und Abkömmlinge wie [[Objective CAML\|OCaml]]) sowie [[Haskell (Programmiersprache)\|Haskell]] erlauben generische Programmierung. Typ-Polymorphie ist dort konzeptuelle Grundlage. Es lassen sich sogar Module generieren. Generische Module („parametric modules“) werden hier als Funktor bezeichnet. Man kann Funktoren Module als Parameter übergeben und erhält ein neues Modul als Ergebnis.

Thomas Dresler: Tippfehler

2022-03-21T16:17:35Z

Tippfehler

← Nächstältere Version		Version vom 21. März 2022, 18:17 Uhr
Zeile 22:		Zeile 22:
	In klassischen [[Programmiersprache\|Programmiersprachen]] wie [[C (Programmiersprache)\|C]] könnte man hier für jeden [[Datentyp]] eine [[Funktion (Programmierung)\|Funktion]] programmieren, die jeweils das gleiche Ergebnis im entsprechenden Typ erzeugt.		In klassischen [[Programmiersprache\|Programmiersprachen]] wie [[C (Programmiersprache)\|C]] könnte man hier für jeden [[Datentyp]] eine [[Funktion (Programmierung)\|Funktion]] programmieren, die jeweils das gleiche Ergebnis im entsprechenden Typ erzeugt.

	Die folgenden Funktionen ermitteln von den beiden Zahlen ''a'' und ''b'' jeweils die ~~Größere~~, allerdings einmal als [[Integer (Datentyp)\|Integer]] und einmal als [[Gleitkommazahl\|Float]]:		Die folgenden Funktionen ermitteln von den beiden Zahlen ''a'' und ''b'' jeweils die größere, allerdings einmal als [[Integer (Datentyp)\|Integer]] und einmal als [[Gleitkommazahl\|Float]]:

	<syntaxhighlight lang="c">		<syntaxhighlight lang="c">

2003:C9:6F11:A800:9857:ADAE:36C2:A2B2: /* Generische Programmierung */

2022-01-20T08:43:33Z

Generische Programmierung

← Nächstältere Version		Version vom 20. Januar 2022, 10:43 Uhr
Zeile 139:		Zeile 139:

	==== Generische Programmierung ====		==== Generische Programmierung ====
	Generische Programmierung in der [[Programmiersprache]] [[C-Sharp\|C#]] ähnelt den Templates in [[C++]]. Beispielsweise verwenden Klassen wie ''HashSet'', ''List'', ''Dictionary'' usw. [[Generischer Typ\|generische Typen]] sehr gut. In C++ werden spitze Klammern verwendet, um die Parametertypen in der generischen Klassendeklaration anzugeben. Im folgenden Beispiel wird ein [[Objekt (Programmierung)\|Objekt]] einer generischen [[Klasse (Objektorientierung)\|Klasse]] mit zwei Typparametern erstellt.<syntaxhighlight lang="c#">		Generische Programmierung in der [[Programmiersprache]] [[C-Sharp\|C#]] ähnelt den Templates in [[C++]]. Beispielsweise verwenden Klassen wie ''HashSet'', ''List'', ''Dictionary'' usw. [[Generischer Typ\|generische Typen]] sehr gut. In C# werden spitze Klammern verwendet, um die Parametertypen in der generischen Klassendeklaration anzugeben. Im folgenden Beispiel wird ein [[Objekt (Programmierung)\|Objekt]] einer generischen [[Klasse (Objektorientierung)\|Klasse]] mit zwei Typparametern erstellt.<syntaxhighlight lang="c#">
	using System;		using System;

2003:DB:2F11:BD00:1E69:7AFF:FE75:2961: eckige Klammer sehen so aus [...]

2021-08-17T17:39:02Z

eckige Klammer sehen so aus [...]

← Nächstältere Version		Version vom 17. August 2021, 19:39 Uhr
Zeile 139:		Zeile 139:

	==== Generische Programmierung ====		==== Generische Programmierung ====
	Generische Programmierung in der [[Programmiersprache]] [[C-Sharp\|C#]] ähnelt den Templates in [[C++]]. Beispielsweise verwenden Klassen wie ''HashSet'', ''List'', ''Dictionary'' usw. [[Generischer Typ\|generische Typen]] sehr gut. In C++ werden ~~ecke~~ Klammern verwendet, um die Parametertypen in der generischen Klassendeklaration anzugeben. Im folgenden Beispiel wird ein [[Objekt (Programmierung)\|Objekt]] einer generischen [[Klasse (Objektorientierung)\|Klasse]] mit zwei Typparametern erstellt.<syntaxhighlight lang="c#">		Generische Programmierung in der [[Programmiersprache]] [[C-Sharp\|C#]] ähnelt den Templates in [[C++]]. Beispielsweise verwenden Klassen wie ''HashSet'', ''List'', ''Dictionary'' usw. [[Generischer Typ\|generische Typen]] sehr gut. In C++ werden spitze Klammern verwendet, um die Parametertypen in der generischen Klassendeklaration anzugeben. Im folgenden Beispiel wird ein [[Objekt (Programmierung)\|Objekt]] einer generischen [[Klasse (Objektorientierung)\|Klasse]] mit zwei Typparametern erstellt.<syntaxhighlight lang="c#">
	using System;		using System;

A.Abdel-Rahim: bearb.

2021-07-15T03:23:18Z

bearb.

← Nächstältere Version		Version vom 15. Juli 2021, 05:23 Uhr
Zeile 2:		Zeile 2:
	'''Generische Programmierung''' ist ein Verfahren zur Entwicklung wiederverwendbarer [[Programmbibliothek\|Software-Bibliotheken]]. Dabei werden [[Funktion (Programmierung)\|Funktionen]] möglichst allgemein entworfen, um sie für unterschiedliche [[Datentyp]]en und [[Datenstruktur]]en verwenden zu können.		'''Generische Programmierung''' ist ein Verfahren zur Entwicklung wiederverwendbarer [[Programmbibliothek\|Software-Bibliotheken]]. Dabei werden [[Funktion (Programmierung)\|Funktionen]] möglichst allgemein entworfen, um sie für unterschiedliche [[Datentyp]]en und [[Datenstruktur]]en verwenden zu können.

			== Grundlegendes ==
	Die Implementierung erfolgt bei einigen [[Programmiersprache]]n durch das Konzept [[generischer Typ]]en bzw. [[Template (C++)\|Templates]] – so gestalten sich [[dynamische Programmiersprache]]n, bei denen sich der Typ einer Variable zur Laufzeit ändern darf, durch ihre verallgemeinerte [[Polymorphie (Programmierung)\|Polymorphie]] generisch. Von Sprachen, die solche Mechanismen bieten, sagt man auch, dass sie '''Generik''' erlauben.		Die Implementierung erfolgt bei einigen [[Programmiersprache]]n durch das Konzept [[generischer Typ]]en bzw. [[Template (C++)\|Templates]] – so gestalten sich [[dynamische Programmiersprache]]n, bei denen sich der Typ einer Variable zur Laufzeit ändern darf, durch ihre verallgemeinerte [[Polymorphie (Programmierung)\|Polymorphie]] generisch. Von Sprachen, die solche Mechanismen bieten, sagt man auch, dass sie '''Generik''' erlauben.

Maximum 2520: /* Generische Methoden */ hinzugefügt

2021-07-14T20:23:50Z

Generische Methoden: hinzugefügt

@@ Zeile 173: / Zeile 173: @@
         Console.ReadLine();
+    }
+}
 </syntaxhighlight>

A.Abdel-Rahim: ÜA– BF+

2021-07-14T15:20:00Z

ÜA– BF+

← Nächstältere Version		Version vom 14. Juli 2021, 17:20 Uhr
Zeile 1:		Zeile 1:
	{{~~Überarbeiten~~}}		{{Belege fehlen}}
	'''Generische Programmierung''' ist ein Verfahren zur Entwicklung wiederverwendbarer [[Programmbibliothek\|Software-Bibliotheken]]. Dabei werden [[Funktion (Programmierung)\|Funktionen]] möglichst allgemein entworfen, um sie für unterschiedliche [[Datentyp]]en und [[Datenstruktur]]en verwenden zu können.		'''Generische Programmierung''' ist ein Verfahren zur Entwicklung wiederverwendbarer [[Programmbibliothek\|Software-Bibliotheken]]. Dabei werden [[Funktion (Programmierung)\|Funktionen]] möglichst allgemein entworfen, um sie für unterschiedliche [[Datentyp]]en und [[Datenstruktur]]en verwenden zu können.

← Nächstältere Version		Version vom 7. August 2022, 00:31 Uhr
Zeile 240:		Zeile 240:
	* In [[ABAP]] gibt es ebenfalls generische Datentypen.		* In [[ABAP]] gibt es ebenfalls generische Datentypen.
	* In [[Java (Programmiersprache)\|Java]] kommen generische Typen ab der Version 1.5 vor.		* In [[Java (Programmiersprache)\|Java]] kommen generische Typen ab der Version 1.5 vor.
	* In den .NET-Sprachen [[C-Sharp\|C#]] und [[Visual Basic .NET\|VB .NET]] (ab .NET 2.0) gibt es die [[Generischer Typ\|generischen Typen]] (''generics'').		* In [[TypeScript]] und den .NET-Sprachen [[C-Sharp\|C#]] und [[Visual Basic .NET\|VB .NET]] (ab .NET 2.0) gibt es die [[Generischer Typ\|generischen Typen]] (''generics'').
	* In der Programmiersprache [[Eiffel (Programmiersprache)\|Eiffel]] existieren generische Klassen.		* In der Programmiersprache [[Eiffel (Programmiersprache)\|Eiffel]] existieren generische Klassen.
	* Die funktionale Programmiersprache [[ML (Programmiersprache)\|ML]] (und Abkömmlinge wie [[Objective CAML\|OCaml]]) sowie [[Haskell (Programmiersprache)\|Haskell]] erlauben generische Programmierung. Typ-Polymorphie ist dort konzeptuelle Grundlage. Es lassen sich sogar Module generieren. Generische Module („parametric modules“) werden hier als Funktor bezeichnet. Man kann Funktoren Module als Parameter übergeben und erhält ein neues Modul als Ergebnis.		* Die funktionale Programmiersprache [[ML (Programmiersprache)\|ML]] (und Abkömmlinge wie [[Objective CAML\|OCaml]]) sowie [[Haskell (Programmiersprache)\|Haskell]] erlauben generische Programmierung. Typ-Polymorphie ist dort konzeptuelle Grundlage. Es lassen sich sogar Module generieren. Generische Module („parametric modules“) werden hier als Funktor bezeichnet. Man kann Funktoren Module als Parameter übergeben und erhält ein neues Modul als Ergebnis.

← Nächstältere Version		Version vom 7. August 2022, 19:47 Uhr
Zeile 20:		Zeile 20:

	==== Neuschreiben der Algorithmen für jeden Datentyp ====		==== Neuschreiben der Algorithmen für jeden Datentyp ====
	In klassischen [[Programmiersprache~~\|Programmiersprachen~~]] wie [[C (Programmiersprache)\|C]] könnte man hier für jeden [[Datentyp]] eine [[Funktion (Programmierung)\|Funktion]] programmieren, die jeweils das gleiche Ergebnis im entsprechenden Typ erzeugt.		In klassischen [[Programmiersprache]]n wie [[C (Programmiersprache)\|C]] könnte man hier für jeden [[Datentyp]] eine [[Funktion (Programmierung)\|Funktion]] programmieren, die jeweils das gleiche Ergebnis im entsprechenden Typ erzeugt.

	Die folgenden Funktionen ermitteln von den beiden Zahlen ''a'' und ''b'' jeweils die größere, allerdings einmal als [[Integer (Datentyp)\|Integer]] und einmal als [[Gleitkommazahl\|Float]]:		Die folgenden Funktionen ermitteln von den beiden Zahlen ''a'' und ''b'' jeweils die größere, allerdings einmal als [[Integer (Datentyp)\|Integer]] und einmal als [[Gleitkommazahl\|Float]]:
Zeile 97:		Zeile 97:

	==== Verwendung objektorientierter Mittel ====		==== Verwendung objektorientierter Mittel ====
	Der [[Objektorientierte Programmierung\|objektorientierte]] Ansatz funktioniert im Kontext statischer Typisierung nicht zufriedenstellend. Zwar lassen sich hier mit [[Schnittstelle (Objektorientierung)\|Interfaces]] oder Mehrfachableitung [[Klasse (Objektorientierung)\|Klassen]] um ~~"andere"~~ Datentypen erweitern, sodass sich mittels Polymorphie das Verhalten der generischen Programmierung zum Teil nachbauen lässt, allerdings wird die vollständige Unabhängigkeit von unterschiedlichen Typen (bzw. Klassen) damit nicht umgesetzt, weil es sich bei diesen Techniken auch nicht strenggenommen um objektorientierte Techniken handelt.		Der [[Objektorientierte Programmierung\|objektorientierte]] Ansatz funktioniert im Kontext statischer Typisierung nicht zufriedenstellend. Zwar lassen sich hier mit [[Schnittstelle (Objektorientierung)\|Interfaces]] oder Mehrfachableitung [[Klasse (Objektorientierung)\|Klassen]] um „andere“ Datentypen erweitern, sodass sich mittels Polymorphie das Verhalten der generischen Programmierung zum Teil nachbauen lässt, allerdings wird die vollständige Unabhängigkeit von unterschiedlichen Typen (bzw. Klassen) damit nicht umgesetzt, weil es sich bei diesen Techniken auch nicht strenggenommen um objektorientierte Techniken handelt.

	Definiert man in der [[Programmiersprache]] [[C++]] eine [[Klasse (Objektorientierung)\|Klasse]] <code>Vergleichbares</code> und leitet davon zum Beispiel für eine physikalische [[Simulation]] die Klassen <code>Laenge</code> und <code>Masse</code> ab (sagt also, dass sowohl Längen als auch die Masse etwas vergleichbares sind), so kann man zwar schreiben:		Definiert man in der [[Programmiersprache]] [[C++]] eine [[Klasse (Objektorientierung)\|Klasse]] <code>Vergleichbares</code> und leitet davon zum Beispiel für eine physikalische [[Simulation]] die Klassen <code>Laenge</code> und <code>Masse</code> ab (sagt also, dass sowohl Längen als auch die Masse etwas vergleichbares sind), so kann man zwar schreiben:
Zeile 147:		Zeile 147:
	T object1; // Deklariert ein Objekt vom Typ T		T object1; // Deklariert ein Objekt vom Typ T
	U object2; // Deklariert ein Objekt vom Typ U		U object2; // Deklariert ein Objekt vom Typ U


	// Konstruktor der Klasse, der die zwei Objekte initialisiert		// Konstruktor der Klasse, der die zwei Objekte initialisiert
	public Test(T object1, U object2)		public Test(T object1, U object2)
Zeile 154:		Zeile 154:
	this.object2 = object2;		this.object2 = object2;
	}		}


	// Methode, die die zwei Objekte auf der Konsole ausgibt		// Methode, die die zwei Objekte auf der Konsole ausgibt
	public void Write()		public void Write()
Zeile 171:		Zeile 171:
	Test<string, DateTime> testObject = new Test<string, DateTime>("Willkommen bei Wikipedia!", DateTime.Now); // Aufruf des Konstruktors		Test<string, DateTime> testObject = new Test<string, DateTime>("Willkommen bei Wikipedia!", DateTime.Now); // Aufruf des Konstruktors
	testObject.Write(); // Aufruf der Methode, Ausgabe auf der Konsole		testObject.Write(); // Aufruf der Methode, Ausgabe auf der Konsole


	Console.ReadLine();		Console.ReadLine();
	}		}
Zeile 236:		Zeile 236:
	== Generische Programmierung in verschiedenen Programmiersprachen ==		== Generische Programmierung in verschiedenen Programmiersprachen ==
	* Wie bereits erwähnt, wird die generische Programmierung in C++ durch Templates unterstützt.		* Wie bereits erwähnt, wird die generische Programmierung in C++ durch Templates unterstützt.
	* In [[Ada (Programmiersprache)\|Ada]] gab es generische Typen vor der Einführung von Templates in C++. C++ Templates sind von Ada beeinflusst, unterscheiden sich aber in vielen Punkten.<ref name="Stroustrup94Design">Bjarne Stroustrup (1994):The Design and Evolution of C++. Kapitel 15 Templates. Addison-Wesley, Reading, Massachusetts, ISBN 978-~~0201543308~~.</ref>		* In [[Ada (Programmiersprache)\|Ada]] gab es generische Typen vor der Einführung von Templates in C++. C++ Templates sind von Ada beeinflusst, unterscheiden sich aber in vielen Punkten.<ref name="Stroustrup94Design">Bjarne Stroustrup (1994):The Design and Evolution of C++. Kapitel 15 Templates. Addison-Wesley, Reading, Massachusetts, ISBN 978-0-201-54330-8.</ref>

	* In [[ABAP]] gibt es ebenfalls generische Datentypen.		* In [[ABAP]] gibt es ebenfalls generische Datentypen.