本文介绍在 Java 类型擦除限制下，如何通过 Class 元信息或 Type 反射手段实现命令（Command）到处理器（Handler）的精准匹配与委托，避免编译错误和运行时类型不安全问题，并提供可落地的 Map 索引与泛型注册方案。
本文介绍在 java 类型擦除限制下，如何通过 `class` 元信息或 `type` 反射手段实现命令（command）到处理器（handler）的精准匹配与委托，避免编译错误和运行时类型不安全问题，并提供可落地的 map 索引与泛型注册方案。
在 Java 中，由于类型擦除（Type Erasure），泛型信息在运行时不可见——这意味着 Handler<CreateUserCommand, User> 和 Handler<DeleteUserCommand, Boolean> 在 JVM 层面都表现为 Handler 原始类型。因此，以下写法无法通过编译：
.filter(h -> h instanceof Handler<COMMAND, RESULT>) // ❌ 编译失败：无法在运行时检查泛型参数
根本原因在于：COMMAND 和 RESULT 是方法签名中的类型变量，其具体类型在 handle() 调用时并未以 Class 或 Type 形式传入，JVM 无法在运行时还原它们。
✅ 正确解法：显式传递类型元信息
最实用、类型安全且性能良好的方案是用 Class 作为键构建映射表，替代遍历 List<Handler<?, ?>> 的低效反射匹配：
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
private final Map<Pair<Class<?>, Class<?>>, Handler<?, ?>> handlers = new HashMap<>();
// 注册时明确声明命令与结果类型（编译期校验 + 运行时索引）
private <COMMAND, RESULT> void registerHandler(
Class<COMMAND> commandClass,
Class<RESULT> resultClass,
Handler<? super COMMAND, ? extends RESULT> handler) {
handlers.put(Pair.of(commandClass, resultClass), handler);
}
// 使用示例：
registerHandler(CreateUserCommand.class, User.class, new CreateUserHandler());
registerHandler(DeleteUserCommand.class, Boolean.class, new DeleteUserHandler());对应的分发逻辑如下（支持 null 安全与异常提示）：
@SuppressWarnings("unchecked")
public <COMMAND, RESULT> RESULT handle(COMMAND command, Class<RESULT> resultClass) {
if (command == null) {
throw new IllegalArgumentException("Command must not be null");
}
Class<?> commandClass = command.getClass();
Handler<COMMAND, RESULT> handler = (Handler<COMMAND, RESULT>)
handlers.get(Pair.of(commandClass, resultClass));
if (handler == null) {
throw new HandlerNotFoundException(
String.format("No handler found for command=%s, result=%s",
commandClass.getSimpleName(), resultClass.getSimpleName()));
}
return handler.handle(command);
}? 提示：Pair 可使用 Apache Commons Lang 的 Pair.of()，或自行定义轻量级不可变二元组；若需 Kotlin/Java 互操作性，也可用 Map.entry(key, value)（Java 16+）。
⚠️ 注意事项与进阶考量
- 继承兼容性：当前方案严格匹配 command.getClass()，若需支持子类命令（如 AdminCreateUserCommand extends CreateUserCommand），应改用 Class.isAssignableFrom() 检查，但需注意性能开销与歧义风险（多个 handler 匹配时需明确定义优先级）。
- 泛型嵌套类型（如 List<String>）：Class 无法区分带泛型的实际类型。若业务强依赖 Type 精确匹配（例如返回 ResponseEntity<List<User>>），则需引入 TypeReference 风格辅助类（如 new TypeReference<List<User>>() {}），并通过 getActualTypeArguments() 解析 ParameterizedType——但这会显著增加复杂度，通常应优先通过领域建模规避（例如定义 ListUserResponse 类）。
- DI 框架参考：Spring、Guice 等框架内部也采用类似策略——在启动期扫描并注册 Handler<T, R> 实现类时，通过 ResolvableType.forClass(...) 提取泛型参数并建立索引，而非运行时动态判断。
✅ 总结
| 方案 | 优点 | 缺点 | 推荐场景 |
|---|---|---|---|
| Map<Pair<Class, Class>, Handler> | 高性能、类型安全、易测试、零反射 | 不支持泛型参数化类型（如 List<T>） | 绝大多数 CQRS/CommandBus 场景 |
| List<Handler<?, ?>> + getGenericInterfaces() | 理论上支持任意 Type | 性能差、代码冗长、易出错、null 敏感 | 仅作学习理解，不建议生产使用 |
最终，显式注册 + Class 键索引是兼顾简洁性、安全性与可维护性的最佳实践。它把类型决策从模糊的“运行时猜测”转变为清晰的“编译期契约”，真正实现了“委托即可靠”。
