package polymorphism;

import polymorphism.cycle.*;

public class E01_Upcasting {
    public static void ride(Cycle c) {}

    public static void main(String[] args) {
        
        ride(new Cycle()); // No upcasting
        ride(new Unicycle()); // Upcast
        ride(new Bicycle()); // Upcast
        ride(new Tricycle()); // Upcast
            
    }
}



//: polymorphism/cycle/Cycle.java
package polymorphism.cycle;
public class Cycle {
} ///:~
//: polymorphism/cycle/Unicycle.java
package polymorphism.cycle;
public class Unicycle extends Cycle {
} ///:~
//: polymorphism/cycle/Bicycle.java
package polymorphism.cycle;
public class Bicycle extends Cycle {
} ///:~
//: polymorphism/cycle/Tricycle.java
package polymorphism.cycle;
public class Tricycle extends Cycle {
}

三个报错说The method ride(Cycle) in the type E01_Upcasting is not applicable for the
 arguments (Tricycle)类似的话

在线等啊，大神们

你这不是上转型，自然是类型不一致。
ride(new Cycle()); // No upcasting
Cycle unicycle = new Unicycle();
ride(unicycle ); // Upcast
...