C# 9.0+ 支持协变返回类型，允许 override 方法返回比基类 virtual 方法更具体的派生类引用类型；需基类方法为 virtual/abstract、返回引用类型，子类返回类型必须为其派生类，且项目需启用 LangVersion 9.0。
重写方法时返回更具体类型，C# 9.0+ 才支持
在 C# 9.0 之前，override 方法的返回类型必须与基类中 virtual 方法的返回类型**完全一致**（协变不被允许）。C# 9.0 引入了**协变返回类型（covariant return types）**，才允许子类重写方法时返回派生程度更高的类型。
这是语言级特性，不是运行时或泛型推导的结果，编译器会生成两个方法：一个符合 CLR 要求的“桥接方法”（签名与基类一致），另一个是实际实现的、带更具体返回类型的私有方法。
- 必须使用 C# 9.0 或更高版本（对应 .NET 5+；若用 .NET Framework，需手动设置
9.0） - 基类方法必须是
virtual或abstract，且返回引用类型（值类型不适用协变） - 子类返回类型必须是基类返回类型的**派生类**（如
Animal→Dog），不能是接口或无关类型 - IDE 和编译器不会报错，但若目标框架不支持（如 .NET Core 3.1 默认 C# 8.0），会提示
CS8767错误
正确写法示例：基类返回 Animal，子类返回 Dog
假设你有如下继承关系：
class Animal { }
class Dog : Animal { }
基类定义 virtual 方法：
abstract class AnimalShelter
{
public virtual Animal GetAnimal() => new Animal();
}
子类可安全协变重写：
