Generics - Pro und Contra

[jbg]

Zitat von JamesTKirk:

Ich persönlich find es gut, dass die Typüberprüfung bereits bei der Definiton des Generics stattfindet.

Mir wären C++ Templates lieber gewesen, dann müsste man nicht für jeden Typ einen eigenen Comparer nutzen, der allein durch den Aufruf der Compare-Funktion nicht an die Performance eines direkten "Wert1 = Wert2" herranreicht.

Zitat von JamesTKirk:

Weißt du, warum Embarcadero das nicht möchte?

Das kann ich nur erahnen:

• Der Debugger würde nicht den korrekten Datentyp für T anzeigen, da ein T=Integer mit einem T=TObject in manchen Funktionen zusammenfallen könnte. (Wobei das bei einem Release-Build nur Stacktraces betreffen würde)
• Wenn sie Arbeit in die Compiler-Optimierung stecken würden, müssten sie zugeben, dass ihre Aussage "size doesn't matter nowadays" falsch ist. (wie kommt man auf die Idee das solche Monster von APKs für Smartphones gut wären)
• Sie haben keine Zeit das einzubauen, sind ja mit ihren Mobile-Compilern beschäftigt (denen auch mal eine Performance-Optimierung gut tun würde)
• Mein Patch würde die Frage aufwerfen, wer für fehlerhaftes Verhalten beim Endkunden einstehen müsste. (das Totschlag Argument, wenn sie es nicht selbst entwickeln wollen)

Mein Patch funktioniert übrigens nur rudinemtär mit XE2, weil ich "gestoppt wurde".

[Patito]

Zitat von jbg:

Zitat von JamesTKirk:

Ich persönlich find es gut, dass die Typüberprüfung bereits bei der Definiton des Generics stattfindet.

Mir wären C++ Templates lieber gewesen, dann müsste man nicht für jeden Typ einen eigenen Comparer nutzen, der allein durch den Aufruf der Compare-Funktion nicht an die Performance eines direkten "Wert1 = Wert2" herranreicht.

Container-Libraries waren für mich immer der wichtigste Grund Generics haben zu wollen.
Wenn ich jetzt aber sehe, dass ich meine Container (Maps, Multimaps, ...) ganz klassisch
schneller, kleiner und einfacher hinbekomme, fällt es mir nicht wirklich schwer auch
ganz auf Generics zu verzichten.

Ein simpler Typsicherer Wrapper für eine TObjektList mag noch ok sein, aber das reicht dann schon.
Komplexere Konstrukte gehören für mich in einen Code-Generatoren (mit so vielen Parametern und
Einstellungsmöglichkeiten wie man will) oder Metasprachen (die nach Pascal compilieren).
Man muss dafür nicht auch noch die ohnehin schon überladene Pascal-Syntax quälen.

[jaenicke]

Zitat von Patito:

Ein simpler Typsicherer Wrapper für eine TObjektList mag noch ok sein, aber das reicht dann schon.

Wobei das als Template mit kleinen Tricks auch schon in Delphi 5 ging.

Aber das ist ja nur der kleinste Teil der Vorteile von Generics. Allerdings sieht man oft die Möglichkeiten gar nicht. Das sieht man relativ oft, wenn jemand Generics noch nicht oft benutzt hat.

[TiGü]

Zitat von jaenicke:

Aber das ist ja nur der kleinste Teil der Vorteile von Generics. Allerdings sieht man oft die Möglichkeiten gar nicht. Das sieht man relativ oft, wenn jemand Generics noch nicht oft benutzt hat.

Kennt dazu jemand ein gutes Tutorial oder Blogeintrag, der einen alle Schweinereien mal auflistet?

[jaenicke]

Man findet schon in der Hilfe einiges, z.B. so etwas:
http://docwiki.embarcadero.com/RADSt...ts_in_Generics

Und ansonsten ist das Grundprinzip ja immer das gleiche, aber es ist so ähnlich wie objektorientierte Programmierung. Es reicht nicht aus OOP um der OOP willen anzuwenden, sondern man muss auch so denken, wenn man Strukturen entwirft. Das gilt für Generics genauso.

[Der schöne Günther]

Ich denke auch- In der reinen Benutzung ist bei Delphi eigentlich im Vergleich zu Java (Autoboxing ausgenommen, also sogar eigentlich besser als bei Java) oder C++ Templates genau gleich. Da kann man denke ich x-beliebige Lektüre nehmen.

Das "Hallo Welt" der Generics sind meistens wohl generische Stacks, also beispielsweise ein Integer oder Float-Stapel, je wie man grade lustig ist.

[mquadrat]

Ich benutze es auch im ORM. Hat ein Entity keine besonderen Anforderungen gibt es ein generisches Repository, das für's Laden verwendet wird. Also sowas in der Richtung:

  TEntityRepository.load<TKunde>(1311); gibt eben den Kunden mit der ID 1311 zurück

[TiGü]

Zitat von jaenicke:

Es reicht nicht aus OOP um der OOP willen anzuwenden, sondern man muss auch so denken, wenn man Strukturen entwirft. Das gilt für Generics genauso.

Das fällt mir etwas schwer!
Aber ich möchte gerne diese Hürde überwinden.

Was da rein technisch passiert ist mir schon halbwegs klar, nur komme ich ohne griffige Beispiele nicht so wirklich dahinter, wozu man das konkret brauchen könnte.

Bspw. der Quellcodeschnipsel aus dem DocWiki:

Delphi-Quellcode:

 type
   TFoo<T: ICloneable> ...
 
   TTest1 = class(TObject, ICloneable)
      ...
   end;
 
   TError = class
   end;
 
 var
   X: TFoo<TTest1>;  //  TTest1 wird hier auf ICloneable-Unterstützung                     
                     //  zur Compilierzeit überprüft

Inwiefern kann sowas im richtigen Quelltext Anwendung finden?
Wo sind die Vorteile gegenüber, ich sage mal, herkömmlichen Lösungen?


Mit den meisten Design Pattern geht es mir ähnlich.
Wenn ich das noch nicht selbst programmiert / implementiert habe, bleibt es nebulös im Hirn.
Erst wenn ich versuche diese Pattern umzusetzen - und sei es mit simplen Beispielen wie Kaffeezubereitung (http://www.oreilly.de/catalog/hfdesi...apter/ch03.pdf) - macht es bei mir Klick.

[Der schöne Günther]

Drei Daumen hoch für das Buch! Das ist wirklich gut.