(七)泛型约束与类型推断

1。泛型约束：用于对泛型中类型参数T 的约束，而不是对类型本身的约束，放在泛型类型和泛型方法声明的末尾，用where关键字引入：

private static T Example<T> (T obj1, T obj2) where T : IComparable<T>
{
    if (obj1.CompareTo(obj2) > 0)
    {
        return obj1;
    }
    return obj2;
}

约束的种类：

 1. 引用类型约束：写作："T : class"（必须是第一个约束）
 2. 值类型约束：写作: "T : struct"
 3. 构造函数类型约束：写作："T : new()"(必须是最后一个约束，常用于工厂风格的设计模式中)
 4. 转换类型约束：指定的类型实参的类型必须可以通过一致性转换引用转换。

 约束的组合：
 主要约束：引用类型约束，值类型约束，指定为类的转换类型约束(只能存在一个)
 次要约束：接口及其他类型参数的转换类型约束。（可以存在多个）
 构造函数约束（值类型时不需要，因为值类型有无参构造函数）

 类型推断：只适用于泛型方法，不适用于泛型类型。