Chose curieuse récurrentes contraintes de format modèle et génériques (C#)

Question

Je voudrais créer une méthode dans une classe générique de base pour retourner une collection spécialisée d'objets dérivés et effectuer des opérations sur eux, comme dans l'exemple suivant:

using System; 
using System.Collections.Generic; 

namespace test { 

    class Base<T> { 

     public static List<T> DoSomething() { 
      List<T> objects = new List<T>(); 
      // fill the list somehow... 
      foreach (T t in objects) { 
       if (t.DoSomeTest()) { // error !!! 
        // ... 
       } 
      } 
      return objects; 
     } 

     public virtual bool DoSomeTest() { 
      return true; 
     } 

    } 

    class Derived : Base<Derived> { 
     public override bool DoSomeTest() { 
      // return a random bool value 
      return (0 == new Random().Next() % 2); 
     } 
    } 

    class Program { 
     static void Main(string[] args) { 
      List<Derived> list = Derived.DoSomething(); 
     } 
    } 
} 

Mon problème est que, pour faire une telle chose que je aurais besoin de spécifier une contrainte comme

class Base<T> where T : Base { 
} 

est-il possible de spécifier une contrainte comme ça en quelque sorte?

Answer 1

Cela pourrait fonctionner pour vous:

class Base<T> where T : Base<T> 

Vous ne pouvez pas contraindre T à un type générique ouvert. Si vous devez limiter T-Base<whatever>, vous aurez besoin de construire quelque chose comme:

abstract class Base { } 

class Base<T> : Base where T : Base { ... } 

Answer 2

Je l'ai utilisé ce qui suit pour ne pas créer une liste chaînée, mais un arbre lié generecic. Cela fonctionne merveilleusement bien.

public class Tree<T> where T : Tree<T> 
{ 
    T parent; 
    List<T> children; 

    public Tree(T parent) 
    { 
     this.parent = parent; 
     this.children = new List<T>(); 
     if(parent!=null) { parent.children.Add(this as T); } 
    } 
    public bool IsRoot { get { return parent == null; } } 
    public bool IsLeaf { get { return children.Count == 0; } } 
} 

Exemple d'utilisation de la mécanique (système de coordonnées Hierarchy)

class Coord3 : Tree<Coord3> 
{ 
    Vector3 position; 
    Matrix3 rotation; 
    private Coord3() : this(Vector3.Zero, Matrix3.Identity) { } 
    private Coord3(Vector3 position, Matrix3 rotation) : base(null) 
    { 
     this.position = position; 
     this.rotation = rotation; 
    } 
    public Coord3(Coord3 parent, Vector3 position, Matrix3 rotation) 
     : base(parent) 
    { 
     this.position = position; 
     this.rotation = rotation; 
    } 
    public static readonly Coord3 World = new Coord3(); 

    public Coord3 ToGlobalCoordinate() 
    { 
     if(IsRoot) 
     { 
      return this; 
     } else { 
      Coord3 base_cs = parent.ToGlobalCoordinate(); 
      Vector3 global_pos = 
         base_cs.position + base_cs.rotation * this.position; 
      Matrix3 global_rot = base_cs.rotation * this.rotation; 
      return new Coord3(global_pos, global_ori); 
     } 
    } 
} 

L'astuce consiste à initialiser l'objet racine avec parent null. Rappelez-vous que ne peut pas faire Coord3() : base(this) { }.