泛型

摘自：泛型类
摘自：where（泛型类型约束）

定义：在定义泛型的时候，我们可以使用 where 限制参数的范围。
使用：在使用泛型的时候，你必须尊守 where 限制参数的范围，否则编译不会通过。

namespace TestT
{
    class BaseNode { }
    class BaseNodeGeneric<T> { }

    //concrete type
    class NodeConcrete<T> : BaseNode { }

    //closed constructed type 继承自封闭式构造类
    class NodeClosed<T> : BaseNodeGeneric<int> { }

    //open constructed type 继承自开放式构造类 或类型参数
    class NodeOpen<T> : BaseNodeGeneric<T> { }


    //===================================================================
    //非泛型类（即，具体类）可继承自封闭式构造基类，但不可继承自开放式构造类或类型参数
    //因为运行时客户端代码无法提供实例化基类所需的类型参数
    //no error
    class Node1 : BaseNodeGeneric<int> { }

    //Generates an error
    //class Node2 : BaseNodeGeneric<T> { }

    //Generates an error
    //class Node3 : T { }

    //===================================================================
    //实现类比基类泛型只多不少 基类的具体参数类型没有影响
    class BaseNodeMultiple<T, U> { }

    //No error
    class Node4<T> : BaseNodeMultiple<T, int> { }

    //No error
    class Node5<T, U> : BaseNodeMultiple<T, U> { }

    //Generates an error   U会报错
    //class Node6<T> : BaseNodeMultiple<T, U> {}  

    //===================================================================
    //泛型类型可使用多个类型参数和约束
    class SuperKeyType<K, V, U>
    where U : System.IComparable<U>
    where V : new()
    { }
}

---

六种类型的约束：

T：类（类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型。）

    class MyClass<T, U>
        where T : class///约束T参数必须为“引用 类型{ }”
        where U : struct///约束U参数必须为“值 类型”
    { }

T：结构（类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。）

    class MyClass<T, U>
        where T : class///约束T参数必须为“引用 类型{ }”
        where U : struct///约束U参数必须为“值 类型”
    { }

T：new()（类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时，new() 约束必须最后指定。）

class EmployeeList<T> where T : Employee, IEmployee, System.IComparable<T>, new()
{
    // ...
}

T：<基类名>（类型参数必须是指定的基类或派生自指定的基类。）

public class Employee{}
public class GenericList<T> where T : Employee

T：<接口名称>（类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。）

/// <summary>
    /// 接口
    /// </summary>
    interface IMyInterface
    {
    }

    /// <summary>
    /// 定义的一个字典类型
    /// </summary>
    /// <typeparam name="TKey"></typeparam>
    /// <typeparam name="TVal"></typeparam>
    class Dictionary<TKey, TVal>
        where TKey : IComparable, IEnumerable
        where TVal : IMyInterface
    {
        public void Add(TKey key, TVal val)
        {
        }
    }

T：U（为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。也就是说T和U的参数必须一样）

class List<T>
{
    void Add<U>(List<U> items) where U : T {/*...*/}
}