Избегайте множества бросков в дереве наследования

Question

Это проблема, которая кажется супер базовой, но я до сих пор не могу найти способ ее очистить. Когда у меня есть простое наследование как B и C наследовать от

A 
    | 
|-----| 
B  C 

Допустим, это интерфейс, как:

public interface A 
{ 
    List<A> Children { get; } 
} 

Мой вопрос: Когда я получил через B.Children я должен бросить его B каждый раз, когда я хочу использовать его особенности. Есть ли способ иметь список детей без объявления детей в листьях дерева наследования?

Прецизионность: ребенок всегда имеет тот же тип, что и его родительский (или подтип). И дерево может пойти глубже. В качестве примера рассмотрим систему пользовательского интерфейса с объектами, контейнерами, элементами управления, ярлыками, в которых класс имеет в качестве детей только объекты одного и того же типа или подтипы.

---

Вот мой код. У меня есть верхний уровень, как

public interface ITerm 
{ 
    String text { get; } 
} 

Тогда, как предлагают @Damien_The_Unbeliever

public interface ITerm<T> : ITerm where T : ITerm 
{ 
    List<T> Children { get; } 
} 

public interface ITermControl : ITerm<ITermControl> { ... } 

public class TermControl : ITermControl { ... } 

Я начинаю думать, что это бесполезно, чтобы иметь доступ к List<ITerm> ITerm.Children, а также List<ITermControl> ITermControl.Children. Вот что я пытался объяснить.

Благодаря

Answer 1

Вы могли бы попытаться сделать это:

public interface A<T> where T: A<T> { 
    List<T> Children {get;} 
} 

Какой Эрик Липперт описывает в своей статье Curiouser and Curiouser:

Это C# вариация на то, что называется Curiously Recurring Template Pattern в C++, и я оставлю его своим лучшим пользователям, чтобы объяснить его использование на этом языке. По существу, шаблон в C# является попыткой применять использование CRTP.

И указывает на то, что это на самом деле не соблюдение правильных типов во всем - так, в лучшем случае, это форма документации, а не что-то, что мешает плохим вещам происходит.