C#中子对象的空值检查扩展方法失效问题咨询

我编写了一个空值检查扩展方法：

public static IEnumerable<T> OrEmptyIfNull<T>(this IEnumerable<T> source)
{
    return source ?? Enumerable.Empty<T>();
}

该方法可避免循环前额外的空值检查，示例用法如下：

int[] intArray = new int[] { 1, 2, 3 };
int sum = 0;
foreach (int i in intArray.OrEmptyIfNull())
    sum += i;

但当目标IEnumerable嵌套在其他对象中时，若外层对象为null，调用如下代码会触发NullReferenceException：

foreach (int i in myObject?.intArray.OrEmptyIfNull())
    sum += i;

我了解编译器会将该表达式转换为：

ExtensionClass.OrEmptyIfNull(myObject?.intArray)

但当myObject为null时仍会出现空引用异常，请问这是为什么？这种空值检查扩展方法的使用是否存在极大风险？

问题原因澄清 #

首先，你描述的场景存在认知偏差：当myObject为null时，myObject?.intArray的结果是null，调用OrEmptyIfNull扩展方法后会返回Enumerable.Empty<int>，此时foreach迭代空集合不会触发NullReferenceException。

如果你确实遇到了异常，大概率是代码写法有误：

• 错误写法：myObject?.intArray?.OrEmptyIfNull()——此时当myObject为null时，整个表达式结果是null，foreach迭代null会抛出异常。
• 正确写法：myObject?.intArray.OrEmptyIfNull()（等价于(myObject?.intArray).OrEmptyIfNull()，因为.和?.优先级相同，遵循左结合规则）——此时即使myObject为null，扩展方法仍会被正常调用，返回空集合。

若排除写法问题，可能是扩展方法未正确实现，或者intArray的类型未实现IEnumerable<T>（但数组默认实现该接口）。

扩展方法的风险分析 #

这种空值检查扩展方法本身不存在极大风险，但使用时需注意以下细节：

• 优先级陷阱：链式调用时要明确?.的作用范围，避免误写为多层?.链式调用导致最终返回null。
• 场景局限性：该方法仅适用于IEnumerable<T>类型，对其他类型无效；嵌套层级较多时，直接使用空合并运算符??（如myObject?.intArray ?? Enumerable.Empty<int>()）也能达到相同效果，且可读性可能更高。
• 团队认知：团队协作时需确保所有人理解该扩展方法的作用，避免因认知差异导致误用。

安全用法示例 #

确保嵌套场景下安全的两种写法：

// 写法1：明确括号强化优先级（可选，因编译器默认左结合）
foreach (int i in (myObject?.intArray).OrEmptyIfNull())
    sum += i;

// 写法2：直接使用空合并运算符，无需扩展方法
foreach (int i in myObject?.intArray ?? Enumerable.Empty<int>())
    sum += i;

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