方法参数属性的应用场景：Equals重写中NotNullWhen属性的作用疑问

针对你的疑问，逐个拆解：

1. 核心作用：给静态分析器提供精准的null状态提示 #

你的Time是不可为null的结构体，但Equals方法的参数是object?（可空的object类型）。加上[NotNullWhen(true)]后，IDE和编译器的静态分析器会明确知道：当Equals返回true时，传入的obj绝对不是null，并且是Time类型的实例。

举个实际的代码场景：

Time myTime = new Time(9, 45);
object? someObj = new Time(9, 45);

if (myTime.Equals(someObj))
{
    // 这里分析器通过属性知道someObj非空且是Time，不会弹出"可能为null"或"转换失败"的警告
    Time matchedTime = (Time)someObj;
}

如果没有这个属性，即使逻辑上能确定obj非空，IDE还是可能给你抛出不必要的null引用警告，你得额外加空判断或者抑制警告，反而冗余。

2. 明确方法契约，提升代码可读性 #

这个属性属于.NET nullable分析体系的一部分，用来清晰定义方法的输入输出关系。其他开发者（或者几个月后的你）看代码时，一眼就能从属性上读懂：只要Equals返回true，那obj肯定不是null，不需要去啃方法体逻辑才能搞清楚这个隐含规则，降低了理解成本。

3. 确实不强制执行逻辑，但能帮你排查代码错误 #

你说的没错，这个属性不会在运行时做检查，也不会强制你的代码必须符合约定。但如果你的代码逻辑写错了（比如不小心让Equals在obj为null时返回true，这在结构体Equals里几乎不可能，但假设出现），静态分析器会立刻给你抛出警告，提示你的代码和属性声明的契约不一致，帮你提前发现潜在bug。

总结 #

对结构体的Equals方法来说，这个属性不是语法层面的必须项，但它能提升静态分析的准确性，减少冗余警告，同时让方法的行为契约更明确。遵循这个规范能让你的代码更健壮、可读性更好，属于值得保留的细节优化。

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