Wie erben Sie von einem generischen Parameter?

Question

Ich wollte im Grunde dies tun:

class UILockable<T> : T 
    where T : UIWidget 
{ 
} 

Dies ist jedoch nicht funktioniert. Ich habe Leute gesehen empfehlen, dass Sie dies tun:

class UILockable<T> 
    where T : UIWidget 
{ 
    private T _base; 
} 

Das würde mich fordern, dass jede Funktion UILockable außer Kraft setzen würde es T. brauchen und uns darauf, dieses nicht möglich ist, da T von UIWidget ableiten können und haben einzigartige abstrakte/virtual eigene Methoden.

Gibt es keine Möglichkeit, einfach von T zu erben?

Answer 1

Sie können den generischen Typparameter nicht erben. C# -Generika unterscheiden sich stark von C++ - Vorlagen. Die Vererbung durch den type -Parameter erfordert, dass die Klasse eine vollständig andere Darstellung basierend auf dem type-Parameter aufweist, was bei .NET-Generics nicht der Fall ist. Sie sind auf der IL- und nativen Ebene identisch (für alle Argumente des Referenztyps).

Answer 2

Nein, gibt es nicht. Aber ich verstehe Ihre Argumentation nicht wirklich gegen mit UILockable<T> vererben UIWidget und leitet alle Anrufe auf Ihren T:

class UILockable<T> : UIWidget 
    where T : UIWidget 
{ 
    private readonly T t; 

    public void SomeMethod() 
    { 
     this.t.SomeMethod(); 
    } 
} 

Sie nicht über die Besonderheiten von T ‚s Umsetzung von UIWidget kümmern - nur, dass es ist eine Implementierung von UIWidget.

Answer 3

Denk darüber auf diese Weise: Wenn Typ B erbt von Typ A, Sie erklärt, dass Bähnlich ist-A (wo Ähnlichkeit bedeutet, dass Sie B verwenden können überall, wo Sie erwarten, zu verwenden A). Nun, da eine solche Ähnlichkeit nicht symmetrisch ist Sie haben, dass B-A ähnlich ist, aber A ist nicht ähnlich wie B. Weiterhin kann B und C sowohl A ähnlich sein (das heißt sie beide stammen von A) ohne einander ähnlich zu sein.

Also, was Sie erklären wollen, ist, dass Freischaltbarer alles ähnlich ist, die UIWidget ähnlich ist, aber das ist unmöglich, weil Art Ähnlichkeit nicht transitiv ist (dh, wenn B-ähnlich ist A und C ähnlich ist zu A kann man nicht sagen B ist ähnlich zu C).

Answer 4

Sie können nicht von einem generischen Typ-Argument erben. C# ist eine streng typisierte Sprache. Alle Typen und die Vererbungshierarchie müssen zum Zeitpunkt der Kompilierung bekannt sein. .Net-Generika unterscheiden sich erheblich von C++ - Vorlagen.

Und wenn Sie so sicher sind, dass das Typargument T vom Typ UIWidget sein wird, warum erben Sie nicht von UIWidget selbst. Sollte es jemals erlaubt sein [vorausgesetzt, ich nehme an, ich weiß, dass dies nie möglich sein wird], was würden Sie erreichen, indem Sie Ihre Klasse von T erben, die bereits vom Typ UIWidget ist? Zur Entwurfszeit werden Sie nur gegen UIWidget codieren, also warum nicht direkt von UIWidget erben.