本文旨在解决在使用泛型接口进行继承时遇到的类型匹配问题。正如摘要所言，当子类试图初始化父类中声明的泛型接口变量时，可能会遇到类型不兼容的情况。以下将通过两种方法来解决这个问题，并提供代码示例。
方法一：将父类定义为泛型类
最直接的解决方案是将父类FooUser也定义为泛型类。这样，父类就可以根据子类提供的类型参数来确定其泛型接口IFoo的具体类型。
public abstract class FooUser<T extends FooInfo> {
protected IFoo<T> foo;
}
public class FooAUser extends FooUser<FooAInfo> {
public FooAUser() {
super.foo = new FooA();
}
}
public class FooBUser extends FooUser<FooBInfo> {
public FooBUser() {
super.foo = new FooB();
}
}在这个例子中，FooUser被声明为FooUser<T extends FooInfo>，这意味着FooUser接受一个类型参数T，并且T必须是FooInfo或其子类。FooAUser继承自FooUser<FooAInfo>，因此FooUser中的foo变量的类型为IFoo<FooAInfo>。同样，FooBUser继承自FooUser<FooBInfo>，foo变量的类型为IFoo<FooBInfo>。这样，new FooA()和new FooB()就可以正确地赋值给foo变量，因为它们的类型与foo变量的类型完全匹配。
方法二：使用通配符
另一种方法是使用通配符(?)来定义父类中的泛型接口变量。通配符表示可以接受任何类型。
public abstract class FooUser {
protected IFoo<?> foo;
}
public class FooAUser extends FooUser {
public FooAUser() {
super.foo = new FooA();
}
}
public class FooBUser extends FooUser {
public FooBUser() {
super.foo = new FooB();
}
}在这个例子中，FooUser中的foo变量的类型为IFoo<?>，这意味着foo可以接受任何类型的IFoo接口的实现。由于FooA实现了IFoo<FooAInfo>，FooB实现了IFoo<FooBInfo>，因此new FooA()和new FooB()都可以赋值给foo变量。
注意事项： 使用通配符时，需要注意类型安全问题。由于foo的类型是IFoo<?>，因此在调用foo的方法时，编译器无法确定foo的具体类型，可能会导致类型转换错误。
接口方法的可访问性
此外，需要注意的是，接口的实现类中的方法必须声明为public，否则无法被外部访问。在原始代码中，FooA和FooB类中的proc()方法没有声明为public，这是不正确的。正确的代码如下：
public class FooA implements IFoo<FooAInfo> {
@Override
public void proc(FooAInfo fooInfo) {
// ...
}
}
public class FooB implements IFoo<FooBInfo> {
@Override
public void proc(FooBInfo fooInfo) {
// ...
}
}添加@Override注解可以帮助检查方法签名是否正确。
总结
本文介绍了两种解决泛型接口在继承中类型不匹配问题的方法：将父类定义为泛型类和使用通配符。选择哪种方法取决于具体的应用场景。如果需要确保类型安全，建议使用第一种方法。如果对类型安全要求不高，可以使用第二种方法。同时，务必确保接口实现类中的方法声明为public，以便外部可以访问。
