表达式树BinaryExpression传入MethodInfo参数的作用是什么

不带第三个参数的Add重载，运行时会按.NET默认的运算符解析规则，自动查找左右操作数类型匹配的标准op_Addition静态运算符完成绑定。平时我们用int、double这类内置数值类型，或者按规范写了operator +重载的自定义类型构造加法表达式时，框架能自动定位到对应的加法实现，自然不需要额外传参。

带MethodInfo参数的重载，本质就是给你一个绕开默认自动解析逻辑的入口，显式指定这次加法运算要执行的具体方法，不是多余的设计，实际开发中这几个场景必须用到它：

• 操作数类型没有实现标准加法运算符重载
  很多跨语言互操作生成的类型、第三方老旧库的自定义数值/运算类型，不会遵循CLS规范写op_Addition静态运算符，只会暴露一个普通的静态Add方法实现相加逻辑。这种情况下用双参数Add重载会直接抛出"类型未定义加法运算符"的异常，必须手动反射拿到对应Add方法的MethodInfo传入，明确告诉表达式树用这个方法做加法。
• 需要精确控制加法实现，避免绑定错误
  如果操作数类型存在多个重载版本的op_Addition（比如同时支持int、long、double参数的加法），默认解析逻辑可能选中不符合预期的重载，甚至直接抛出多义性异常。这时候显式传入目标方法的MethodInfo，可以完全跳过自动解析，100%按你指定的逻辑执行。
  另外默认的运算符解析只会查找公开的运算符方法，如果你要调用的加法逻辑是内部类、私有静态方法实现的非公开逻辑，默认解析根本访问不到，也需要手动反射拿到对应方法的MethodInfo传入。
• 自定义LINQ Provider、高性能动态代码生成场景
  做自定义LINQ Provider的时候，很多场景需要把C#的+运算翻译成数据库端的自定义函数、或者特定领域的运算逻辑，这时候传入自定义映射方法的MethodInfo，Provider就能识别到标记，按你预设的逻辑翻译，而不是生成默认的加法SQL。
  做高性能动态代码生成时，如果已经提前缓存了目标加法方法的MethodInfo，直接传入可以省掉运行时反射查找运算符的开销，减少表达式构造的耗时。
• DLR动态对象互操作场景
  实现了IDynamicMetaObjectProvider的动态类型没有静态类型元数据，默认解析逻辑根本找不到对应的运算符方法，必须把动态绑定阶段得到的加法调用目标MethodInfo传入，才能正确构造动态对象的加法表达式。

举个最典型的使用示例：

public class CustomPoint
{
    public int X { get; set; }
    public int Y { get; set; }
    // 没有实现标准operator +，仅提供普通静态Add方法
    public static CustomPoint Add(CustomPoint p1, CustomPoint p2)
    {
        return new CustomPoint { X = p1.X + p2.X, Y = p1.Y + p2.Y };
    }
}

// 直接调用双参数重载会抛异常，必须显式指定Add方法
var addMethod = typeof(CustomPoint).GetMethod(
    nameof(CustomPoint.Add), 
    BindingFlags.Public | BindingFlags.Static
);
var p1 = Expression.Parameter(typeof(CustomPoint), "p1");
var p2 = Expression.Parameter(typeof(CustomPoint), "p2");
BinaryExpression addExpr = Expression.Add(p1, p2, addMethod);

// 编译后可正常执行
var addDelegate = Expression.Lambda<Func<CustomPoint, CustomPoint, CustomPoint>>(addExpr, p1, p2).Compile();

注意：传入的MethodInfo必须对应静态方法，且方法的参数类型、返回值类型必须和左右操作数、表达式期望的结果类型兼容，否则构造表达式时会直接抛出参数校验异常。

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