為什么以下不起作用？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;}我的理解是，通用方法/類/接口將被編譯為單個類文件，其中類型參數被替換為最合適的下限（在上述情況下為整數）。Java 環境：java 11.0.4 2019-07-16 LTS
2 回答
慕虎7371278
TA貢獻1802條經驗 獲得超4個贊
我的理解是，通用方法/類/接口將被編譯為單個類文件，其中類型參數被替換為最合適的下限
您的理解是正確的，但編譯器旨在更智能地處理泛型。如果編譯器的設計完全按照您所描述的方式設計，那么泛型的意義何在？我可以寫一個方法Integer來代替。不需要泛型，因為編譯器只會替換我擁有的任何類型參數Integer。
您已指定它T必須是Integer或 的子類Integer。想想當T是 的子類時的情況Integer，下面的賦值仍然有效嗎？不會的！
t = Integer.valueOf(2); // you are assigning an instance of a superclass to a subclass variable
您可能會爭辯說Integer不能有任何子類final，但編譯器并不是為了檢查final這種情況下類的性質而設計的。在這里用作Integer界限可能意味著它reassign根本不應該是通用的。
編譯器做的另一件事是在必要時插入強制轉換，但這與這個問題并不真正相關。
胡說叔叔
TA貢獻1804條經驗 獲得超8個贊
它不起作用的原因是編譯器無法證明它T實際上是T. 整數在這里是一個壞例子，因為它是最終的，沒有人可以擴展它，但編譯器不夠智能，無法知道這一點并對其進行推理。
假設您有以下內容
class Foo{
}
class Bar extends Foo {
}
你像這樣調用重新分配
reassign(new Bar());
允許重新分配的地方
<T extends Foo> T reassign(T t){
t = new Foo();
return t;
}
那么這相當于說
Bar b = new Foo()
這當然是無效的
添加回答
舉報
0/150
提交
取消