Problème de modélisation avec des classes génériques

Version imprimable

Bonjour,

Suite à mon précédent sujet concernant la modélisation avec des classes génériques, j'ai tenté quelques techniques, mais sans succès.

J'espère que quelqu'un pourra m'expliquer ce que j'ai loupé, ou pas compris dans les classes suivantes.

La classe Feuille qui contient une liste de Colonne.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
namespace test
{
 
    public class Feuille
    {
        /// Liste des colonnes de la feuille
        private IList<IColonne> colonnes;
 
 
        public Feuille()
        {
            this.colonnes = new List<IColonne>();
        }
 
        public IList<IColonne> Colonnes
        {
            get
            {
                return this.colonnes;
            }
            set
            {
                this.colonnes = value;
            }
        }
    }
}

L'interface IColonne

Code:

1
2
3
4
5
6
7
8
9
10
11
12
 
namespace test
{
    public interface IColonne
    {
        IList<ICellule> Cellules
        {
            get;
            set;
        }
    }
}

L'interface ICellule

Code:

1
2
3
4
5
6
7
8
9
10
11
12
 
namespace test
{
    public interface ICellule
    {
        Object Valeur
        {
            get;
            set;
        }
    }
}

Ma classe de Colonne Générique

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
namespace test
{
    public class Colonne<T> : IColonne
    {
        private IList<ICellule> list = new List<Cellule<T>>();
        //Sur cette donnée membre, Visual me dit qu'il ne peut pas convertir Cellule<T> en ICellule. Mais Cellule<T> implémente l'interface ICellule
 
        public IList<ICellule> Cellules
        {
            get
            {
                return list;
            }
            set
            {
                list = value;
            }
        }
    }
}

Je ne comprend pas pourquoi j'ai l'erreur de conversion impossible ici8O

Et ma classe de Cellule générique

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
namespace test
{
    public class Cellule<T> : ICellule
    {
        private T valeur;
 
        public Object Valeur //Ici j'aurais préféré mettre public T Valeur, mais la signature ne correspond pas à l'interface ICellule.
        {
            get
            {
                return valeur;
            }
            set
            {
                valeur = (T)value;
            }
        }
    }
}

Dans cette classe, j'aurais apprécié que la propriété Valeur ai le type T et non pas Object. Mais T ne correspond pas à la signature de ICellule.Valeur. La aussi comment feriez-vous?

C'est le code le plus propre que j'aimerai implémenter mais cela ne compile pas, et ce malgré l'utilisation d'interfaces non génériques.

La contrainte principale est que une Colonne<T> ne puisse contenir qu'une IList<Cellule<T>>

Comment solutionneriez-vous ceci? parce que la je tourne en rond sans trouver LA solution.

Un énorme MERCI, à celui, ceux, qui m'aideront à résoudre ce problème.

21/10/2012, 18h57
Nathanael Marchand
Malheureusement tu te heurtes a un problème de co-variance et de contra-variance qui fait que ce que tu souhaites faire est impossible car IList<T> n'est ni co-variant ni contra-variant.
Explications :
IList<T> définit (entre autres) la méthode Add qui permet d'ajouter un élément.

Si maintenant on a la classe de base Vehicule et deux classes qui en héritent (Voiture et Camion).
On peut faire ca :
Code:

1 2 3 IList<Voiture> voitures = new List<Voiture>(); Voiture voiture = new Voiture(); voitures.Add(voiture);
Mais on peut aussi faire ca :

Code:

Vehicule ve = new Camion();

Maintenant, imagine qu'on dise que IList<Voiture> soit une IList<Vehicule>:
Code:

1 2 3 IList<Vehicule> voitures = new List<Voiture>(); //Admettons que cela soit valide Vehicule camion = new Camion(); voitures.Add(camion); // puisque c'est un IList<Vehicule> on a Add(Vehicule)
On vient de tout casser: on a rangé une instance de Camion dans une List<Voiture> :calim2:

Cela ne peut pas marcher avec IList<T> car il faudrait que IList<T> soit co-variant (car T est utilisé par des méthodes comme type de sortie) et contra-variant sur T (car T est utilisé par des méthodes comme type d'entrée).

Pour plus d'info: http://guruumeditation.developpez.co...tnet/variance/
21/10/2012, 21h40
touftouf57

Merci Nathanael,

Lorsque tu as fait mention de covariance, un lointain souvenir m'est revenu comme un boomerang.

Alors dans ce cas, comment contournerais-tu le problème?
Abandon de la généricité et faire des classes "en dur". ColoneString, ColonneInt, ColonneFloat qui héritent de Colonne. Faire la même chose pour mes Cellules.
Ou un autre type de Collection?
Ou autre chose, mais la je ne vois pas quoi?

Re-merci
21/10/2012, 22h02
Nathanael Marchand

Tout dépend des besoins après :?
Tu peux par exemple utiliser IEnumerable<out T> qui est covariant (comme l'indique le out).
22/10/2012, 10h28
morgand

Que veux tu faire avec ta valeur ? Tu as besoin qu'elle soit typée ? tu veux/peux lui faire faire un traitement ?

Exemple, es ce qu'il serait possible que dans ton application tu puisses définir une interface IValeur qui implémente une méthode Execute() qui exécute un traitement ou qui prend un paramètre particulier.

Ensuite tu implémentes toutes tes Valeurs possible (String, Int, Toto, Tata, etc.) et quand à besoin de faire le traitement, qui sera forcément particulier à chaque valeur, alors tu appelles la méthodes dites.