泛型和继承问题

Question

我有三节课：

public abstract class fileHandler<Key extends Object, Value extends Object> {
}

public A extends fileHandler<String, String[]> {
}

public B extends fileHandler<String, String> {
}

现在在我的主要职能中，我做这样的事情：

fileHandler file= null;
If (<condition>) {
    fileHandler = new A();
} else
    fileHandler = new B():
}

但这会产生2个编译时错误：

1. 无法将A转换为fileHandler
2. 无法将B转换为fileHandler

如果基类不是泛型的，那么我如何摆脱这些错误呢？

更新：

我的班级层次结构是：

1. class fileHandler<Key, Value> { }
2. class A extends fileHandler<String, String[]> { }
3. class B extends fileHandler<String, String> { }
4. 调用函数的C类gen(object of A)或
5. 调用函数的D类gen(object of B)。
6. C和D都从抽象类E派生。

现在，我应该如何在C和D以及E中定义这些功能：

我给出了以下内容：

E：

public abstract void gen (fileHandler A) throws exception;

C：

void gen (fileHandler A) throws exception;

D：

void gen (fileHandler A) throws exception;

C，D和E给出错误fileHandler是原始类型。对通用类型fileHandler（Key，Value）的引用应参数化。

Answer 1

当您使用不同的类型参数实例化通用类型时，两个实例都不兼容。泛型类型的不同实例化不是类型等效的，即从另一个类继承的类与该类的类型等效，即使类型参数本身可以通过继承关联。泛型和多态是两个独立的语言功能。

您的代码等效于以下内容：

// Java defaults unspecified type arguments to Object.
fileHandler<Object, Object> file;

if (...) {
   // Error: fileHandler<String, String> is not equivalent to fileHandler<Object, Object>
   file = new fileHandler<String, String>();
} else {
   // Error: fileHandler<String, String[]> is not equivalent to fileHandler<Object, Object>
   file = new fileHandler<String, String[]>();
}

如果您确实想隔离与用于实例化fileHandler类的类型无关的多态接口，那么我建议您使用一个接口：

interface IFileHandler
{
    // If this interface needs to talk about keys and values, it
    // does so using only java.lang.Object.
}

public class fileHandler<Key extends Object, Value extends Object>
    implements IFileHandler
{
    // ...
}

public class A extends fileHandler<String, String>
{
    // ...
}

public class B extends fileHandler<String, String[]>
{
    // ...
}

IFileHandler file;

if (...) {
    file = new A();
} else {
    file = new B();
}