为什么我会在这里收到类型安全警告？ （泛型）

Question

我最近想了解更多有关泛型方法的信息并创建了几个示例，但我不清楚以下类型安全性。举个例子：

public class GeneralMethod
{
  public static void main( String[] args )
  {
    Repository rep = new Repository();

    Set<ConcreteObject> set = rep.getObject();
  }
}


abstract class AbstractRepository
{
  public abstract <T extends SuperObject> Set<T> getObject();
}


class Repository extends AbstractRepository
{
  @Override
  public Set<ConcreteObject> getObject() //<- Type safety!
  {
    return new HashSet<ConcreteObject>();
  }
}

abstract class SuperObject
{

}

class ConcreteObject extends SuperObject
{

}

在 Eclipse 中 Repository.class 出现以下类型安全：

Type safety: The return type Set < ConcreteObject > for getObject() from the type Repository needs checked conversion to conform to Set < SuperObject > from the type AbstractRepository

为什么编译器要符合Set < SuperObject > instead of Set < T extends Superobject >？

你会如何告诉每个 Repository 用自己的类型实现 getObject() 方法，并且只在方法签名中使用泛型？ （意思是没有在类签名中定义泛型）。

谢谢你， 梅内

Answer 1

你会如何告诉每个 Repository 用自己的类型实现一个 getObject() 方法，只在方法签名中使用泛型？ （意思是没有在类签名中定义泛型）。

你不能。当您说“它是自己的类型”时，您指的是 Repository 子类的泛型类型 - 除非您正在执行类似 FooRepository extends AbstractRepository<Foo> 的操作，否则它不存在。

在这种情况下，我会简单地将抽象类设为泛型：

public abstract class AbstractRepository<T extends SuperObject>
      abstract Set<T> getObjects();
}

顺便说一句，没有非抽象方法的抽象类可能更好地设计为接口。

Answer 2

class AbstractRepository

  Set<? extends SuperObject> getObject();


class Repository extends AbstractRepository

  Set<    ConcreteObject   > getObject()

这是因为Set<ConcreteObject> 是Set<? extends SuperObject> 的子类型

另见Overriding method with generic return type

Answer 3

AbstractRepository repository = new Repository();
Set<SuperObject> set = repository.getObject();

这应该可以编译，但您会将Set<ConcreteObject> 分配给Set<SuperObject> 变量。

返回Set<? extends SuperObject> 应该编译[未测试]。您可能希望使基类通用（或根本不返回集合）。

Answer 4

“为什么编译器要符合Set而不是Set？”

因为你是这么告诉他的！ 毕竟，可以替代 T 的最少类型是 Superobject。

Answer 5

T extends SuperObject 将T 绑定到extends（是SuperObject 的子类）的任何类。您正在覆盖 AbstractRepository.getObject() 方法，因此方法签名必须与其父类相同。

这应该是有效的（未经测试）

class Repository extends AbstractRepository
{
  @Override
  public Set<T extends SuperObject> getObject() //Valid
  {
    return new HashSet<ConcreteObject>();
  }
}