La covariance de type C # peut-elle être obtenue pour les types de pages spécialisés?

Atteindre le type de page spécialisé Renvoie en C #

Développer des types de pages personnalisés dans le framework .NET présente souvent des défis lors de l'accès à ces pages à partir de contrôles. Le type de retour standard est généralement par défaut à un type de page moins spécifique. Cet article explore comment surmonter cette limitation et retourner votre type de page spécialisé.

Covariance de type retour et ses implications

La covariance de type retour, en substance, permet de remplacer une méthode de classe de base renvoyant un type général avec une méthode renvoyant un sous-type plus spécifique. Cela améliore la sécurité du type et offre une plus grande flexibilité.

Considérons une classe de base Enclosure et sa classe dérivée Aquarium:

abstract class Enclosure
{
    public abstract Animal Contents();
}

class Aquarium : Enclosure
{
    public override Fish Contents() { ... }
}

Ici, la méthode Aquarium S Contents() Renvoie Fish, un type plus spécifique que la classe de base Animal. Cela permet aux consommateurs de couler en toute sécurité à Animal tout en bénéficiant de la précision offerte par Aquarium.

Les limites de C # et une solution pratique

C # ne prend pas en charge intrinsèquement la covariance de type retour en raison des limitations CLR. Cependant, une solution de contournement simule efficacement ce comportement:

abstract class Enclosure
{
    protected abstract Animal GetContents();
    public Animal Contents() { return this.GetContents(); }
}

class Aquarium : Enclosure
{
    protected override Animal GetContents() { return this.Contents(); }
    public new Fish Contents() { ... }
}

Cette stratégie utilise une méthode abstraite GetContents() protégée dans la classe de base. La classe dérivée l'emporte sur, renvoyant le type spécialisé (Fish), tout en exposant également une nouvelle méthode Contents() avec le type de retour spécialisé. Cette approche maintient un frappeur fort au moment de la compilation. La clé est l'utilisation de new pour masquer la méthode de la classe de base, permettant d'utiliser le type de retour plus spécifique. Cela offre les avantages de la covariance sans s'appuyer sur le soutien du langage direct.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!