【永恒的瞬间】
☜Give me hapy ☞

1           泛型 (Generic)

1.1          说明

      增强了 java 的类型安全,可以在编译期间对容器内的对象进行类型检查,在运行期不必进行类型的转换。而在 j2se5 之前必须在运行期动态进行容器内对象的检查及转换

减少含糊的容器,可以定义什么类型的数据放入容器

ArrayList<Integer> listOfIntegers; // <TYPE_NAME> is new to the syntax

Integer integerObject;

listOfIntegers = new ArrayList<Integer>(); // <TYPE_NAME> is new to the syntax

listOfIntegers.add(new Integer(10)); // 只能是 Integer 类型

integerObject = listOfIntegers.get(0); // 取出对象不需要转换

1.2          用法

声明及实例化泛型类:

HashMap<String,Float> hm = new HashMap<String,Float>();

// 不能使用原始类型

GenList<int> nList = new GenList<int>();  // 编译错误

J2SE 5.0 目前不支持原始类型作为类型参数 (type parameter)

定义泛型接口:

public interface GenInterface<T> {

    void func(T t);

}

定义泛型类:

 

public class ArrayList<ItemType> { ... }

public class GenMap<T, V> { ... }

1

public class MyList<Element> extends LinkedList<Element> {

       public void swap(int i, int j) {

              Element temp = this.get(i);

              this.set(i, this.get(j));

              this.set(j, temp);

       }

     public static void main(String[] args)  {

              MyList<String> list = new MyList<String>();

              list.add("hi");

              list.add("andy");

              System.out.println(list.get(0) + " " + list.get(1));

              list.swap(0,1);

              System.out.println(list.get(0) + " " + list.get(1));

       }

}

2

public class GenList <T>{

       private T[] elements;

       private int size = 0;

       private int length = 0;

       public GenList(int size) {

              elements = (T[])new Object[size];

              this.size = size;

       }

       public T get(int i) {

              if (i < length) {

                     return elements[i];

              }

              return null;

       }

   public void add(T e) {

              if (length < size - 1)

                     elements[length++] = e;

       }

}

泛型方法:
public class TestGenerics{

       public <T> String getString(T obj) { // 实现了一个泛型方法

              return obj.toString();

       }
       public static void main(String [] args){

              TestGenerics t = new TestGenerics();

              String s = "Hello";

              Integer i = 100;

              System.out.println(t.getString(s));

              System.out.println(t.getString(i));

              }

}

1.3          受限泛型

   受限泛型是指类型参数的取值范围是受到限制的 . extends 关键字不仅仅可以用来声明类的继承关系 , 也可以用来声明类型参数 (type parameter) 的受限关系 . 例如 , 我们只需要一个存放数字的列表 , 包括整数 (Long, Integer, Short), 实数 (Double, Float), 不能用来存放其他类型 , 例如字符串 (String), 也就是说 , 要把类型参数 T 的取值泛型限制在 Number 极其子类中 . 在这种情况下 , 我们就可以使用 extends 关键字把类型参数 (type parameter) 限制为数字

示例

public class Limited<T extends Number> {

       public static void main(String[] args) {

              Limited<Integer> number;   // 正确

              Limited<String> str;       // 编译错误

       }

}

1.4          泛型与异常

 类型参数在 catch 块中不允许出现,但是能用在方法的 throws 之后。例:

import java.io.*;

interface Executor<E extends Exception> {

       void execute() throws E;

}

 public class GenericExceptionTest {

       public static void main(String args[]) {

              try {

                     Executor<IOException> e = new Executor<IOException>() {

                            public void execute() throws IOException{

                                   // code here that may throw an

                                   // IOException or a subtype of

                                   // IOException

                            }

                            };

                     e.execute();

              } catch(IOException ioe) {

                     System.out.println("IOException: " + ioe);

                     ioe.printStackTrace();

              }

       }

}

1.5          泛型的通配符 "?"

 "?" 可以用来代替任何类型 , 例如使用通配符来实现 print 方法。

public static void print(GenList<?> list) {})

1.6          泛型的一些局限型

 不能实例化泛型

 T t = new T(); //error 不能实例化泛型类型的数组

 T[] ts= new T[10];   // 编译错误

 不能实例化泛型参数数

 Pair<String>[] table = new Pair<String>(10); // ERROR

 类的静态变量不能声明为类型参数类型

 public class GenClass<T> {

      private static T t;    // 编译错误

 }

泛型类不能继承自 Throwable 以及其子类

public GenExpection<T> extends Exception{}    // 编译错误

不能用于基础类型int

 Pair<double> //error

 Pair<Double> //right

 2           增强循环 (Enhanced for Loop)

 旧的循环

LinkedList list = new LinkedList();             

list.add("Hi");

list.add("everyone!");

list.add("Was");

list.add("the");

list.add("pizza");

list.add("good?");          

for (int i = 0; i < list.size(); i++)

       System.out.println((String) list.get(i));

// 或者用以下循环

//for(Iterator iter = list.iterator(); iter.hasNext(); ) {

//Integer stringObject = (String)iter.next();

// ... more statements to use stringObject...

//}

新的循环

LinkedList<String> list = new LinkedList<String>();         

list.add("Hi");

list.add("everyone!");

list.add("Was");

list.add("the");

list.add("pizza");

list.add("good?");          

for (String s : list)

       System.out.println(s);

很清晰、方便,一看便知其用法

3           可变参数 (Variable Arguments)

 实现了更灵活的方法参数传入方式, System.out.printf 是个很好的例子

用法: void test(Object … args)

 一个很容易理解的例子

public static int add(int ... args){

       int total = 0;   

       for (int i = 0; i < args.length; i++)

              total += args[i];     

       return total;

}

public static void main(String[] args){

       int a;

       a = Varargs.add(1, 2, 3, 4, 5, 6, 7, 8, 9, 10);

       System.out.println(a);

}

4           自动实现装箱和解箱操作 (Boxing/Unboxing Conversions)

 说明:实现了基本类型与外覆类之间的隐式转换。基本类型至外覆类的转换称为装箱,外覆类至基本类型的转换为解箱。这些类包括

Primitive Type     Reference Type

 boolean           Boolean

byte              Byte

char              Character

short             Short

int               Integer

long              Long

float              Float

double            Double

例如,旧的实现方式

Integer intObject;

int intPrimitive;

ArrayList arrayList = new ArrayList();

intPrimitive = 11;

intObject = new Integer(intPrimitive);

arrayList.put(intObject); // 不能放入 int 类型,只能使 Integer

新的实现方式

int intPrimitive;

ArrayList arrayList = new ArrayList();

intPrimitive = 11;

// 在这里 intPrimitive 被自动的转换为 Integer 类型

arrayList.put(intPrimitive);

5           静态导入 (Static Imports)

 很简单的东西,看一个例子:

没有静态导入

Math.sqrt(Math.pow(x, 2) + Math.pow(y, 2));

 有了静态导入

 import static java.lang.Math.*;

 sqrt(pow(x, 2) + pow(y, 2));

其中import static java.lang.Math.*;就是静态导入的语法,它的意思是导入Math类中的所有static方法和属性。这样我们在使用这些方法和属性时就不必写类名。 需要注意的是默认包无法用静态导入,另外如果导入的类中有重复的方法和属性则需要写出类名,否则编译时无法通过。

 6          枚举类(Enumeration Classes)

  用法:public enum Name {types, ….}

 简单的例子:

 public enum Colors {Red, Yellow, Blue, Orange, Green, Purple, Brown, Black}

 public static void main(String[] args){

     Colors myColor = Colors.Red;

    System.out.println(myColor);

 } 又一个简单例子:

import java.util.*;

enum OperatingSystems {windows, unix, linux, macintosh}

public class EnumExample1 {

    public static void main(String args[])  {

        OperatingSystems os; 
        os = OperatingSystems.windows;

        switch(os) {

            case windows:

                System.out.println(“You chose Windows!”);

                break;

            case unix:

                System.out.println(“You chose Unix!”);               

 

                                     break;

            case linux:

                System.out.println(“You chose Linux!”);

                break;

            case macintosh:

                System.out.println(“You chose Macintosh!”);

                break;

            default:

 

                System.out.println(“I don’t know your OS.”);

                break; 
        }

 

    }

 

应运enum简写的例子:

 import java.util.*;

 public class EnumTest {

   public static void main(String[] args) {

       Scanner in = new Scanner(System.in);

       System.out.print("Enter a size: (SMALL, MEDIUM, LARGE, EXTRA_LARGE) ");       String input = in.next().toUpperCase();

      Size size = Enum.valueOf(Size.class, input); 
System.out.println("size=" + size); 
      System.out.println("abbreviation=" + size.getAbbreviation());

      if (size == Size.EXTRA_LARGE)

         System.out.println("Good job--you paid attention to the _.");    }

 }

enum Size

 {

    SMALL("S"), MEDIUM("M"), LARGE("L"), EXTRA_LARGE("XL");

   private Size(String abbreviation) { this.abbreviation = abbreviation; }

   public String getAbbreviation() { return abbreviation; }

private String abbreviation;

}

enum 类中拥有方法的一个例子:

 enum ProgramFlags {  

    showErrors(0x01),

     includeFileOutput(0x02),

     useAlternateProcessor(0x04);

     private int bit;

     ProgramFlags(int bitNumber){

         bit = bitNumber;
     }

      public int getBitNumber()   {

       return(bit);

     }

 }

 public class EnumBitmapExample { 

    public static void main(String args[])   

        ProgramFlags flag = ProgramFlags.showErrors;         System.out.println(“Flag selected is: “ +    flag.ordinal() +

 “ which is “ +  flag.name());  }

 }

 7          元数据(Meta data)

  http://www-900.ibm.com/developerWorks/cn/java/j-annotate1/

 http://www-900.ibm.com/developerworks/cn/java/j-annotate2.shtml

 8          Building Strings(StringBuilder )
JDK5.0中引入了StringBuilder类,该类的方法不是同步(synchronized)的,这使得它比StringBuffer更加轻量级和有效。

 9          控制台输入(Console Input)

 JDK5.0之前我们只能通过JOptionPane.showInputDialog进行输入,但在5.0中我们可以通过类Scanner在控制台进行输入操作

    例如在1.4中的输入

    String input = JOptionPane.showInputDialog(prompt);

int n = Integer.parseInt(input);

double x = Double.parseDouble(input);  

s = input;  

5.0中我们可以  

Scanner in = new Scanner(System.in);

System.out.print(prompt);

int n = in.nextInt();

double x = in.nextDouble();

String s = in.nextLine();

 10      Covariant Return Types( 不晓得怎么翻译)JDK5 之前我们覆盖一个方法时我们无法改变被方法的返回类型,但在JDK5中我们可以改变它
例如1.4中我们只能 public Object clone() { ... }
Employee cloned = (Employee) e.clone();

 但是在5.0中我们可以改变返回类型为Employee

 public Employee clone() { ... }

...

Employee cloned = e.clone();


紅色斜體字在程式碼實作時須自行替換。橘色 [] 表示非必要可省略。
請注意,如果你直接拷貝程式碼準備跑跑看,你必須將全型空白(排版用)轉為半形空白。請使用 IDE 工具提供的替代功能。
*********************************************************

泛型(Generics)  

1. Generics 可提供 compile-time type 檢查。
2. 泛型的使用:
 ◇ 類別 (註:介面泛型類似類別泛型,此處不作介紹)
 •定義泛型 Shy
  A> [class-modifiers] class GenericsName<T1 [, T2, T3, ...]> { ...... }
   泛型由泛型名稱(generic type name)、角括號 "<>"、包含在角括號內的型態參數(type parameter)組成。
   在角括號 "<>" 內的型態參數( Tx ) 須為某種參考型態。

   [範例]
1
2
3
4
5
6
7
8
9
10
11
12
   class MyHashTable<Key, Value> {  // MyHashtable 稱為 generic type name,Key 及 Value 為 type parameter
                 ......
                 Value put(Key k, Value v) {...}
                 Value get(Key k) {...}
               }
               class Demo {
                 public static void main(String[] args) {
                   MyHashTable<Integer, String> h = new MyHashTable<Integer, String>( );
                   h.put(new Integer(0), "value");
                   ......
                 }
               }
            

  B> 泛型類別(/介面)可被繼承(/實作),子類別(實作介面)無論是否宣告父類別(介面)的型態參數皆會繼承型態參數,並且可以宣告新的型態參數。
   子類別若沒有宣告父類別(/介面)的全部型態參數,則繼承的型態參數會自動變為 Object 型別。 (註:參考偶像良葛格的筆記) (以上這段請見下面 Duncan版主的更正)
    [範例]
1
2
3
4
5
6
    class MyGenericsSuper<T1, T2> {
                  ......
                }
                class MyGenericsSub<T1, T2, T3> extends MyGenericsSuper<T1, T2> {
                  ......
                }
            


    [範例]
1
2
    interface MyGenericsI<T1, T2> { /* ...... */  }
                class MyGenericC<T1, T2> implements MyGenericsI<T1, T2> { /* ...... */ }
            


 •宣告/建立泛型物件(Instantiating a Generic Type) Shy
  A> 宣告泛型物件
   1> concrete parameterized type
    須使用泛型名稱(generic type name),後面加上角括號"<>",角括號"<>" 內須以 class 或 interface 名稱取代泛型宣告的型態參數(type parameter)來指定泛型真正的使用型態。

    [範例] concrete parameterized type
1
2
3
4
5
    Vector<String>       // Vector<String> 稱為 parameterized types
                Seq<Seq<A>>
                Seq<String>.Zipper<Integer>
                Collection<Integer>
                Pair<String, String>
            


    [範例]
1
    LinkedList<LinkedList<String>> texts
            


   2> wildcard type & bounded wildcard
    a> wildcard type (通配型)
     角括號內若使用問號 "?" 而不是 class 或 interface 名稱,表示宣告泛型型別為通用型別,可使用任何的參考型態。
      "?" 表示未知型態(unknown type)。
    b> bounded wildcard (有限制的通配型)
     wildcard type 可限制型別的範圍(bounds)。
     使用 extends 關鍵字可指定欲使用的型態必須是某個型別(介面或類別)或其衍生型別。
     使用 super 關鍵字指定使用某個型別(介面或類別)及其父型別。
     使用 "&" 符號可作多重限制(Multiple bounds)。

     [範例]
1
     MyGenericsClass<? super Integer> obj;  // 只接受 Integer 及其父類別型態的物件
            


     [範例] can create a variable of type Matrix<Integer> or Matrix<Float>,
1
     public class Matrix<V extends Number> { ...... }
            


     [範例]
1
     class C<T extends Comparable<? super T> & Serializable>
            


     [範例]
1
2
3
4
5
6
7
8
     interface ConvertibleTo<A> {
                   A convert();
                 }
                 class ReprChange<A implements ConvertibleTo<B>, B implements ConvertibleTo<A>> {   // error, implements 須改為 extends
                   A a;
                   void set(B x) { a = x.convert(); }
                   B get() { return a.convert(); }
                 }
            

   3> raw type
    宣告泛型物件只使用泛型名稱(generic type name),則預設會使用 Object 型別,使用此類物件須自行轉換型態,且編譯器會發出 warning 訊息。
    [註] 原生類型:raw type,指未使用泛型,如 Collection、ArrayList 等 Java 5 之前的舊形式,或指僅使用泛型名稱(generic type without type arguments)。
      Java Language Specification 第 3 版指出以後的版本可能會禁止使用 raw type。

    [範例]
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
    class MyGenerics<T> {
                  T value;
                  void setter(T value) {
                    this.value = value;
                  }
                  T getter( ) {
                    return value;
                  }
                }
             
                class MyGenericsDemo {
                  public static void main(String[] args) {
                    MyGenerics<Integer> myObj1 = new MyGenerics<Integer>( );  // 使用  parameterized type
                    myObj1.setter(new Integer(10));
                    System.out.println(myObj1.getter( )) ;    // 10
             
                    MyGenerics myObj2 = new MyGenerics( );  // 使用 raw type
                    myObj2.setter((Object)new Integer(10));  // warning: [unchecked] unchecked call to setter(T) as a member of the raw type MyGenerics
                    Integer i = (Integer) myObj2.getter( );
                    // System.out.println(i == myObj1);  // Error: incomparable types: java.lang.Integer and MyGenerics
                    // System.out.println(i == myObj2);  // Error: incomparable types: java.lang.Integer and MyGenerics<java.lang.Integer>
                    System.out.println(myObj2.getClass( ) == myObj1.getClass( ));  // true
                  }
                }
            

  B> 建立泛型物件須使用 new 關鍵字,並指定型態參數的值(values of the type parameters)。此種指定值的型態參數稱為 parameterized type。

   [範例]
1
   MyGenericClass<? extends java.lang.Number> obj = new MyGenericClass<Integer>( );  // Bounded wildcard
            


   [範例]
1
2
3
4
   LinkedList<String> myStrings;    // A variable of type LinkedList<String>
               myStrings = new LinkedList<String>( );
               或
               LinkedList<String> myStrings = new LinkedList<String>( );  //define an object when you define the variable
            


 ◇ methods 使用泛型
  [MethodModifiers] [TypeParameters] ResultType MethodName(...) [throws ....] ;{ ... }

 不論 class(interface) 是否宣告泛型,methods 皆可使用泛型。

 [範例]
1
2
3
4
5
6
7
8
 // T -- return type, <T>-- 指明 agrument 的傳入型態
             public <T>  T  ifThenElse(boolean b, T first, T second) {
               return b ? first : second;
             }
             ......
             String s = ifThenElse(true, "a", "b");   // a
             Integer i = ifThenElse(false, new Integer(1), new Integer(2));  //2
             //String s = ifThenElse(b, "PI", new Float(3.14));  // Error
            


 [範例]
1
2
3
 public static <T, S extends T> void copy (List <T> dest, List <S> src) { ...... } ;
             或
             public static <T> void copy (List <T> dest, List <? extends T> src) { ...... } ;
            


 [範例]
1
2
3
4
5
6
7
8
9
10
11
12
 public class M {
              public static <T extends Comparable> T minimum(T a, T b) {
                   if(a.compareTo(  b) <= 0) return a;
               else return b;
                }
               public static void main(String[] args) {
                 Integer b1  = new Integer(2);
                 Integer b2  = new Integer(5);
                 Integer min = minimum(b1, b2);
                 System.out.println("Minimum of (2,5) : " + min);
               }
             }
            


 [範例]
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 public <T extends Animal> void printAnimals(Collection <T> animals) {  // Version 1
               for (Animal nextAnimal: animals) {
                 System.out.println(nextAnimal);
               }
             }
            ---------------------------------------------------------------------------------------------
             Version 1 的 method 內並未用到 T ,可改成 "wildcard" 型式
             public void printAnimals(Collection <? extends Animal> animals) {   // Version 2
               for (Animal nextAnimal: animals) {
                 System.out.println(nextAnimal);
               }
             }
            ---------------------------------------------------------------------------------------------
             method 內使用 Type Parameter
             public <T extends Animal> void printAnimals(Collection<T> animals) {  // Version 3
               for (T nextAnimal: animals) {
                 System.out.println(nextAnimal);
               }
             }
            ---------------------------------------------------------------------------------------------
             以 ? 取代 T 會造成錯誤
             public void printAnimals(Collection<? extends Animal> animals) {  // Version 4
               for (? nextAnimal: animals) {  // illegal start of expression
                 System.out.println(nextAnimal);
               }
             }
            


3. 泛型使用的注意事項 DeadDead
 A> static members 內不能使用 type parameters
  [範例]
1
2
3
4
5
6
7
8
  class C<T> {
                static void m( ) {
                  T t;  // Error: non-static class T cannot be referenced from a static context
                  }
                  static class D {
                      C<T> t;  // Error: non-static class T cannot be referenced from a static context
                  }
              }
            

 B> primitive types 不能使用在泛型
 C> "Naked" type parameters (指不包括角括號的型態參數,如 C<T>,指的是 T ) 不能做的事:
  不能用在鑄型(casts)、instanceof、或 new 運算上。
  不能使用在定義 class 時的 implements 或 extends 子句內
  不能用來建立物件,也不能用作父類型 (class Foo<T> extends T),不能用於類別實字(class literal)。

  [範例]
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
  import java.util.Hashtable;
             
              interface Registry {
                public void register(Object o);
              }
             
              class C<T> implements Registry {
                int counter = 0;
                Hashtable<Integer, T> values;
                public C( ) {
                  values = new Hashtable<Integer, T>( );
                }
                public void register(Object obj) {
                  values.put(new Integer(counter), (T)obj);  // warning: [unchecked] unchecked cast
                  counter++;
                }
              }
            


  [範例]
1
2
3
  Collection<String> cs = new ArrayList<String>;
              if ( cs instanceof Collection<String> )   {  ....  }   //illegal
              <T> T badCast(T t, Object o) { return (T)o };  // unchecked warning
            


 D> 異常型態(exception type)、列舉(enumeration)或匿名內部類(anonymous inner class)不能使用型態參數(type paramemter)。
  type variables 雖不允許使用在 catch 子句內,但可用在 methods 利用 throws 所丟出的例外清單中。

  如果 generic class 為 Throwable 的 subclass(直間或間接),會產生 compile-time error。因為 throw/catch mechanism 只能作用在 non-generic classes 上。

  [範例]
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
  import java.io.*;
              interface MyExecutor<E extends Exception> {
                void execute() throws E;
              }
              public class GenericExceptionTest {
                public static void main(String args[]) {
                  try {
                    MyExecutor<IOException> e = new MyExecutor<IOException>() {
                      public void execute() throws IOException {
                        // code here that may throw an IOException or a subtype of  IOException
                      }
                    };
                    e.execute();
                  } catch(IOException ioe) {
                    System.out.println("IOException: " + ioe);
                    ioe.printStackTrace();
                  }
                }
              }
            


 E> 泛型不是 covariant
  如果 MySub 是 MySuper 的子類型,當 MyG 作泛型類別宣告時,MyG<MySub>不是 G<MySuper>的子型態(subtype)。
  例 List<Object> 不是 List<String> 的父型態。

  [範例]
1
2
3
4
5
  Integer[] intArray = new Integer[10];
              Number[] numberArray = intArray;  // OK
              List<Integer> intList = new ArrayList<Integer>();
              List<Number> numberList = intList;  // error
              numberList.add(new Float(3.1415));  // error
            


 F> 通配泛型(type wildcards) 雖可檢索元素(retrieve elements)與移除元素,但不能增加元素。

  [範例]
1
2
3
4
5
6
  List<Integer> li = new ArrayList<Integer>( );
              li.add(new Integer(42));
              List<?> lu = li;  // OK
              System.out.println(lu.get(0));
              //lu.add(new Integer(43));  // error
              lu.clear( );  // OK, don't depend on the compiler having to know anything about the type parameter of lu
            


 G> 泛型在進行編譯時會進行 erasure 的過程,會刪除所有的泛型資訊。

  [範例] 以下的範例會產生錯誤:duplicate class
1
2
3
4
5
6
7
  class ShoppingCart<T extends DVD>{
                ……
              }
             
              class ShoppingCart<T extends VideoTape>{
                ……
              }
            


  [範例] 以下的範例會產生錯誤:name crash, have the same erasure
1
2
3
4
5
6
7
8
  class TwoForOneSpecial<T extends Rentable, W extends Rentable> {
                public void add(T newRentable) {
                  ……
                }
                public void add(W newRentable) {
                  ……
                }
              }
            


  [範例]
1
2
3
4
5
6
7
  public class GenericClass<E> {
                  ……
                  public Class<E> getElementType() {
                      return E.class;  // error
                  }
                  ……
              }
            


  [範例]
1
2
3
  Vector<String> x = new Vector<String>();
              Vector<Integer> y = new Vector<Integer>();
              return x.getClass() == y.getClass();  // true
            


  [範例]
1
2
3
  LinkedList<Float> floatList = new LinkedList<Float>( );
              List<Float> moreFloats = floatList;  // legal
              LinkedList<Number> numberList = floatList;  // error
            


  [範例] parameterized type 可 cast 為 raw type
1
2
3
4
  List<Integer> ints = new LinkedList<Integer>( );
              List oldList = ints;  // We can widen (due to backwards compatibility)
              oldList.add("Hello");  // This line should be illegal, but it happily compiles and runs
              Integer i = ints.get(0);  // compile warning, runtime error -- ClassCastException at runtime
            


  [範例] Breaking type safety with reflection
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
  import java.util.ArrayList;
              import java.util.List;
             
              public class BadIdea {
                private static List<Integer> ints = new ArrayList<Integer>( );
                public static void fillList(List<Integer> list) {
                  for (Integer i : list) {
                    ints.add( i );
                  } // for
                } // fillList(List<Integer> list)
             
                public static void printList( ) {
                  for (Integer i : ints) {
                    System.out.println( i );
                  } // for
                } // printList( )
             
                public static void main(String[] args) {
                  List<Integer> myInts = new ArrayList<Integer>( );
                  myInts.add(1);
                  myInts.add(2);
                  myInts.add(3);
                  System.out.println("Filling list and printing in normal way...");
                  fillList(myInts);
                  printList( );
             
                  try {
                    List list = (List)BadIdea.class.getDeclaredField("ints").get(null);
                    list.add("Illegal Value!");
                  } catch (Exception e) {
                    e.printStackTrace( );
                  } // try-catch
                  System.out.println("Printing with illegal values in list...");
                  printList( );
                } //main()
              }
            


 H> 陣列無法使用泛型,除非是一個通配符類型(unbounded wildcard)。
   可以宣告型態變數(concrete parameterized type)的陣列,但是不能使用 new 建立陣列。如 new T[100],因為型態變數會被 erasure。因此你只能指派此種陣列為 null。
或是使用反射機制和類別實字(ClassName.class)解決。

  [範例]
1
2
3
4
5
6
  List<String> [] lsa = new List<String>[10];  // 錯誤
                      = new List<?>[10];   // OK
              Object o = isa;
              Object[] oa = (Object[])o;
              oa[1] = new ArrayList<Integer>( );
              String s = lsa[1].get( );  // error
            


***********************************************
看完上面的文章之後,想測驗自己對 Generics 的了解,可以試試看下面的小測驗 Thumbs up
http://www.grayman.de/quiz/java-generics-en.quiz

Thumbs up 如果你有任何疑問,你幾乎可以在下列這個網站找到你要的解答 Thumbs up
http://www.langer.camelot.de/GenericsFAQ/JavaGenericsFAQ.html#Fundamentals%20of%20Java%20Generics

***********************************************
參考
Generics FAQs
了解泛型
Generic Types, Part 1
Erasure and Accidental Compile-Time Conflicts
Not wild enough
Wildcards in the Generics Specification
http://www.devx.com/Java/Article/16024
http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf --Sun 的教學
http://www.davidflanagan.com/blog/000027.html --Generics Glossary

無痛苦 generics
http://www-106.ibm.com/developerworks/java/library/j-djc02113.html
http://www-106.ibm.com/developerworks/java/library/j-djc03113.html
http://www-106.ibm.com/developerworks/java/library/j-djc04093.html
http://www-106.ibm.com/developerworks/java/library/j-djc05133.html

posted on 2007-02-02 20:29 ☜♥☞MengChuChen 阅读(1122) 评论(0)  编辑  收藏 所属分类: JavaBasic

只有注册用户登录后才能发表评论。


网站导航: