Problemumgehung für fehlende Kovarianz vom Rückgabetyp beim Überschreiben virtueller Methoden

Question

Gibt es eine Möglichkeit, kovariante Überschreibungen in C# zu "hacken" oder "zu erzwingen"?

Zum Beispiel:

public class Alpha { 
    public virtual Alpha DoSomething() { 
     return AlphaFactory.GetAlphaFromSomewhere(); 
    } 
} 
public class Beta : Alpha { 
    public override Beta DoSomething() { 
     return BetaFactory.GetBetaFromSomewhere(); 
    } 
} 

Leider ist C# nicht unterstützt (was ein bisschen lächerlich scheint, aber das ist weder hier noch dort).

Ich dachte, ich könnte eine Antwort mit der Methode versteckt habe:

new public Beta DoSomething() { 
    return BetaFactory.GetBetaFromSomewhere(); 
} 

Aber nicht fügen Sie den Eintrag in der ‚V-Tabelle‘, es im Grunde nur eine völlig neue Methode mit dem gleichen Namen erklärt, und als solches bedeutet, dass der Zugriff auf Beta s über einen Zeiger auf AlphaAlpha.DoSomething() aufrufen wird.

Also, irgendwelche guten Tricks?

Answer 1

Sie können einige ziemlich verrückte Sachen mit Generika machen.

public class Alpha<T> where T: Alpha<T> { 
    public virtual T DoSomething() { 
     throw new NotImplementedException(); 
    } 
} 
public class Beta : Alpha<Beta> { 
    public override Beta DoSomething() { 
     throw new NotImplementedException(); 
    } 
} 

Answer 2

Weil es in den meisten Fällen keinen großen Vorteil bei der Rückgabetyp-Kovarianz gibt.

Wenn Sie virtuell anrufen Alpha.DoSomething, dann wissen Sie wirklich nicht, ob Sie eine Alpha oder Beta zurück erhalten, also wie hilft Rückgabetyp Kovarianz? Sie müssen das Ergebnis trotzdem in einem Alpha getippten Objekt speichern, da es der einzige Typ ist, der Alpha s oder Beta s zulassen kann.

Auf der anderen Seite, wenn Sie statisch wissen , die Sie anrufen Beta.DoSomething dann können Sie entweder direkt die zurück Alpha typisierte Objekt verwenden, da Sie Methoden gemeinsame Funktionalität oder virtuellen Zugriff werden, so dass Sie kümmern sich nicht, wenn es wirklich ein Beta (der virtuelle Anruf wird auf den richtigen Typ auflösen) oder Sie können direkt wählen (Runtime Safe) Cast Beta, um auf bestimmte Implementierung zugreifen.

Bearbeiten: das Typsicherheits-Problem wurde entfernt. Ich dachte kaum darüber nach und offenbar würde die Art der Kovarianz sicher sein. Der Rest der Antwort steht jedoch. Ich kann nichts Interessantes in diesem Feature finden, zumindest nicht in der Art, wie das OP es benutzen will: Vermeiden Sie einen sicheren, billigen Cast?

Answer 3

Sie können immer wickeln Sie das Verfahren in einem anderen Verfahren

public class Alpha { 
    public virtual Alpha DoSomething() { 
     return AlphaFactory.GetAlphaFromSomewhere(); 
    } 
} 
public class Beta : Alpha { 
    private Beta Helper() { 
     return BetaFactory.GetBetaFromSomewhere(); 
    } 
    public Beta DoSomething() { 
     return Helper(); 
    } 
    public override Alpha DoSomething() { 
     return Helper(); 
    } 
} 

Wenn es gibt viele Methoden, aber Sie könnten diese Wrapper automatisch generieren wollen. Wenn das zu anspruchsvoll ist, ist die Lösung von @recursive alles was übrig bleibt.