好的,当我试图找到解释问题的标题时,我可能需要扩展它。
最近我实现了一个用于控制磁带库的小程序。知道它必须使用多种不同类型的磁带库,因此开发了以下设计。
interface Tapelibrary<T extends TapeDrive> {
List<T> getListofDrives();
void doSomethingWithDrive(T d);
}
class SpecificTapeLibrary implements Tapelibrary<HPDrive> {
private List<HPDrive> driveList;
SpecificTapeLibrary() {
driveList.add(new HPDrive());
driveList.add(new HPDrive());
driveList.add(new HPDrive());
}
@Override
public List<HPDrive> getListofDrives() {
return driveList;
}
@Override
public void doSomethingWithDrive(HPDrive d) {
d.doSomethingHPspecific();
}
}
abstract class TapeDrive {
void doSomething() {
}
}
class HPDrive extends TapeDrive {
void doSomethingHPspecific() {
}
}
正确的磁带库由工厂根据命令行参数确定。
public static void main(String[] args) {
Tapelibrary<? extends TapeDrive> t = new TapeLibraryFabric().get();
List<? extends TapeDrive> listOfDrives = t.getListofDrives();
// the user selects a drive by using a small UI or something
TapeDrive selectedDrive = listOfDrives.get(0);
t.doSomethingWithDrive(selectedDrive); // compiler error
}
这确实有意义,因为编译器必须显式地将超类型TapeDrive转换为子类型HPDrive,这是由SpecificTapeLibrary中的doSomethingWithDrive(HPDrive)方法所期望的
如何以良好的方式解决这个问题?我最终没有在doSomethingWithDrive方法中使用泛型和强制转换(如此处所示:How to Pass a Child Class into a method requiring Super Class as parameter)。但这不是最佳解决方案。
在撰写这篇文章的同时,另一个解决方案突然出现在我脑海中,这更加清晰。 DriveSelector类封装了选择过程。
class DriveSelector {
<T> T selectDrive(List<T> inputList) {
// give the user an UI or something to select a drive
return inputList.get(0);
}
}
// the tape library then uses the selector
public void doSomethingWithSelectedDrive(DriveSelector selector) {
HPDrive t = selector.selectDrive(driveList);
t.doSomethingHPspecific();
}
还有其他想法吗?
答案 0 :(得分:1)
以通用方法完成所有工作:
static <T extends TapeDrive> void doStuff(Tapelibrary<T> t) {
List<T> listOfDrives = t.getListofDrives();
// the user selects a drive by using a small UI or something
T selectedDrive = listOfDrives.get(0);
t.doSomethingWithDrive(selectedDrive);
}
然后从您的主要方法调用此方法:
Tapelibrary<? extends TapeDrive> t = new TapeLibraryFabric().get();
doStuff(t);
它的工作方式是删除所有通配符 - 关于通配符的事情是编译器将每个通配符视为不同,即使这些值是从单个通用实例派生的。通过将事物放入这样的泛型方法中,您可以让编译器知道所有T
都是相同的类型 - 因此它可以知道调用是安全的。