C#高级语法之泛型、泛型约束，类型安全、逆变和协变（思想原理）