使用泛型返回类型参数Java

Question

我试图创建一个返回泛型类型参数的方法。

我有一个类车辆订单扩展抽象类订单。在类订单中，我创建了一个抽象方法接收HiredObject。这个方法不会接收任何参数，并将返回一个泛型。

public abstract class Order implements Orderable {

private Date date;
private Customer customer;

public abstract <T> T receiveHiredObject();

我在VehicleOrder类中实现了这个方法，并将其设置为返回类参数vehicle。

public class VehicleOrder extends Order {

private Vehicle vehicle;

public VehicleOrder(final Date date, final Customer customer, final Vehicle vehicle) {
    super(date, customer);
    this.vehicle = vehicle;
}

@SuppressWarnings("unchecked")
@Override
public Vehicle receiveHiredObject() {
    return vehicle;
}

问题是，当我实例化一个新的VeilceOrderorororororororororororororderorororororororforhiredObject时，这个方法返回给我一个Object，而我只有方法toString可用。

Order a = new VehicleOrder();
a.receiveHiredObject();

我希望将来对HotelOrder等其他类型的对象使用相同的方法。

我做错了什么，为什么receiveHiredObject方法返回的是一个对象而不是VehicleOrder？如何改进方法以返回正确的类型？

谢谢你，

Answer 1

您可以将泛型类型声明移动到类级别，例如：

public abstract class Order<T> implements Orderable {
    private Date date;
    private Customer customer;

    public abstract T receiveHiredObject();
}

public class VehicleOrder extends Order<Vehicle> {

    private Vehicle vehicle;

    public VehicleOrder(final Date date, final Customer customer, final Vehicle vehicle) {
        super(date, customer);
        this.vehicle = vehicle;
    }

    @SuppressWarnings("unchecked")
    @Override
    public Vehicle receiveHiredObject() {
         return vehicle;
    }
}

（认为语法正确）

Answer 2

请注意，receiveHiredObject确实“返回正确的类型”，如果您告诉它返回什么类型。

Order order = new VehicleOrder();
Vehicle v = order.receiveHiredObject();

它返回Object，因为如果不指定类型，类型参数T将被推断为Object，因为T仅由Object限定。

然而，你的方法一点也不安全！你可以做一些愚蠢的事情，比如：

Order order = new VehicleOrder();
Hotel h = order.receiveHiredObject();

这会编译，但运行时会崩溃。

这是因为您声明了receiveHiredObject，以返回一个T——泛型参数。这意味着调用方指定的任何T——无论是Vehicle，Hotel，还是Foo，receiveHiredObject都会声明返回该类型的对象。显然，它不会这样做。它返回的内容取决于使用的子类。来电者无法决定返回的内容！当您在VehicleOrder中实现receiveHiredObject时，您会收到一条警告，因为返回Vehicle可能不是调用者期望的T，运行时无法为您检查，但您抑制了该警告。

因此，receiveHiredObject不应该是泛型的。您可以改为使订单通用：

// might have to change Orderable too, if receiveHiredObject comes from there
public abstract class Order<T> implements Orderable {

    private Date date;
    private Customer customer;

    public abstract T receiveHiredObject();
}

public class VehicleOrder extends Order<Vehicle> {
    // same code as before...
}

现在呼叫者可以做：

Order<Vehicle> order = new VehicleOrder();
order.receiveHiredObject().someVehicleSpecificThing();

现在它安全多了——你将无法通过汽车订单获得酒店。

请注意，绝对有必要提供车辆的类型信息。这是因为什么顺序。receiveHiredObject返回值由运行时类型的顺序决定，编译器无法知道这是什么。在极端情况下想想：

Order order = new Random().nextBoolean() ? new VehicleOrder() : new HotelOrder();
// what type should order.receiveHiredObject return here?