Java方法级泛型疑问：registerHandler方法泛型语法解析

我们来逐段拆解这段代码：
<T extends BaseCommand> void registerHandler(Class<T> type, CommandHandlerMethod<T> handler)

1. 方法级泛型声明：<T extends BaseCommand> #

这是方法专属的泛型参数定义，意思是：

• 该方法存在一个泛型参数T
• T必须是BaseCommand接口的实现类（或BaseCommand本身，Java泛型中extends既表示继承类，也表示实现接口）
• 这个泛型仅作用于registerHandler方法，和接口中其他方法（比如send）无关

2. 返回值void #

就是普通的无返回值声明，Java语法规定：方法级泛型必须写在返回类型之前，所以你会看到<T...>在void前面。

3. 参数Class<T> type #

这是类型令牌（Type Token），用来传递T对应的Class对象。因为Java泛型存在“类型擦除”机制，运行时无法直接获取泛型参数的具体类型，通过传入Class<T>可以在运行时保留T的类型信息，比如你传入CreateUserCommand.class，这里的T就对应CreateUserCommand（前提是它实现了BaseCommand）。

4. 参数CommandHandlerMethod<T> handler #

这是一个泛型类型的处理器实例，它的泛型参数和前面的T严格绑定，确保传入的handler是专门处理T类型命令的处理器。编译器会在编译期检查类型匹配，避免出现“用处理订单的处理器去处理用户命令”这类错误，保证类型安全。

简单使用示例 #

假设我们有BaseCommand的实现类CreateUserCommand，以及对应的处理器CreateUserHandler implements CommandHandlerMethod<CreateUserCommand>，注册时的代码会是：

commandDispatcher.registerHandler(CreateUserCommand.class, new CreateUserHandler());

此时编译器会自动推断T为CreateUserCommand，并验证处理器的泛型是否匹配，杜绝类型不兼容的问题。

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