Hériter d'une classe de base générique, appliquer une contrainte et implémenter une interface en C #

C'est une question de syntaxe. J'ai une classe générique qui hérite d'une classe de base générique et applique une contrainte à l'un des paramètres de type. Je souhaite également que la classe dérivée implémente une interface. Pour la vie de moi, je n'arrive pas à trouver la syntaxe correcte.

Voici ce que j'ai:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar { ... }

La première chose qui m'est venue à l'esprit était la suivante:

DerivedFoo<T1,T2> : ParentFoo<T1, T2> where T2 : IBar, IFoo { ... }

Mais c'est incorrect car cela oblige T2 à implémenter à la fois IBar et IFoo, et non DerivedFoo pour implémenter IFoo.

J'ai essayé un peu de googler, d'utiliser des deux-points, des points-virgules, etc., mais je suis arrivé à court. Je suis sûr que la réponse est très simple.

Vous incluez la signature entière de votre classe avant de définir des contraintes génériques.

class DerivedFoo<T1, T2> : ParentFoo<T1, T2>, IFoo where T2 : IBar
{
    ...
}

Ma recommandation: lorsque vous avez une question sur la syntaxe du langage C #, lisez la spécification; c'est pourquoi nous le publions. Vous voudrez lire la section 10.1.

Pour répondre à votre question spécifique, l'ordre des choses dans une déclaration de classe est:

• attributs, entre crochets
• modificateurs ("public", "statique", etc.)
• "partiel"
• "classe"
• le nom de la classe
• une liste séparée par des virgules de déclarations de paramètres de type entre crochets angulaires
• un deux-points a suivi une liste de types de base séparés par des virgules (classe de base et interfaces implémentées, la classe de base doit commencer s'il y en a une)
• contraintes de paramètre de type
• le corps de la classe, entouré d'accolades
• un point-virgule

Tout sur cette liste est facultatif à l'exception de "classe", le nom et le corps, mais tout doit apparaître dans cet ordre s'il apparaît.

public interface IFoo {}
public interface IBar {}

public class ParentFoo<T,T1> { }
public class DerivedFoo<T, T1> : ParentFoo<T, T1>, IFoo where T1 : IBar { }

public class KeyAndValue<T>
{
    public string Key { get; set; }
    public virtual T Value { get; set; }
}

public class KeyAndValue : KeyAndValue<string>
{
    public override string Value { get; set; }
}

Ceci est une extension des réponses existantes. Il est par défaut stringsi vous ne fournissez pas de type. Je n'ai pas implémenté d'interface mais cela ne devrait nécessiter rien de différent que d'habitude.