【泛型协变逆变深度解析】：掌握C#类型安全的核心机制与实战技巧

第一章：泛型协变逆变的核心概念与意义

协变与逆变的基本定义

• 协变：指如果类型 A 是类型 B 的子类型，则泛型类型 F<A> 也是 F<B> 的子类型。常用于只读场景，如返回值。
• 逆变：指如果类型 A 是类型 B 的子类型，则泛型类型 F<B> 是 F<A> 的子类型。适用于写入场景，如参数输入。
• 不变：既不支持协变也不支持逆变，F<A> 和 F<B> 无继承关系。

实际应用中的类型标注示例

// 协变：out 关键字表示该类型参数仅作为返回值
public interface IProducer<out T> {
    T Produce();
}

// 逆变：in 关键字表示该类型参数仅作为参数输入
public interface IConsumer<in T> {
    void Consume(T item);
}

常见语言的支持情况对比

第二章：协变（Covariance）的理论基础与应用实践

2.1 协变的基本定义与语法特征

协变的语法表示

trait List[+T]

协变的限制条件

2.2 接口中的协变：ICovariant 的设计原理

协变的基本语法结构

public interface ICovariant<out T>
{
    T GetValue();
}

协变的实际应用场景

• ICovariant<string> 可赋值给 ICovariant<object>
• 适用于只读集合、工厂接口等数据提供者场景
• 增强接口的多态兼容性，减少强制转换

2.3 委托中的协变：方法签名兼容性的提升策略

协变的基本实现

public class Animal { }
public class Dog : Animal { }

public delegate Animal AnimalFactory();

AnimalFactory factory = () => new Dog(); // 协变支持

泛型委托中的协变声明

• out 修饰符确保类型参数仅用于返回值；
• 编译器据此允许从派生类型向基类型的方向转换；
• 提升API设计的抽象层级与组件解耦能力。

2.4 协变在集合与只读序列中的实际运用

协变的语法支持

interface IReadOnlyList<out T> {
    T Get(int index);
}

应用场景对比

2.5 协变带来的类型安全优势与潜在风险分析

协变的类型安全优势

interface Producer<+T> {
    T produce();
}
Producer<Dog> dogProducer = () -> new Dog();
Producer<Animal> animalProducer = dogProducer; // 协变支持

潜在风险与限制

• 向协变集合添加非预期子类型
• 破坏内存模型一致性

第三章：逆变（Contravariance）的深度理解与场景落地

3.1 逆变的本质：参数位置的类型弹性机制

函数参数的逆变行为

type Animal = { name: string };
type Dog = Animal & { bark: () => void };

let animalHandler = (a: Animal) => console.log(a.name);
let dogHandler = (d: Dog) => console.log(d.bark());

// 在逆变下，(Animal) => void 可赋值给 (Dog) => void
let handler: (d: Dog) => void = animalHandler; // 合法

协变与逆变对比

• 协变（Covariance）：返回值类型保持子类型方向，如 Dog[] 可赋值给 Animal[]；
• 逆变（Contravariance）：参数类型反转子类型方向，实现更灵活的函数兼容性。

3.2 接口中的逆变：IContravariant 的实现逻辑

逆变的基本语法结构

public interface IContravariant<in T>
{
    void Process(T item);
}

逆变的实际应用示例

• 逆变适用于消费者场景（如事件处理器、比较器）
• 必须满足参数位置一致性，返回值不能使用逆变类型

3.3 逆变在事件处理与比较器中的典型应用

事件处理中的逆变应用

public class EventArgsA : EventArgs { }
public class EventArgsB : EventArgsA { }

void HandleBaseEvent(object sender, EventArgsA e) { /* 处理逻辑 */ }

// 由于逆变，以下赋值合法
EventHandler<EventArgsB> handler = HandleBaseEvent;

比较器中的逆变支持

第四章：协变与逆变的限制条件与最佳实践

4.1 类型参数修饰符 out 与 in 的使用约束

interface IProducer<out T> {
    T Produce();
}

interface IConsumer<in T> {
    void Consume(T item);
}

使用约束总结

• `out` 参数只能出现在返回类型位置，不可用于方法参数；
• `in` 参数只能出现在方法参数位置，不可用于返回类型；
• 仅接口和委托支持变体，普通泛型类不支持。

4.2 可变数组与非协变泛型的不兼容性剖析

Object[] arr = new String[10];
arr[0] = new Integer(1); // 运行时抛出 ArrayStoreException