如何限制抽象方法的实现的参数不能传入同一父类的其他子类对象？

[1oNflow]

最近在做停车场设计题遇到的问题。

我打算设计两个区域，自行车停车区域和汽车停车区域，两者不能混停，所以设计了两个父类 Area

abstract class Area {
    protected List<Vehicle> list;

    abstract public void add(Vehicle v);

}

和 Vehicle

abstract class Vehicle {
    abstract public void log();
}

然后自行车和汽车继承 Vehicle

class Car extends Vehicle {
    public void log() {
        System.out.println("Car");
    }
}

class Bike extends Vehicle {
    public void log() {
        System.out.println("Bike");
    }
}

然后两个停车区域继承 Area

class BikeArea extends Area {
    private List<Bike> list;

    public void add(Bike b) {
        list = new ArrayList<>();
        list.add(b);
    }
}

class CarArea extends Area {
    private List<Car> list;

    public void add(Car c) {
        list = new ArrayList<>();
        list.add(c);
    }
}

但是这里会报错，因为抽象方法的实现必须用同样的参数类型，也就是 Vehicle，但我想的是 BikeArea 这个类应该限制只能传入 Bike 的对象，但是不报错的写法

class BikeArea extends Area {
    private List<Vehicle> list;

    public void add(Vehicle v) {
        list = new ArrayList<>();
        list.add(v);
    }
}

就是 Bike 和 Car 都能加入，那区分两个具体 Area 的意义也没了，所以想问下有没有途径可以限制 BikeArea 的 add 方法只能添加 Bike 对象？或者是我的整体设计有问题？

[geelaw]

参考 .NET 的设计，你需要的是 IArea，派生 IArea<in T>，再派生 XArea。如果通过 IArea 的方法访问，则传入对象需要先判断类型，如果类型不匹配则抛出异常。

[1oNflow]

@geelaw 感谢回复，刚才修改尝试了一下，泛型继承的方法应该可以满足题目中的需求，非常感谢～