目標：主類中的 dst = src
我嘗試了各種組合將源引數復制到目標引數中，但找不到有效的組合。如何解決這個問題？
public class Bounds {
public static <T extends Number> void copy(Paar<? extends Number> src, Paar<? extends Number> dst) {
// src = (1, 2) dst = (1.1, 2.2)
T c1 = (T) src.p1;
T c2 = (T) src.p2;
dst.p1 = c1;
//Error: 'Type mismatch: cannot convert from T to capture#3-of ? extends Number'
dst.p2 = c2;
System.out.println("Src:" src);
System.out.println("Dst:" dst);
}
}
public class BoundsMain {
public static void main(String[] args) {
Integer[] iFeld = { 1, 2, 3 };
Number[] nFeld = { 1.1, 2.2, 3.3 };
Paar<Integer> src = new Paar<>(iFeld[0], iFeld[1]);
Paar<Number> dst = new Paar<>(nFeld[0], nFeld[1]);
System.out.println("src=" src "\ndst vor copy =" dst );
// src = (1, 2) dst = (1.1, 2.2)
Bounds.copy(src, dst);
System.out.println("src nach copy =" src);
System.out.println("dst nach copy =" dst);
// src = (1, 2) dst = (1.1, 2.2)
}
}
uj5u.com熱心網友回復：
它可以幫助為您的型別引數考慮多個有效的“值”，然后考慮該方法對您想到的所有值意味著什么。如果你發現至少有一個沒有意義——你現在明白為什么javac不能編譯你的代碼了。
你寫了：
<T extends Number> void copy(Paar<? extends Number> src, Paar<? extends Number> dst)
這個方法簽名有3 個完全不相關的型別變數：
T，它完全未使用，因此毫無意義，是可指定的（呼叫者可以根據需要顯式選擇 T 的值，如果不這樣做，系統將推斷它），并且有一個名稱，因此您可以在多個地方使用它。您在零個地方使用它（對泛型的強制轉換不算數，它不生成代碼，不檢查任何內容，也不轉換任何內容。它主要只是發出警告）。- 第一次使用
? extends Number. 在泛型術語中，a?等同于：組成一個新變數，給它這個系結，在此處使用該變數而不在其他任何地方使用該變數，并使其不可指定。 - 的第二種用途
? extends Number。
鑒于所有 3 個完全不相關，您的代碼不會在沒有瘋狂警告的情況下編譯，并且不會為您提供所需的型別安全：將第一個引數轉換為T是無意義的（也許 3 個中的第一個是Integer，第二個是Character- 這些型別不兼容！）
快速側邊欄：
這里有一種少數報告風格的替代解釋：您的意圖是將一種數字型別轉換為另一種數字型別copy的方法- 您希望它可以將 a作為源和 a作為目標傳遞，并且復制代碼將轉換source 中的位元組加倍，然后將它們分配給 paar。我可以看到這些完全不相關的任務（型別強制或斷言，與原始轉換）在你的大腦中被混淆為某種相似的事實。它們不是——它們完全不相關。但是在java中，它們碰巧使用了完全相同的語法（'cast'操作：。不要搞錯。這與在英語中這個詞一樣重要）Paar<Byte>Paar<Double>(SomeType) someExpr)arm既指身體部位，又指將槍遞給某人的行為。無關。完全地。我假設這不是你想要的。
讓我們解決您的問題
您只想鏈接源和目標。您想告訴編譯器在src和destPaar 上的型別變數之間必須存在某種關系，以便將值從一個復制到另一個不會出錯。
為此，我們顯然只需要一個引數，首先：
public static <T extends Number> void copy(Paar<T> src, Paar<T> dst) {
現在它已經可以正常編譯了，盡管您的main代碼仍然無法正常作業，我們稍后會修復它。上面的代碼說：有某種型別，我們將呼叫它T，但我們不知道它是什么。我們確實限制了它：它要么是 Number，要么是 Number 的某個子型別。幾乎就像這種方法有一百萬個版本——一個用于數字，一個用于它的每個子型別（并且鑒于它Number不是“密封的”，即任何人都可以撰寫代碼，extends Number理論上它是無限的，當然）。
關鍵是，只有一種型別 var，所以呼叫者可以選擇他們想要的任何型別，只要它是 Number 或其子型別，但是，他們只能選擇一種型別 -兩個 Paar物件都將其作為 T。因此，您根本無法Paar<Double>使用例如 a和 a呼叫此方法Paar<Integer>- 此時無法為 T 選擇任何有效的方法（泛型是不變的，意思是，Number在這里不起作用。只有確切的型別才可以）。
但這并不完全正確，不是嗎？有不同的型別仍然可以“作業” - 具體來說，如果源 Paar 的 T 是 dest paar 的 T 的子型別，那么它確實有效，如您的示例所示。所以我們需要一些細微的調整。你可以選擇一個，沒關系：
<T extends Number> void copy(Paar<T> src, Paar<? super T> dst)
<T extends Number> void copy(Paar<? extends T> src, Paar<T> dst)
任何一個都有效。這是在說：
呼叫者可以選擇一種型別。任何型別，只要它是 Number 或其子型別。然后，呼叫者就可以執行以下操作：
對于第一個版本：
- 對于第一個引數，傳遞一個
Paar物件，其 T 與為此方法呼叫選擇的物件完全匹配。T - 對于第二個引數，傳遞一個
Paar物件，其 T 與T為此方法呼叫所選擇的相同，或者它的任何超型別。
對于第二個版本：
- 對于第一個 arg 傳遞一個
Paar物件，其 T 要么正是T為此方法呼叫選擇的，要么是該 T 的任何子型別。 - 對于第二個引數，傳遞一個
PaarT 完全匹配的物件。
好訊息是，通常呼叫者不必顯式選擇一個 T，編譯器會推斷出一個“有效”的 T。他們可以根據需要明確選擇。
現在您的代碼可以作業了-如果您采用第一個想法，則Bounds.copy(src, dst)意味著編譯器會選擇IntegerT，然后呼叫會起作用：第一個 arg 必須完全正確Paar<Integer>（它是），第二個 arg 必須Paar<X>在 X 是 Integer的地方或其超型別之一。它是 -Number是 Integer 的超型別。因此，呼叫有效。請注意，您不需要對(T)復制代碼中的任何位置進行強制轉換！
在第二種情況下它也可以作業 - 編譯器將選擇Number，然后檢查第一個 arg 確實是 aPaar<Y>其中 Y 是 Number 或子型別（它是；Integer 是 Number 的子型別），如果第二個 arg 正好是Paar<Number>，它是。
轉載請註明出處，本文鏈接：https://www.uj5u.com/qiye/482084.html