为何C#不支持参数类型逆变？

你提到的这种“子类重写基类方法时将参数替换为更宽泛类型”的写法，属于方法参数的逆变，但C#编译器会直接报错，核心原因有两点：

1. 破坏基类方法的契约一致性 #

基类Animal.PlayWith(Toy)定义了明确的调用契约：调用该方法时必须传入Toy或其子类实例。当子类尝试用Object类型参数重写时，相当于修改了这个契约——虽然子类能接受更多类型，但从多态角度看，当把PlayfulMonkey向上转型为Animal时，调用者依然会遵循基类契约传入Toy，此时子类的方法签名与基类不匹配，编译器无法确认这是合法重写，反而会将其视为新的重载方法（若去掉override关键字）。

2. 避免歧义与类型安全隐患 #

C#的方法重写规则要求参数类型严格匹配，这是为了消除歧义。比如若基类存在多个重载方法，子类修改参数类型的“重写”会让编译器无法判断你的真实意图：是想覆盖基类的某个方法，还是新增重载？

另外要注意，泛型接口中的参数逆变（比如Action<in T>）是完全不同的场景——它是针对泛型类型参数的转型规则，允许Action<object>赋值给Action<Toy>，但这和类的方法重写修改参数类型不是一回事。

针对你的需求，可行的实现方案 #

如果希望PlayfulMonkey能处理任意类型的“玩具”，可以选择两种方式：

方案1：修改基类契约，放宽参数类型

abstract class Animal
{
    public abstract void PlayWith(object toy);
}

class PlayfulMonkey : Animal
{
    public override void PlayWith(object toy)
    {
        // 猴子玩任意对象的逻辑
    }
}

方案2：保留基类契约，新增重载方法

abstract class Animal
{
    public abstract void PlayWith(Toy toy);
}

class PlayfulMonkey : Animal
{
    public override void PlayWith(Toy toy)
    {
        // 处理Toy类型的逻辑
    }

    // 新增重载，支持任意Object类型
    public void PlayWith(object toy)
    {
        // 处理任意对象的逻辑
    }
}

内容的提问来源于stack exchange，提问作者Anitoni