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

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

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

Можно ли каким-то образом указать такое ограничение?

Ответ 1

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

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

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

abstract class Base { }

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

Ответ 2

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

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) { }.