为何dotnet_style_prefer_is_null_check_over_reference_equality_method不识别foo == null？

为何需要该强制转换？ #

这是为了保证语义完全一致。如果你的对象类型T重载了==运算符，那么foo == null会调用该类型自定义的相等逻辑，结果可能和“判断引用是否真的为null”不符；而(object)foo == null会绕过自定义运算符，直接比较引用是否为空——这和foo is null的语义完全一致。所以这个规则只针对带强制转换的场景，确保替换后的代码和原代码行为完全相同，不会因为自定义运算符出现意外。

进行空检查时是否都要将变量转为(object)？ #

不需要。只有当你需要绕过自定义==运算符，明确判断对象引用是否为null的时候，才需要加(object)强制转换。如果你的类型没有重载==，foo == null、(object)foo == null和foo is null的行为完全一致，这时候完全没必要多此一举加强制转换。

还是该规则仅实现了示例未做进一步扩展？ #

没错，IDE0041规则的设计就是只处理带(object)强制转换的== null场景。核心原因还是语义安全：如果直接处理普通的foo == null，一旦类型有自定义==运算符，替换成foo is null就会改变原代码的行为，这是代码分析工具要严格避免的风险。所以规则只覆盖了语义明确、替换绝对安全的场景，也就是带强制转换的情况。

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