為什么以下不起作用？void execute() { Integer a = Integer.valueOf(1); a = reassign(a); D.log("a: " + a);}<T extends Integer> T reassign(T t) { t = Integer.valueOf(2); // error: incompatible types: Integer cannot be converted to T // t = (T) Integer.valueOf(2); // This works but with warning: [unchecked] unchecked cast return t;}<T extends Integer> T reassign2(T t, T anotherT) { t = anotherT; // This works without any warning. return t;}我的理解是，通用方法/類/接口將被編譯為單個(gè)類文件，其中類型參數(shù)被替換為最合適的下限（在上述情況下為整數(shù)）。Java 環(huán)境：java 11.0.4 2019-07-16 LTS
2 回答
慕虎7371278
TA貢獻(xiàn)1802條經(jīng)驗(yàn) 獲得超4個(gè)贊
我的理解是，通用方法/類/接口將被編譯為單個(gè)類文件，其中類型參數(shù)被替換為最合適的下限
您的理解是正確的，但編譯器旨在更智能地處理泛型。如果編譯器的設(shè)計(jì)完全按照您所描述的方式設(shè)計(jì)，那么泛型的意義何在？我可以寫一個(gè)方法Integer來代替。不需要泛型，因?yàn)榫幾g器只會(huì)替換我擁有的任何類型參數(shù)Integer。
您已指定它T必須是Integer或 的子類Integer。想想當(dāng)T是 的子類時(shí)的情況Integer，下面的賦值仍然有效嗎？不會(huì)的！
t = Integer.valueOf(2); // you are assigning an instance of a superclass to a subclass variable
您可能會(huì)爭(zhēng)辯說Integer不能有任何子類final，但編譯器并不是為了檢查final這種情況下類的性質(zhì)而設(shè)計(jì)的。在這里用作Integer界限可能意味著它reassign根本不應(yīng)該是通用的。
編譯器做的另一件事是在必要時(shí)插入強(qiáng)制轉(zhuǎn)換，但這與這個(gè)問題并不真正相關(guān)。
胡說叔叔
TA貢獻(xiàn)1804條經(jīng)驗(yàn) 獲得超8個(gè)贊
它不起作用的原因是編譯器無法證明它T實(shí)際上是T. 整數(shù)在這里是一個(gè)壞例子，因?yàn)樗亲罱K的，沒有人可以擴(kuò)展它，但編譯器不夠智能，無法知道這一點(diǎn)并對(duì)其進(jìn)行推理。
假設(shè)您有以下內(nèi)容
class Foo{
}
class Bar extends Foo {
}
你像這樣調(diào)用重新分配
reassign(new Bar());
允許重新分配的地方
<T extends Foo> T reassign(T t){
t = new Foo();
return t;
}
那么這相當(dāng)于說
Bar b = new Foo()
這當(dāng)然是無效的
添加回答
舉報(bào)
0/150
提交
取消