Проблемные декларация с использованием наследования в дженериков

Question

Я имею

LoginCommandExecutor implements CommandExecutor<LoginCommand> 
LoginCommand implements Command 

Почему эта линия бросает ошибку компиляции:

CommandExecutor<Command> a = new LoginCommandExecutor(commander, null); 

Но это работает для обоих следующих параметров:

CommandExecutor<? extends Command> a = new LoginCommandExecutor(commander, null); 
CommandExecutor b = new LoginCommandExecutor(commander, null); 

И если оба работают, что предпочтительнее? Зачем?

, потому что вижу а и б показывает те же методы в IDE

Answer 1

CommandExecutor b = new LoginCommandExecutor(commander, null); 

использует необработанный тип. Это определенно не должно использоваться.

CommandExecutor<? extends Command> a = new LoginCommandExecutor(commander, null); 

правильно, но скрывает тот факт, что у вас есть на самом деле является CommandExecutor<LoginCommand>. Вы не сможете отправить какую-либо команду этому исполнителю, так как тип команды, принятой исполнителем, неизвестен.

CommandExecutor<Command> a = new LoginCommandExecutor(commander, null); 

является неправильным, так как LoginCommandExecutor принимает только LoginCommand, в то время как CommandExecutor<Command> принимает любые командования. Если это было принято компилятором, вы можете сделать

CommandExecutor<Command> a = new LoginCommandExecutor(commander, null); 
a.submit(new WhateverCommand());