AW: Generics ohne Typangabe - Ist das neu?
Zitat:
|
AW: Generics ohne Typangabe - Ist das neu?
Das Verhalten nennt sich Type inference.
Allerdings schmunzelt aufgrund der Eingeschränktheit des Delphi Compilers da jeder C# Entwickler nur drüber. Außerdem gibt/gab es auch Stellen, wo dann was grandios falsches rauskommt (in XE z.B. konnten Floats nicht korrekt infered werden, da kam dann Kraut und Rüben bei raus). Und auch innerhalb von generischen Klassen/Methoden kann es schonmal vorkommen, dass man eigentlich <T> weglassen könnte, der Compiler aber irgendwas moniert. Allerdings kann aufgrund der nicht vorhandenen Informationen des Compilers, dass es sich um einen konstruierten generischen Typen handelt, nur direkt auf den Typen eines Ausdrucks infered werden. Was heißt das? Dass sowas leider nicht geht:
Delphi-Quellcode:
Der Compiler weiß hier nicht mehr bei fooList, aha, das ist eine TList<T>, die passt in den Parameter list und T ist TFoo, also kannste hier bei DoIt das <TFoo> weglassen.
procedure TBar.DoIt<T>(list: TList<T>);
... var fooList: TList<TFoo>; begin bar.DoIt(fooList); // geht nicht Von Type Inference in C# bei Lambdas und generischen extension methods fang ich erstmal gar nicht an - sonst werd ich wieder depri :mrgreen: |
AW: Generics ohne Typangabe - Ist das neu?
Zitat:
|
AW: Generics ohne Typangabe - Ist das neu?
Zitat:
Immerhin weiß der Compiler ja schon vorher was für ein Typ für den Result benötigt wird. |
AW: Generics ohne Typangabe - Ist das neu?
-quatsch-
|
AW: Generics ohne Typangabe - Ist das neu?
[OT]
Zitat:
|
AW: Generics ohne Typangabe - Ist das neu?
Zitat:
Zitat:
|
AW: Generics ohne Typangabe - Ist das neu?
Zitat:
|
AW: Generics ohne Typangabe - Ist das neu?
Overload kann es so grundsätzlich erstmal beim Result nicht gehen .... nicht ohne soein Inferenzzeugs, denn abgesehn von expliziten Casts könnte der Compiler sonst keine Entscheidung treffen was er nun nehmen solle.
Delphi nutzt (aktuell) halt ausschließlich die Eingabeparameter, für diese Entscheidungen, und eben nicht den Ausgabeparameter Result. Aber wenn man es genau nimmt, dann ist auch das Result ein "Parameter", welcher intern oftmals sogar als VAR-Parameter übergeben wird. |
AW: Generics ohne Typangabe - Ist das neu?
Ja, aber deswegen musst Du auch bei nicht passenden oder zu allgemeinen Parametern den Typen mit angeben. Ein Overload mit jeweils einem Objektparameter geht ja auch u.U. nach hinten los.
Delphi-Quellcode:
Procedure Foo (bar : TFooBar); overload;
Procedure Foo (bar : TBarFoo); overload; ... Foo (nil); // <<--- möööp |
Alle Zeitangaben in WEZ +1. Es ist jetzt 19:57 Uhr. |
Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
LinkBacks Enabled by vBSEO © 2011, Crawlability, Inc.
Delphi-PRAXiS (c) 2002 - 2023 by Daniel R. Wolf, 2024 by Thomas Breitkreuz