java -- 泛型

泛型

• 泛型语法：ArrayList<E> list = new ArrayList<E>();
  • 表示存放在list集合中的类型是E类型
  • 若编译器发现添加的类型不符合要求，则报错
• 增强for 遍历集合list时，可以直接取出AA类，无需使用Object类取出
• 自定义泛型
  • 泛型类

    • public class generic {
          public static void main(String[] args) {
              Person<String> person = new Person<String>("aabbccdd");
              /*
              可以理解为：
                  class Person<String>{
                      String s ;
      
                      public Person(String s){
                          this.s = s;
                      }
      
                      public String function(){
                          return s;
                      }
      }
               */
      
              Person<Integer> person1 = new Person<Integer>(11223344);
      
          }
      }
      
      
      
      
      class Person<E,V,T>{
          /*
                  静态修饰不可以使用泛型，静态与类相关，类加载时，对象还未创建
              如果静态方法和静态属性使用了泛型，则JVM无法完成初始化，
              因为标识符E，V，T需要在创建对象时，才定义类型
          */
      
          E s ; //E表示s的数据类型，可以在创建person类对象的时候定义该类型
          T[];  //使用泛型的数组，不能初始化，只能定义，因为在new 时，不知道开辟的空间
          
          
          
          public Person(E s){//E也可以作为参数类型
              this.s = s;
          }
          public E function(){//E可以作为返回类型
              return s;
          }
      }
      
      

  • 泛型接口
    • 静态成员不能使用泛型
    • 泛型接口的类型，在继承接口或实现接口的时候确定
    • 没有指定类型，则默认Object
  • 泛型方法
    • 可以定义在普通类中，也可以定义在泛型类中

    • class AA{//普通类的泛型方法
          public void func01(){} //普通方法
          public <E,V> void func02(E e){} //泛型方法
          public <E,V> void func022(E e,V v){} //泛型方法
      }
      class BB<M,R> {//泛型类的泛型方法
          public void func03(){} //普通方法
          public<E,V> void func04(E e,V v){} //泛型方法,可以使用自己声明的泛型
          public<E> void func044(E e,M m){} //泛型方法，可以使用自己声明的泛型和类声明的泛型
          public void func044(M m){} //泛型方法，可以使用类声明的泛型
      }

• 泛型继承和通配符
  • 泛型不具备继承性
    • List<Object> list = ArrayList<String>(); --》不支持此写法
    • 可以通过通配符达成目的
    • 

  • 通配符

    • <?> ：支持任意泛型类型

    • < ? extends A > ：支持A类以及A类的子类，规定了泛型的上限

    • <? super A > ：支持A类以及A类的父类，不限于直接父类，规定了泛型的下限

小项目

                坦克大战