Generics ohne Typangabe - Ist das neu?

[uligerhardt]

Zitat von himitsu:

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.

[himitsu]

Zitat von uligerhardt:

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.

[Dejan Vu]

-quatsch-

[Stevie]

Zitat von uligerhardt:

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.

Zitat von implementation:

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

[uligerhardt]

Zitat von Stevie:

Zitat von uligerhardt:

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.

[himitsu]

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.

[Dejan Vu]

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