结构体重载运算符时能否禁止null的隐式转换？

要解决这个问题，我们可以通过添加标记为错误级别的废弃重载来拦截结构体与object（包括null）的比较操作，同时保留自定义的结构体间相等逻辑。下面是具体的实现思路和代码示例：

问题根源回顾 #

当你没有为结构体自定义==运算符时，编译器会直接禁止值类型与null/object比较（触发CS0019），因为不存在合法的运算符匹配。但一旦你重载了Value == Value运算符，编译器会允许将值类型隐式转换为Nullable<Value>，并与null进行比较（本质是检查可空类型的HasValue属性），这就导致原本的编译错误消失了。

解决方案：添加废弃的object类型运算符重载 #

我们可以专门添加针对object类型的==和!=重载，并用[Obsolete]特性标记为编译错误级别，这样只要有人尝试将结构体与object或null比较，就会立即触发编译错误，完全替代原来的CS0019效果。

示例代码 #

struct Value
{
    // 自定义结构体间的相等逻辑
    public static bool operator ==(Value l, Value r)
    {
        // 这里替换成你的实际相等判断逻辑
        return true;
    }

    public static bool operator !=(Value l, Value r)
    {
        return !(l == r);
    }

    // 禁止与object（包括null）比较的重载，标记为编译错误
    [Obsolete("禁止将Value类型与object或null进行比较", error: true)]
    public static bool operator ==(Value l, object r)
    {
        throw new NotImplementedException(); // 永远不会执行到这里
    }

    [Obsolete("禁止将Value类型与object或null进行比较", error: true)]
    public static bool operator !=(Value l, object r)
    {
        throw new NotImplementedException();
    }

    // 处理反向比较的情况（object == Value）
    [Obsolete("禁止将Value类型与object或null进行比较", error: true)]
    public static bool operator ==(object l, Value r)
    {
        throw new NotImplementedException();
    }

    [Obsolete("禁止将Value类型与object或null进行比较", error: true)]
    public static bool operator !=(object l, Value r)
    {
        throw new NotImplementedException();
    }

    // 注意：根据C#规范，重载==运算符后最好同时重写Equals和GetHashCode
    public override bool Equals(object? obj)
    {
        return obj is Value other && this == other;
    }

    public override int GetHashCode()
    {
        // 替换成你的哈希码生成逻辑
        return 0;
    }
}

效果验证 #

现在尝试以下代码：

class Program
{
    static void Main()
    {
        object o = new object();
        Value v = default;

        var a = v == null; // 触发编译错误：Obsolete特性标记的错误
        var b = v == o;    // 同样触发编译错误
        var c = v == v;    // 正常执行，使用自定义的==运算符
    }
}

这样既保留了结构体间的自定义相等逻辑，又拦截了所有与null/object的非法比较，完全不需要编写额外的代码分析器。

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