Generics in Attributen?

[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

[himitsu]

Indirekt geht es ja, wenn du dir einen nichtgenerischen Nachfahren ableitest.

[Uwe Raabe]

Zitat von himitsu:

Indirekt geht es ja, wenn du dir einen nichtgenerischen Nachfahren ableitest.

Gerade das führt doch zu besagtem Fehler E2565 - oder habe ich dich jetzt falsch verstanden?

[Der schöne Günther]

Nein, da hat er schon recht: Wenn man vom generischen Attribut wieder eine Unterklasse (ohne generische Typinformation) bildet geht es wieder (Siehe sein erster Post).

Im Endeffekt hat man dadurch meist zwar nicht viel gewonnen, aber es geht. Irgendwie ähnlich wie Parametrisierte Interfaces vs. GUID. Manchmal bilde ich von einem parametrisierten Interface nur ein Unter-Interface ohne Typ nur um ihm eine feste GUID geben zu können...

[Uwe Raabe]

Ja, jetzt habe ich auch verstanden, was er meint.

[himitsu]

Jupp, der Fehler E2565 hat leider einen Fehler.
Eigentlich meint der ja, daß man keinen generischen Typ verwenden kann, aber wenn man direkt den generischen Tüp angibt, dann raucht es ab und deine ursprüngliche Fehlermeldung erscheint.
Versteckt man den generischen Typ aber hinter einem Alias, obwohl das am Ende auch nur den generischen Typ eribt, dann taucht plötzlich die "richtige" Fehlermeldung E2565 auf.

Wenn man den generischen Typ aber in einen nicht-generischen ableitet/vererbt, dann gibt es keine Probleme.