Advertisement
NLinker

Java typing is unsound

May 2nd, 2025
369
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Java 0.46 KB | Pets | 0 0
  1. class Animal {}
  2.  
  3. class Cat extends Animal {
  4.     void myaw() {
  5.         System.out.println("myaw!");
  6.     }
  7. }
  8.  
  9. class Dog extends Animal {
  10.     void gav() {
  11.         System.out.println("dog!");
  12.     }
  13. }
  14.  
  15.  
  16. public class Main {
  17.     public static void main(String[] args) {
  18.         Cat[] cats = { new Cat(), new Cat() };
  19.         Animal[] animals = cats;
  20.         animals[0] = new Dog();
  21.         for (Cat cat: cats) {
  22.             cat.myaw();
  23.         }
  24.     }
  25. }
  26.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement