Collections génériques imbriquées: comment implémenter la référence d'un élément vers un conteneur?

Question

Bien que la mise en œuvre d'une conception en utilisant des collections génériques imbriqués, je suis tombé sur ces limitations causées apparemment par Generics invariantes de C#:

Cannot convert from 'Collection<subtype of T> to 'Collection<T>'

Cela signifie, ce qui suit ne fonctionnera pas, apparemment en raison de l'invariance de Génériques:

class Outer<TInner, TInnerItem> where TInner : Inner<TInnerItem> 
{ 
    public void Add(TInner item) 
    { 
     item.Outer = this; // ERROR: 
      // Cannot implicitly convert from Outer<TInner, TInnerItem> 
      // to Outer<Inner<TInnerItem>, TInnerItem> 
    } 
} 

class Inner<TInnerItem> : ICollection<TInnerItem> 
{ 
    Outer<Inner<TInnerItem>, TInnerItem> _outer; 

    public Outer<Inner<TInnerItem>, TInnerItem> Outer 
    { 
     set { _outer = value; } 
    } 
} 

(Dans le code actuel, à la fois Inner<> et Outer<> mettre en œuvre ICollection<>.)

J'ai besoin Inner<> objets pour avoir une référence à sa collection de conteneurs afin d'accéder à certaines de ses données.

Comment implémenteriez-vous ces collections imbriquées, de préférence en utilisant une approche générique comme indiqué ci-dessus? Comment définiriez-vous la référence à la collection de conteneurs dans la classe Inner<>?

À la votre!

Answer 1

L'introduction d'un (peut-être abstraite) classe de base qui ne dépend pas de TInner peut vous aider:

abstract class OuterBase<TInnerItem> 
{ 
} 

class Outer<TInner, TInnerItem> : OuterBase<TInnerItem> where TInner : Inner<TInnerItem> 
{ 
    public void Add(TInner item) 
    { 
     item.Outer = this; // Compiles 
    } 
} 

class Inner<TInnerItem> : ICollection<TInnerItem> 
{ 
    OuterBase<TInnerItem> _outer; 

    public OuterBase<TInnerItem> Outer 
    { 
     set { _outer = value; } 
    } 
} 

Ou attendre C# 4.0, qui introduit des interfaces co/contra-variante générique.

Answer 2

La langue ne peut pas vous permettre de convertir de sous-type Collection < de T > Collection <T>

Laissez-moi vous expliquer pourquoi. Imaginez que vous ayez une collection <subT> et que vous la transtypiez dans la collection <T>. C'est bon, puisque subT hérite de T.

Lorsque vous récupérez un objet de collection_of_T, vous êtes assuré que tout va bien. Par la suite, ajoutez un objet T à collection_of_T. Maintenant vous avez, dans collection_of_subT un objet qui n'est pas un subT. Oups.

Afin de réaliser ce que vous voulez, vous devez créer une nouvelle collection tous ensemble.

Collection<T> collection_of_T = new Collection<T>(collection_of_subT); 

Ce qui n'est probablement pas bon pour vous. Avez-vous vraiment besoin de l'argument générique TInner dans la classe Outer? Serait-il possible de remplacer par Inner<TInnerItem> dans le reste du code à la place?