Любопытно повторяющийся шаблон шаблона и общие ограничения (C #) - PullRequest
Новая
       22

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

10 голосов
/ 25 августа 2009

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

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

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

Ответы [ 2 ]

22 голосов
/ 25 августа 2009

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

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

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

abstract class Base { }

class Base<T> : Base where T : Base { ... }
8 голосов
/ 29 октября 2010

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

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 parent. Помните, что вы не можете сделать Coord3() : base(this) { }.

...