应该显示编译错误但不是的简单Java泛型

Question

这是Java泛型的非常简单的示例。 我的问题是，当类期望将我的AirUnit列表添加到arraylist中时，该类期望的是实现了Vehicle的类型而不是实现了AirUnit的类型时，为什么编译器在不运行Java的情况下在intellij 13中不显示编译错误？期望拥有高等级车。

车辆：

public interface Vehicle {
     void goForward();
}

AirUnit：

public interface AirUnit {
 void fly();
}

Highway类，它接收一系列车辆并运行它们并打印其toString（）。

import java.util.ArrayList;

public class HighWay<T extends Vehicle> {

    private ArrayList<T> vehicles;

    public HighWay(ArrayList<T> vehiclesOnTheRoad){
        this.vehicles = vehiclesOnTheRoad;
    }


    public void moveTheVehicles(){
        for(T vehicle: vehicles){
            System.out.println(vehicle);
        }
    }
}

客户端

import java.util.ArrayList;

            public class Client {

                public static void  main(String[] args) {
                    Vehicle car = new Car();
                    Vehicle bike = new Bike();
                    AirUnit plane = new Plane();

                    ArrayList<Vehicle> vehicles = new ArrayList();
                    ArrayList<AirUnit> airUnites = new ArrayList();
                    airUnites.add(plane);

                    vehicles.add(car);
                    vehicles.add(bike);


                    // should show compile error because HighWay is expecting something
                    // that implements Vehicle but it is now showing any errors
                    // until I run the app and it breaks in the loop.
                    HighWay<Vehicle> highWay = new HighWay(airUnites);
                    highWay.moveTheVehicles();
                }
            }

Answer 1

问题在于，编译器在声明要实例化的HighWay类型时会测试该类型。 如果您告诉它您使用的是哪种类型，那么它将抱怨，例如

HighWay<Car> highWay = new HighWay<> (airUnites);

会导致错误，因为airUnites不是汽车列表，或者

HighWay<Plane> highWay = new HighWay<> (airUnites);

也会失败，因为“平面”不扩展“载具”，因此不匹配您指定的约束。 但是由于您未指定要创建的高速公路的类型，因此它会关闭常规类型检查。 因此，它应该发出警告，告诉您应该指定类型，尽管您可能已禁用警告（请在IDE中检查编译器设置，以查看是否为这种情况-我不确定如何这样做是因为我不使用IntelliJ）。

Answer 2

这是因为您没有在声明highWay时声明要使用的泛型类型：

HighWay highWay = new HighWay(airUnites);

这将创建一个非泛型类型，其中所有Object都使用Object ，而您必须正确使用它。 最好想到这样说：

HighWay<Object> highWay = new HighWay<>(airUnites);