【进阶】C# 泛型知识点整理归纳

一.基本概念

• 泛型（Generics）：允许在定义类、接口、方法时使用类型参数，使用时指定具体类型，提升代码复用性和类型安全。

• 核心思想：延迟类型的具体化，直到使用时才明确类型

二.泛型的作用

• 类型安全：编译时检查类型，避免运行时错误（如ArrayList需要强制转换）。

• 性能优化：避免值类型的装箱拆箱（如List直接操作值类型）。

• 代码复用：一套逻辑适应多种数据类型。

三.泛型默认

• 命名规范：通常以T开头（如TKey, TValue），支持多个参数（如Dictionary）。

• 默认值：default(T)根据类型返回null（引用类型）或零值（值类型）。

• 类型推断：编译器根据参数自动推断泛型类型，简化代码。

四.泛型类型

• 泛型类：

public class MyList {
    private T[] _items;
    public void Add(T item) { /* ... */ }
}
// 使用
var intList = new MyList();

• 泛型接口：

public interface IRepository {
    T GetById(int id);
}

• 泛型方法：

public void Swap(ref T a, ref T b) {
    T temp = a;
    a = b;
    b = temp;
}
// 类型推断
int x = 1, y = 2;
Swap(ref x, ref y); // 无需显式指定

五.泛型约束

• 约束（Constraints）：限制类型参数的允许范围，增强类型可控性。

where T : struct       // T必须是值类型
where T : class        // T必须是引用类型
where T : new()        // T必须有无参构造函数
where T : MyBaseClass  // T必须继承自MyBaseClass
where T : IMyInterface // T必须实现IMyInterface
where T : U            // T必须派生自另一个类型参数U（裸类型约束）

六.泛型与继承

• 泛型基类：派生类可继承泛型基类并指定类型参数。

public class Derived : Base { /* ... */ }
public class IntDerived : Base { /* ... */ } // 部分关闭类型

• 静态成员：每个封闭类型（如MyClass和MyClass）拥有独立的静态成员。

七.协变与逆变

• 协变（out）：允许使用派生程度更高的类型（子类→父类）。

IEnumerable strings = new List();
IEnumerable