Generics in Attributen?

[Der schöne Günther]

Folgendes

Delphi-Quellcode:

   MyAttribute<T> = class(TCustomAttribute)
      protected var someValue: T;
      public constructor Create(const someValue: T);
   end;


   TMyTaggedClass = class
      protected var
         [MyAttribute<Integer>(123)]
         someVariable: String;
   end;

liefert

Code:

[dcc32 Warnung] Project2.dpr(25): W1025 Sprach-Feature wird nicht unterstützt: 'Benutzerdefiniertes Attribut'

Stelle ich mich zu dumm an oder kann ich die Idee vergessen? Ich wollte ein paar Feldern ein Art Default-Wert mitgeben. Und ich wollte vermeiden, für jeden möglichen Typ ein eigenes Attribut basteln zu müssen...

[himitsu]

Da kommt einfach irgendwas mit dem < und > im Typnamen nicht klar.
Dieses Problem ist auch bei anderen Dingen vertreten, wie z.B. publisched Felder in der DFM und, ich glaub, das DataSnap muckte da auch etwas rum.

Delphi-Quellcode:

type
   MyGenericAttribute<T> = class(TCustomAttribute)
      protected var someValue: T;
      public constructor Create(const someValue: T);
   end;
   MyIntegerAttribute = class(MyGenericAttribute<Integer>);
   MyStringAttribute = class(MyGenericAttribute<String>);

   TMyTaggedClass = class
      protected var
         [MyIntegerAttribute(123)]
         someVariable: String;
   end;

[Union]

Das liegt evtl. auch an der automatischen Suffexierung der Delphi-Attribute mit "attribute". Dein Beispiel sollte ja auch mit My(123) gültig sein.

[Der schöne Günther]

Stimmt, das könnte wirklich daran liegen...

[Uwe Raabe]

Guckst du hier: E2565 Parametrisierter oder instantiierter Typ kann nicht als benutzerdefiniertes Attribut verwendet werden(Delphi)

[himitsu]

Zitat von Uwe Raabe:

Guckst du hier: E2565 Parametrisierter oder instantiierter Typ kann nicht als benutzerdefiniertes Attribut verwendet werden(Delphi)

Zitat:

Dieser Fehler tritt bei dem Versuch auf, RTTI-Informationen von einem generischen Typ abzuleiten.

Ableiten?


Das, was die da machen, ist einen Alias zu verwenden, aber der Compiler ersetzt diesen sofort wieder durch den eigentlichen Typ, womit der Code dem des TEs entspricht.

"Richtig" ableiten, siehe mein Beispiel.

[Uwe Raabe]

Zitat von himitsu:

Zitat von Uwe Raabe:

Guckst du hier: E2565 Parametrisierter oder instantiierter Typ kann nicht als benutzerdefiniertes Attribut verwendet werden(Delphi)

Zitat:

Dieser Fehler tritt bei dem Versuch auf, RTTI-Informationen von einem generischen Typ abzuleiten.

Ableiten?


Das, was die da machen, ist einen Alias zu verwenden, aber der Compiler ersetzt diesen sofort wieder durch den eigentlichen Typ, womit der Code dem des TEs entspricht.

Das Beispiel in der Fehlerbeschreibung zeigt exakt eben genau das was Günther versucht hat. Allein duch den Alias-Typen kommt man aber erst zu dieser Fehlermeldung, die einfach nur besagt, daß sowas nicht geht.

Das "ableiten", das du in deinem Quote bemängelst, hat hier wohl eher die Bedeutung von "herleiten" im Sinne von Informationen ermitteln. Der Englische Originaltext macht das deutlicher:

Zitat:

This occurs when trying to infer RTTI from a generic type.

[himitsu]

Dann ist aber der Compiler defekt, wenn er die richtige Fehlermeldung nur bei einem Alias ausgibt, obwohl er eigentlich den generischen Typ meint.

PS: Zumindestens (in XE3) gibt sogar das Error-Insight einen Fehler aus, daß es den generischen Typ dort nicht mag.
(auch wenn dessen Fehlermeldung nichtssagend ist)

[Uwe Raabe]

Zitat von himitsu:

Dann ist aber der Compiler defekt, wenn er die richtige Fehlermeldung nur bei einem Alias ausgibt, obwohl er eigentlich den generischen Typ meint.

Defekt in dem Sinne, daß er nur eine Warnung abgibt, den Code aber trotzdem compiliert! Die Meldung "W1025 Sprach-Feature wird nicht unterstützt: 'Benutzerdefiniertes Attribut'" führt einen schlicht und ergreifend in die Irre. Was der Compiler eigentlich sagen will ist: "Hey, du hast da ein Attibut verwendet, das ich nicht kenne. Hast du dich eventuell verschrieben?" Die gleiche Warnung kommt nämlich auch wenn man einen Tippfehler bei der Attributangabe macht. Man darf sich bei den Attributen nämlich durchaus verschreiben - es funktioniert dann nur nicht wie man will (logisch).

Ich hatte eigentlich damit gerechnet, daß der Bug in XE6 behoben ist, aber...

[Der schöne Günther]

Zitat von Uwe Raabe:

Allein duch den Alias-Typen kommt man aber erst zu dieser Fehlermeldung, die einfach nur besagt, daß sowas nicht geht.

Das wäre mir nie aufgefallen. Gut, dass es euch gibt

Zitat von Uwe Raabe:

Ich hatte eigentlich damit gerechnet, daß der Bug in XE6 behoben ist, aber...

Wenn Embarcadero meint dass es "as designed" wäre, würde ich ihnen allerdings auch zustimmen: Es kann ja jeder einstellen, ob man nichts, eine Warnung oder einen Fehler haben möchte. Ich stelle es auch immer auf "Fehler" ein, aber das ist doch genauso ein "Bug" wie bsp. keine Bereichsprüfung in der Debug-Fassung oder Assertions im Release. Über alles kann man sich streiten, aber zum Glück kann es jeder einstellen wie er mag...



Trotzdem etwas schade, dass es nicht geht. Das Beispiel im DocWiki ist auch so ziemlich, was ich vorhatte. Aber naja, in Java geht's schließlich auch nicht