當(dāng)前位置:
首頁 >
java泛型程序设计——约束与局限性
發(fā)布時(shí)間:2023/12/3
47
豆豆
生活随笔
收集整理的這篇文章主要介紹了
java泛型程序设计——约束与局限性
小編覺得挺不錯(cuò)的,現(xiàn)在分享給大家,幫大家做個(gè)參考.
【0】README
0.1) 本文描述+源代碼均 轉(zhuǎn)自 core java volume 1, 旨在理解 java泛型程序設(shè)計(jì) 的 約束與局限性 的知識(shí);
【1】 不能用基本類型實(shí)例化類型參數(shù)
1.1)不能用類型參數(shù)代替基本類型, 因此,沒有 Pair 只有 Pair;
1.2)其原因是:類型擦除, 擦除之后, Pair類含有 Object類型的域, 而Object 不能存儲(chǔ)double 值;
【2】運(yùn)行時(shí)類型查詢只適用于原始類型
2.1)虛擬機(jī)中的對象總有一個(gè)特定的非泛型類型。因此,所有的類型查詢只產(chǎn)生原始類型。
- 2.1.1)如, if( a instanceof Pair) // ERROR , 而 if( a instanceof Pair) // ERROR,
- 2.1.2)或強(qiáng)制類型轉(zhuǎn)換:
- Attention)要注意這個(gè)風(fēng)險(xiǎn), 無論何時(shí)使用instanceof 或涉及泛型類型的強(qiáng)制類型轉(zhuǎn)換表達(dá)式都會(huì)看到一個(gè)編譯器警告;
- 2.1.3)同樣的道理, getClass 方法總是返回原始類型, 如 (所以, 推薦用下面的方法來比較兩個(gè)對象是否是同一個(gè)類下的實(shí)例)
- 它們比較的結(jié)果是 true, 這是因?yàn)閮纱握{(diào)用 getClass 都將返回Pair.class
【3】不能創(chuàng)建參數(shù)化類型的數(shù)組
3.1)不能實(shí)例化參數(shù)化類型的數(shù)組, 如:
Pair<String>[] table = new Pair<String>[10]; //ERROR- 3.1.1)這有什么問題呢? 擦除之后, table 的類型是 Pair[], 把它轉(zhuǎn)換為 Object[]: Object[] objarry =table;
- 3.1.2)數(shù)組會(huì)記住他的原始類型: 如果存儲(chǔ)其他類型的元素, 就會(huì)拋出一個(gè) ArrayStoreException 異常;
- 3.1.3)不過對于泛型類型, 擦除會(huì)使得這種機(jī)制無效。 看以下賦值:
Conclusion)
- C1) 綜上, 出于以上原因, 不允許創(chuàng)建參數(shù)化類型的數(shù)組;
C2)需要說明的是, 只是不允許創(chuàng)建這些數(shù)組, 而聲明類型為 Pair[] 的變量是合法的, 不過不能用 new Pair[10] 初始化這個(gè)變量而已;
Annotation)A1)可以聲明通配類型的數(shù)組, 然后進(jìn)行類型轉(zhuǎn)換:
- A2)結(jié)果將是不安全的。 如果在 table[0] 中存儲(chǔ)一個(gè) Pair《Employee》, 然后 對 table[0].getFirst() 調(diào)用一個(gè) String 方法, 會(huì)得到一個(gè) ClassCastException 異常;
Hint) 如果需要收集 參數(shù)化類型對象,只有一種安全有效的方法:
使用 ArrayList:ArrayList<Pair<String>>;總結(jié)
以上是生活随笔為你收集整理的java泛型程序设计——约束与局限性的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 小米5米柚8下连接电脑版(米9连接电脑)
- 下一篇: java泛型程序设计——Varargs