带泛型约束的方法通过反射调用的编译问题

这是个很典型的泛型约束与反射结合的问题，我来帮你拆解下原因和可行的解决方案：

问题根源 #

当你给Sponsor<T>加上where T : BaseIdea, new()约束后，编译器会在编译阶段严格校验所有对该方法的调用：

• 用object作为类型参数时，object没有继承BaseIdea，违反了继承约束
• 用BaseIdea作为类型参数时，它是抽象类，无法满足new()（无参构造函数）的约束
  所以这两种写法都过不了编译关卡。

解决方案1：定义满足约束的临时测试类 #

最简单的办法是创建一个完全符合约束的具体类，用它来构建表达式树：

// 在Caller类内部定义一个私有临时类，满足所有约束
private class TempValidIdea : BaseIdea {
    public TempValidIdea() { } // 显式提供无参构造函数，满足new()约束
}

public Caller() {
    // 用TempValidIdea作为泛型参数，编译就能通过
    MethodInfo method = GetMethod<ModuleBaseLogic>(q => q.Sponsor<TempValidIdea>(id));
}

因为TempValidIdea既继承了BaseIdea，又有合法的无参构造函数，完全符合约束要求。而你最终通过GetGenericMethodDefinition()拿到的依然是Sponsor<T>的泛型方法定义，不会影响后续的反射调用。

解决方案2：直接通过反射查找方法（跳过表达式树） #

如果不想额外定义临时类，也可以直接通过类型查找目标方法，绕开表达式树的编译时约束检查：

public Caller() {
    MethodInfo method = typeof(ModuleBaseLogic)
        // 通过方法名+参数类型精准定位目标方法
        .GetMethod(nameof(ModuleBaseLogic.Sponsor), new[] { typeof(int) })
        .GetGenericMethodDefinition();
}

这种方式更直接，不需要依赖表达式树。需要注意的是，如果ModuleBaseLogic里有同名重载方法，要确保GetMethod的参数（这里是new[] { typeof(int) }）能精准匹配到你要的那个方法。

解决方案3：调整表达式树方法的泛型参数 #

如果你想保留表达式树的写法，可以给GetMethod新增一个满足约束的泛型参数：

// 新增TParam泛型参数，并加上对应的约束
protected static MethodInfo GetMethod<TLogic, TParam>(Expression<Action<TLogic>> expr) 
    where TParam : BaseIdea, new() {
    return ((MethodCallExpression)expr.Body).Method.GetGenericMethodDefinition();
}

public Caller() {
    // 显式传入符合约束的TempValidIdea类型
    MethodInfo method = GetMethod<ModuleBaseLogic, TempValidIdea>(q => q.Sponsor<TempValidIdea>(id));
}

本质上和方案1类似，只是把满足约束的类型参数显式暴露出来了，适合需要更灵活控制的场景。

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