Java中如何基于PECS原则参数化泛型列表并实现过滤映射？

首先，你遇到的核心问题是泛型协变/逆变与方法调用的类型匹配冲突，结合PECS原则，我们可以分步骤解决：

1. 为什么List<CommandHandler<? extends Command>>编译失败？ #

当你声明List<CommandHandler<? extends Command>>时，列表中的每个handler的泛型参数C是Command的某个子类型（比如DeleteCommand）。此时调用commandName(toBeHandled)会编译错误——因为commandName要求的参数是C（子类型），而你传入的toBeHandled是Command（父类型），父类型无法直接赋值给子类型。

2. 正确的参数化方案 #

方案一：使用通配符?并配合安全类型转换 #

将列表声明为List<CommandHandler<?>>，这可以消除未检查的泛型警告，同时兼容所有CommandHandler的实现类。然后利用supportsCommand的检查结果，进行安全的类型转换：

public static void main(String[] args) {
    Command toBeHandled = new DeleteCommand();
    // 使用通配符?消除警告
    List<CommandHandler<?>> knownCommands = List.of(new DeleteCommandHandlerImpl());
    Optional<String> result = knownCommands
            .stream()
            .filter(handler -> handler.supportsCommand(toBeHandled.getClass()))
            .findFirst()
            .map(handler -> {
                // 因supportsCommand已验证类型兼容，转换安全
                @SuppressWarnings("unchecked")
                CommandHandler<Command> typedHandler = (CommandHandler<Command>) handler;
                return typedHandler.commandName(toBeHandled);
            });
    System.out.println(result);
}

方案二：优化CommandHandler接口，实现安全类型转换 #

调整接口，新增获取命令类型的方法，避免强制转换的警告，同时更符合类型安全：

interface CommandHandler<C extends Command> {
    // 新增方法，返回当前handler处理的命令类型
    Class<C> getCommandType();
    
    // 基于getCommandType实现supportsCommand
    default boolean supportsCommand(Class<? extends Command> klazz) {
        return getCommandType().isAssignableFrom(klazz);
    }
    
    String commandName(C command);
}

// 修改实现类
class DeleteCommandHandlerImpl implements CommandHandler<DeleteCommand> {
    @Override
    public Class<DeleteCommand> getCommandType() {
        return DeleteCommand.class;
    }
    
    @Override
    public String commandName(DeleteCommand command) {
        return command.name();
    }
}

// Main方法中安全调用
public static void main(String[] args) {
    Command toBeHandled = new DeleteCommand();
    // 使用? extends Command参数化列表，符合PECS中对handler处理子类型的描述
    List<CommandHandler<? extends Command>> knownCommands = List.of(new DeleteCommandHandlerImpl());
    Optional<String> result = knownCommands
            .stream()
            .filter(handler -> handler.supportsCommand(toBeHandled.getClass()))
            .findFirst()
            .map(handler -> {
                // 用getCommandType安全转换命令类型
                return handler.commandName(handler.getCommandType().cast(toBeHandled));
            });
    System.out.println(result);
}

3. PECS原则在这里的应用 #

PECS的核心是生产者用extends，消费者用super：

• 这里的List<CommandHandler<? extends Command>>中，? extends Command表示每个handler处理的是Command的某个子类型，明确了handler的处理范围。
• 因为我们需要从列表中取出handler来处理Command类型的对象（实际是子类型实例），通过? extends Command限定handler的泛型范围，再配合类型检查和转换，既满足泛型安全要求，又消除了编译警告。

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