Net framework 5, а также среды Visual Studio 2012 и C#

Обобщенные типы и наследование
Обобщенный тип, как и всякий другой, может быть производным от других ти-
пов. При использовании обобщенного типа с указанием аргументов типа в CLR 
определяется новый объект-тип, производный от того же типа, что и обобщенный 
тип. Например, тип 
List
является производным от 
Object
, поэтому типы 
List
и 
List
тоже будут производными от 
Object
. Аналогично, тип 
DictionaryStringKey
— производный от 
Dictionary, 
TValue>
, по-
этому тип 
DictionaryStringKey
также производный от 
Dictionary, 
Guid>
. Понимание того, что определение аргументов типа не имеет ничего общего 
с иерархиями наследования, позволяет разобраться, какие приведения типов до-
пустимы, а какие нет.
Например, пусть класс 
Node
связанного списка определяется следующим об-
разом.
internal sealed class Node {
public T m_data;
public Node m_next;
public Node(T data) : this(data, null) {
}
продолжение


---

312
Глава.12 .Обобщения
public Node(T data, Node next) {
m_data = data; m_next = next;
}
public override String ToString() {
return m_data.ToString() +
((m_next != null) ? m_next.ToString() : null);
}
}
Тогда код создания связного списка будет выглядеть примерно так:
private static void SameDataLinkedList() {
Node head = new Node('C');
head = new Node('B', head);
head = new Node('A', head);
Console.WriteLine(head.ToString()); // Выводится "ABC"
}
В приведенном классе 
Node
поле 
m_next
должно ссылаться на другой узел, поле 
m_data
которого содержит тот же тип данных. Это значит, что узлы связного списка 
должны иметь одинаковый (или производный) тип данных. Например, нельзя ис-
пользовать класс 
Node
для создания связного списка, в котором тип данных одного 
элемента — 
Char
, другого — 
DateTime
, а третьего — 
String
… Вернее, можно, если 
использовать везде 
Node