为何.Equals()动态分派、==静态分派？其实现原因求解

嘿，我来帮你把这个困惑点掰扯清楚！你提到的静态调用（==/!=）和动态调用（.Equals()）的差异，其实是C#比较机制里的一个核心设计，咱们结合实际场景和代码来拆解：

先搞懂本质差异 #

• ==是静态运算符：编译时就确定要调用哪个版本的==方法。比如值类型默认是值比较，引用类型默认是引用比较；如果自定义类型重载了==，编译器会根据变量的编译时类型来选择对应的重载。
• .Equals()是动态实例方法：默认是虚方法（值类型是重写的），运行时会根据对象的实际类型（而非编译时类型）来调用对应的重写实现，这就是多态的体现。

什么时候需要让两者行为不同？ #

最典型的场景是**需要区分「同类型值相等」和「跨类型值等价」**的时候，比如自定义数值类型库。举个具体的代码例子：

假设我们做一个数学库，有Integer（整数）和Decimal（小数）两个类型，都继承自抽象基类Numeric：

public abstract class Numeric
{
    // 多态的相等判断：支持跨类型值等价
    public abstract bool Equals(Numeric other);
    public override bool Equals(object obj) => obj is Numeric n && Equals(n);

    // 静态==运算符：只允许同类型的严格相等
    public static bool operator ==(Numeric a, Numeric b)
    {
        if (ReferenceEquals(a, b)) return true;
        // 核心：如果类型不同，直接返回false
        if (a is null || b is null || a.GetType() != b.GetType()) return false;
        return a.Equals(b);
    }

    public static bool operator !=(Numeric a, Numeric b) => !(a == b);
}

public class Integer : Numeric
{
    public int Value { get; }
    public Integer(int value) => Value = value;

    public override bool Equals(Numeric other)
    {
        // 和Decimal做值等价判断
        if (other is Decimal d) return Value == d.Value;
        if (other is Integer i) return Value == i.Value;
        return false;
    }
}

public class Decimal : Numeric
{
    public decimal Value { get; }
    public Decimal(decimal value) => Value = value;

    public override bool Equals(Numeric other)
    {
        if (other is Integer i) return Value == i.Value;
        if (other is Decimal d) return Value == d.Value;
        return false;
    }
}

测试一下效果 #

var intFive = new Integer(5);
var decFive = new Decimal(5.0m);

Console.WriteLine(intFive == decFive); // 输出false：静态==检查到类型不同，直接返回false
Console.WriteLine(intFive.Equals(decFive)); // 输出true：动态调用Equals，做了跨类型值等价判断

为什么要这么设计？ #

这种实现方式的核心价值在于给开发者提供两种不同粒度的比较选择：

• 用==的时候，我们要的是「严格的同类型相等」，避免不小心把不同类型的数值混为一谈（比如在一些强类型要求的业务逻辑里，整数和小数就算值一样也不能视为相等）。
• 用.Equals()的时候，我们要的是「值等价的多态判断」，不管是什么数值类型，只要值一样就视为相等（比如在统计、计算场景中，5和5.0是等价的）。

这样拆分后，开发者可以根据具体业务场景选择合适的比较方式，而不是被迫接受“一刀切”的相等逻辑。

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