C#表达式成员空值检测优化：移除try-catch实现安全取值

我来帮你搞定这个问题——原来用try-catch捕获空引用异常的方式确实性能拉胯，而且不够优雅。咱们可以通过改写表达式树的方式，在编译前就给每个成员访问节点加上空值检查逻辑，从根源上避免空引用，完全替代try-catch的临时方案。

问题根源 #

当你编译执行() => someObjectA.User.Address.City这类嵌套表达式时，只要其中任意一个环节（比如someObjectA.User为null），调用Invoke()就会直接抛出空引用异常。而try-catch是在异常发生后处理，不仅性能开销大（异常捕获的成本远高于提前检查），代码也不够规范。

核心解决方案：表达式树空安全改写 #

我们可以创建一个自定义的ExpressionVisitor，遍历表达式树的每个节点，把所有的成员访问（比如obj.Member）替换成带空值检查的逻辑：obj == null ? default : obj.Member。这个逻辑会递归应用到所有嵌套的成员访问上，确保每一步都先判断父对象是否为null。

1. 实现空安全表达式访问器 #

先写一个继承自ExpressionVisitor的类，专门处理成员访问的空值检查：

public class NullSafeExpressionVisitor : ExpressionVisitor
{
    protected override Expression VisitMember(MemberExpression node)
    {
        // 先递归处理成员的表达式（比如先处理obj.User，再处理User.Address）
        Expression safeExpression = Visit(node.Expression);
        
        // 创建空值检查：如果safeExpression为null，返回默认值；否则访问成员
        Expression nullCheck = Expression.Equal(safeExpression, Expression.Constant(null));
        
        // 获取当前成员类型的默认值表达式
        Expression defaultValue = Expression.Default(node.Type);
        
        // 创建条件表达式：safeExpression == null ? defaultValue : safeExpression.Member
        Expression conditional = Expression.Condition(
            nullCheck,
            defaultValue,
            base.VisitMember(node)
        );
        
        return conditional;
    }
}

2. 修改Compare方法，加入空安全转换 #

接下来改造你的Compare方法，在编译表达式之前，先用上面的访问器对表达式进行改写，确保生成的委托是带空值检查的：

void Compare<TField>(Expression<Func<TField>> left, Expression<Func<TField>> right)
{
    var nullSafeVisitor = new NullSafeExpressionVisitor();
    
    // 改写左右表达式，加入空值检查逻辑
    var safeLeft = (Expression<Func<TField>>)nullSafeVisitor.Visit(left);
    var safeRight = (Expression<Func<TField>>)nullSafeVisitor.Visit(right);
    
    // 编译并执行，此时不会抛出空引用异常
    TField lValue = safeLeft.Compile().Invoke();
    TField rValue = safeRight.Compile().Invoke();
    
    // 这里可以继续你的对比逻辑...
}

3. 验证效果 #

现在当你调用：

Compare(() => someObjectA.User.Address.City, () => someObjectB.User.Address.City);

不管someObjectA、User、Address中哪一个为null，编译后的委托都会返回TField类型的默认值（比如字符串默认是null，值类型默认是0或false等），完全不会抛出空引用异常，性能也比try-catch提升很多。

额外说明 #

• 这个实现支持所有引用类型和值类型的成员访问，值类型的成员（比如int）如果父对象为null，会返回对应值类型的默认值。
• 如果你需要针对某些特定类型做特殊处理（比如Nullable），可以在VisitMember方法中加入对应的判断逻辑。
• 表达式树改写是在编译前完成的，只需要处理一次，编译后的委托执行效率和原生的空值检查代码几乎一致，远优于try-catch的异常捕获方式。

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