/*驗證：
 *animals和dogs可以引用同一個數(shù)組
 *當animals引用數(shù)組時，數(shù)組元素為Animal類型
 *當dogs引用數(shù)組時，數(shù)組元素為Dog類型
*/
public class Animal{
  private void showClass(){
    System.out.println("數(shù)組元素為Animal類型");
  }
  public static void main(String[] args){
    //animals和dogs可以引用同一個數(shù)組
    Dog[] dogs = {new Dog(), new Dog()};
    Animal[] animals = dogs;
    //當animals引用數(shù)組時，數(shù)組元素為Animal類型
    animals[0].showClass();  
    //當dogs引用數(shù)組時，數(shù)組元素為Dog類型
    dogs[0].showClass();
    //不可通過父類型的數(shù)組引用向集合加入除子類型及其下層級的之外的元素（可通過編譯，運行過程出錯）
    animals[0] = new Animal(); 
  }
}
class Dog extends Animal{
  public void showClass(){
    System.out.println("數(shù)組元素為Dog類型");
  }
}

/*驗證：
 *animals無法引用dogs數(shù)組
 *
*/
import java.util.*;
public class Animal{
  public static void main(String[] args){
    //animals無法引用dogs數(shù)組
    ArrayList<Dog> dogs = new ArrayList<Dog>(); 
    ArrayList<Animal> animals = dogs;  /* 無法通過編譯 */
  }
}
class Dog extends Animal{
}

/*萬用字符
 *animals可以引用dogs集合
 *當animals引用集合時，集合元素為Dog類型
 *當dogs引用集合時，集合元素為Dog類型
 *無法通過animals對集合進行修改
 */
import java.util.*;
public class Animal{
  public void showClass(){
    System.out.println("集合元素為Animal類型");
  }
  public static void main(String[] args){
    //animals可以引用dogs數(shù)組
    ArrayList<Dog> dogs = new ArrayList<Dog>(); 
    dogs.add(new Dog());
    ArrayList<? extends Animal> animals = dogs;  
    //當animals引用集合時，集合元素為Dog類型
    animals.get(0).showClass();
    //當dogs引用集合時，集合元素為Dog類型
    dogs.get(0).showClass();
    //無法通過animals對集合進行修改(無法通過編譯)
    //animals.add(new Dog());
  }
}
class Dog extends Animal{
  public void showClass(){
    System.out.println("集合元素為Dog類型");
  }
}