泛型方法结合内省可构建类型安全、动态配置的规则引擎:通过泛型契约固化输入输出类型,反射实现自动注册与参数绑定,表达式树支持强类型组合,配置热更新时进行字段存在性与类型兼容性校验。

泛型方法搭配内省(reflection)机制,能构建出既类型安全、又可动态配置的规则判定引擎——关键不在“堆功能”,而在用泛型固化契约、用内省解耦配置、用编译期约束守住类型边界。
泛型规则处理器统一输入输出契约
定义一个泛型抽象基类或接口,把“判定逻辑”与“类型上下文”分离:
- 声明 RuleEvaluator<TInput, TOutput>,其中 TInput 是业务入参类型(如 Order、User),TOutput 是判定结果(如 bool、RuleResult<string>)
- 每个具体规则继承该泛型基类,例如 AgeEligibilityRule : RuleEvaluator<UserProfile, bool>,编译器即锁定其只能处理 UserProfile,返回 bool
- 所有规则共用统一的 Evaluate(TInput input) 方法签名,便于统一调度和组合
内省驱动规则元数据自动注册与参数绑定
避免硬编码规则链,让类型信息自身“说话”:
- 在规则类上标注特性(如 [RuleKey("min_age_check"), RuleGroup("onboarding")] ),通过反射扫描程序集自动注册
- 利用 typeof(TInput).GetProperties() 动态提取字段名,结合配置中心下发的 JSON 规则(如 {"field": "age", "operator": "gte", "value": 18}),自动匹配并绑定到对应属性
- 对 value 字段做泛型转换:调用 Convert.ChangeType(configValue, property.PropertyType),失败时抛出带类型上下文的异常(如 “无法将 'abc' 转为 System.Int32,字段:UserProfile.Age”)
运行时规则组合支持强类型条件树
用泛型表达式树或轻量级 DSL 实现 AND/OR/NOT 嵌套,同时保持返回类型可推导:
- 提供泛型组合工厂:RuleBuilder<T>.And(RuleEvaluator<T,bool> a, RuleEvaluator<T,bool> b),返回新的 RuleEvaluator<T,bool>
- 内部不拼字符串,而是构建 Expression<Func<T, bool>>,最终编译为委托执行,兼顾性能与调试友好性
- 配置层只存结构(如 {"type":"AND","children":[{"key":"age_check"},{"key":"country_whitelist"}]}),引擎按需反射加载并组装表达式树
配置变更热生效 + 类型校验兜底
业务线随时增删规则,但不能牺牲可靠性:
- 监听配置中心变更事件,触发规则缓存重建;重建时对每个规则类再次执行 typeof(TInput).GetProperty(config.field) 校验字段是否存在且类型兼容
- 对配置中传入的 value 做运行时类型谓词检查:if (!property.Type.IsAssignableFrom(value.GetType())) { throw new RuleConfigException(...) }
- 日志中始终携带泛型实参名(如 "Rule=AgeEligibilityRule<UserProfile> failed on field 'age'"),便于跨业务线排查

















