Любопытно Повторяющиеся шаблон шаблон и дженерики ограничения (C#)

Question

Я хотел бы создать метод в базовом родовом классе, чтобы вернуть специализированную коллекцию производных объектов и выполнять некоторые операции над ними, как в следующем примере:

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(); 
     } 
    } 
} 

Моя проблема заключается в том, что сделать такую ​​вещь, мне нужно было бы указать ограничение как

class Base<T> where T : Base { 
} 

можно ли задать ограничение, как что так или иначе?

Answer 1

Это может работать для вас:

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

Вы не можете ограничить T к открытому общему типу. Если вам необходимо ограничить T к Base<whatever>, вам нужно построить что-то вроде:

abstract class Base { } 

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

Answer 2

Я использовал следующие действия для создания не связанного списка, а generecic связаны дерево. Он прекрасно работает.

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; } } 
} 

Пример использования из механики (координат Структура системы)

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); 
     } 
    } 
} 

Хитрость заключается в том, чтобы инициализировать корневой объект с null родителя. Запомнить не может сделать Coord3() : base(this) { }.