AGB  ·  Datenschutz  ·  Impressum  







Anmelden
Nützliche Links
Registrieren

Generics ohne Typangabe - Ist das neu?

Ein Thema von Sir Rufo · begonnen am 26. Nov 2014 · letzter Beitrag vom 2. Dez 2014
Antwort Antwort
Seite 2 von 2     12
Elvis

Registriert seit: 25. Nov 2005
Ort: München
1.909 Beiträge
 
Delphi 2010 Professional
 
#11

AW: Generics ohne Typangabe - Ist das neu?

  Alt 26. Nov 2014, 12:50
Bei C# habe ich das erst mit dem Einsatz des Refactoringtools "Resharper" bemerkt, der gnadenlos redundanten Code moniert (wenn man ihn lässt).
Ohne Generic inference könnte man fast nirgends LINQ nutzen, alleine die anonymen Typen wären ein no-go.
Robert Giesecke
I’m a great believer in “Occam’s Razor,” the principle which says:
“If you say something complicated, I’ll slit your throat.”
  Mit Zitat antworten Zitat
Benutzerbild von Stevie
Stevie

Registriert seit: 12. Aug 2003
Ort: Soest
4.007 Beiträge
 
Delphi 10.1 Berlin Enterprise
 
#12

AW: Generics ohne Typangabe - Ist das neu?

  Alt 26. Nov 2014, 17:16
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:
procedure TBar.DoIt<T>(list: TList<T>);
...

var
  fooList: TList<TFoo>;
begin
  bar.DoIt(fooList); // geht nicht
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.

Von Type Inference in C# bei Lambdas und generischen extension methods fang ich erstmal gar nicht an - sonst werd ich wieder depri
Stefan
“Simplicity, carried to the extreme, becomes elegance.” Jon Franklin

Delphi Sorcery - DSharp - Spring4D - TestInsight

Geändert von Stevie (26. Nov 2014 um 17:26 Uhr)
  Mit Zitat antworten Zitat
Benutzerbild von uligerhardt
uligerhardt

Registriert seit: 19. Aug 2004
Ort: Hof/Saale
1.734 Beiträge
 
Delphi 2007 Professional
 
#13

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 14:11
Das ging nicht, glaub ich.
Delphi-Quellcode:
type
  TFoo = class
  public
    class procedure Bar<T>() : T ;
  end;

procedure Test;
var
  LBar : TBar;
begin
  LBar := TFoo.Bar; // dieser Aufruf ist äquivalent zu
  LBar := TFoo.Bar<TBar>;
end;
Erscheint mir auch logisch - anhand der Rückgabetypen überladen geht ja genausowenig.
Uli Gerhardt
  Mit Zitat antworten Zitat
Benutzerbild von himitsu
himitsu

Registriert seit: 11. Okt 2003
Ort: Elbflorenz
43.014 Beiträge
 
Delphi 12 Athens
 
#14

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 14:29
anhand der Rückgabetypen überladen geht ja genausowenig.
Aber warum nicht?

Immerhin weiß der Compiler ja schon vorher was für ein Typ für den Result benötigt wird.
Garbage Collector ... Delphianer erzeugen keinen Müll, also brauchen sie auch keinen Müllsucher.
my Delphi wish list : BugReports/FeatureRequests
  Mit Zitat antworten Zitat
Dejan Vu
(Gast)

n/a Beiträge
 
#15

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 14:31
-quatsch-
  Mit Zitat antworten Zitat
Benutzerbild von implementation
implementation

Registriert seit: 5. Mai 2008
940 Beiträge
 
FreePascal / Lazarus
 
#16

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 14:37
[OT]

Allerdings schmunzelt aufgrund der Eingeschränktheit des Delphi Compilers da jeder C# Entwickler nur drüber.
Und Haskeller erst. Im Vergleich dazu ist auch die Inference in C# noch billig
  Mit Zitat antworten Zitat
Benutzerbild von Stevie
Stevie

Registriert seit: 12. Aug 2003
Ort: Soest
4.007 Beiträge
 
Delphi 10.1 Berlin Enterprise
 
#17

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 17:25
Erscheint mir auch logisch - anhand der Rückgabetypen überladen geht ja genausowenig.
Das nennt sich return type inference und ist keineswegs unlogisch. Kann aber durchaus komplex werden, wie Eric Lippert hier und hier erklärt.

Und Haskeller erst. Im Vergleich dazu ist auch die Inference in C# noch billig
Schon, aber eine funktionale mit einer objektorientierten Programmiersprache zu vergleichen hinkt schon ein bisschen
Stefan
“Simplicity, carried to the extreme, becomes elegance.” Jon Franklin

Delphi Sorcery - DSharp - Spring4D - TestInsight
  Mit Zitat antworten Zitat
Benutzerbild von uligerhardt
uligerhardt

Registriert seit: 19. Aug 2004
Ort: Hof/Saale
1.734 Beiträge
 
Delphi 2007 Professional
 
#18

AW: Generics ohne Typangabe - Ist das neu?

  Alt 1. Dez 2014, 21:53
Erscheint mir auch logisch - anhand der Rückgabetypen überladen geht ja genausowenig.
Das nennt sich return type inference und ist keineswegs unlogisch.
Hab ja auch nicht gemeint, das das Konzept Quatsch wäre, sondern, dass mir logisch erscheint, dass es in Delphi nicht für Generics implementiert ist, wenn's nichtmal für overload funktioniert.
Uli Gerhardt
  Mit Zitat antworten Zitat
Benutzerbild von himitsu
himitsu

Registriert seit: 11. Okt 2003
Ort: Elbflorenz
43.014 Beiträge
 
Delphi 12 Athens
 
#19

AW: Generics ohne Typangabe - Ist das neu?

  Alt 2. Dez 2014, 01:57
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.
Garbage Collector ... Delphianer erzeugen keinen Müll, also brauchen sie auch keinen Müllsucher.
my Delphi wish list : BugReports/FeatureRequests

Geändert von himitsu ( 2. Dez 2014 um 03:11 Uhr)
  Mit Zitat antworten Zitat
Dejan Vu
(Gast)

n/a Beiträge
 
#20

AW: Generics ohne Typangabe - Ist das neu?

  Alt 2. Dez 2014, 07:55
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
  Mit Zitat antworten Zitat
Themen-Optionen Thema durchsuchen
Thema durchsuchen:

Erweiterte Suche
Ansicht

Forumregeln

Es ist dir nicht erlaubt, neue Themen zu verfassen.
Es ist dir nicht erlaubt, auf Beiträge zu antworten.
Es ist dir nicht erlaubt, Anhänge hochzuladen.
Es ist dir nicht erlaubt, deine Beiträge zu bearbeiten.

BB-Code ist an.
Smileys sind an.
[IMG] Code ist an.
HTML-Code ist aus.
Trackbacks are an
Pingbacks are an
Refbacks are aus

Gehe zu:

Impressum · AGB · Datenschutz · Nach oben
Alle Zeitangaben in WEZ +1. Es ist jetzt 15:17 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