爲什麼三元運算符不像帶有有界通配符的泛型？

Question

以下類定義了兩種方法，這兩種方法直觀地具有相同的功能。每個函數都被調用了兩個類型爲List<? super Integer>的列表和一個布爾值，它指定應將哪些列表分配給局部變量。

import java.util.List; 

class Example { 
    void chooseList1(boolean choice, List<? super Integer> list1, List<? super Integer> list2) { 
     List<? super Integer> list; 

     if (choice) 
      list = list1; 
     else 
      list = list2; 
    } 

    void chooseList2(boolean choice, List<? super Integer> list1, List<? super Integer> list2) { 
     List<? super Integer> list = choice ? list1 : list2; 
    } 
} 

據javac 1.7.0_45，chooseList1是有效的，而chooseList2不是。它抱怨：

java: incompatible types 
    required: java.util.List<? super java.lang.Integer> 
    found: java.util.List<capture#1 of ? extends java.lang.Object> 

我知道，查找包含三元運算符（… ? … : …）的表達式類型的規則是相當複雜的，但據我瞭解他們，它選擇了最具體的類型，這兩種第二個和第三個參數可以在沒有顯式轉換的情況下轉換。在這裏，這應該是List<? super Integer> list1，但它不是。

我希望看到一個解釋，爲什麼不是這種情況，最好是參考Java語言規範，並直觀地解釋如果沒有阻止會出現什麼問題。

Answer 1

此答案適用於爪哇7.

Java語言規範指出以下有關conditional operator (? :)

否則，第二和第三操作數分別爲類型S1和S2 的。設T1爲將拳擊 轉換爲S1所得到的類型，並且令T2爲將 將拳擊轉換爲S2所得到的類型。

條件表達式的類型是對lub（T1，T2）（§15.12.2.7）應用 捕獲轉換（第5.1.10節）的結果。

在表達式

List<? super Integer> list = choice ? list1 : list2; 

T1是List<capture#1? super Integer>和T2是List<capture#2? super Integer>。這兩個都有較低的界限。

This article詳細瞭解如何計算lub(T1, T2)（或join function）。讓我們從那裏

<T> T pick(T a, T b) { 
    return null; 
} 

<C, A extends C, B extends C> C test(A a, B b) { 
    return pick(a, b); // inferred type: Object 
} 

void tryIt(List<? super Integer> list1, List<? super Integer> list2) { 
    test(list1, list2); 
} 

一個例子，如果您使用的IDE和懸停在test(list1, list2)，你會發現返回類型爲

List<? extends Object> 

這是Java的類型推斷可以做到最好。如果list1是List<Object>而list2是List<Number>，則唯一可接受的返回類型是List<? extends Object>。由於必須覆蓋此案例，因此該方法必須始終返回該類型。

同樣在

List<? super Integer> list = choice ? list1 : list2; 

的lub(T1, T2)再次List<? extends Object>其捕獲轉換List<capture#XX of ? extends Object>。

最後，類型List<capture#XX of ? extends Object>的引用不能分配給類型爲List<? super Integer>的變量，因此編譯器不允許它。