如何实现编译前方法参数与属性类型的动态匹配？

这问题我太懂了！你要的是编译时类型校验，而不是靠运行时抛异常或者dynamic来凑，泛型就是解决这个问题的核心方案。原来的object参数会让编译器丢失类型信息，自然没法在编码阶段给你提示错误，咱们直接改造成泛型方法就能搞定。

核心解决方案：泛型约束类型匹配 #

把MakeMethod改成泛型方法，引入类型参数TProp来绑定属性（字段）和值的类型，让编译器在编码时就帮你做类型校验：

public class Foo { public int Prop1; public string Prop2; }
public class Program {
    public static void Main(string[] args) {
        Foo foo1 = MakeMethod(x => x.Prop1, 5); // 正常：类型完全匹配，无报错
        Foo foo2 = MakeMethod(x => x.Prop2, 10); // 编译报错：无法将int转换为string，VS会直接标红10
    }
    
    // 改成泛型方法，用TProp约束属性和值的类型
    private static Foo MakeMethod<TProp>(Func<Foo, TProp> propSelector, TProp val) {
        Foo result = new Foo();
        
        // 这里可以添加你的业务逻辑，比如后续需要操作字段的话，可结合表达式树优化（见下文）
        Console.WriteLine($"选中的字段类型是{typeof(TProp)}，传入的值是{val}");
        
        return result;
    }
}

进阶：获取字段/属性元数据（如果需要赋值操作） #

如果你后续需要实际给选中的字段赋值，只靠Func拿不到字段的元数据，这时候可以把Func换成Expression<Func<Foo, TProp>>，通过解析表达式树获取字段信息：

private static Foo MakeMethod<TProp>(Expression<Func<Foo, TProp>> propSelector, TProp val) {
    Foo result = new Foo();
    
    // 解析表达式树，拿到对应的字段信息
    if (propSelector.Body is MemberExpression memberExpr && memberExpr.Member is FieldInfo field) {
        field.SetValue(result, val); // 给目标字段赋值
    }
    
    return result;
}

这样既保留了编译时的类型校验，又能实现动态操作字段的需求，完美符合你的要求。

为什么这个方案可行？ #

• 泛型类型参数TProp会让编译器在编译阶段自动推断出属性（字段）的类型，强制传入的val必须和该类型一致，一旦不匹配立刻报错
• 完全不需要dynamic，也不用运行时类型检查，所有错误都能在编写代码时被VS捕获
• 保留了代码的灵活性，不管是简单的类型校验还是后续的字段操作都能覆盖

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