ImmutableList不擴展List？

Question

當我深入探索ImmutableList的gs-collection源時，它不會延伸java.util.List。然而，javadoc類提到所有ImmutableList實現必須實現java.util.List。

爲什麼要問執行java.util.List而不是ImmutableList本身延長java.util.List？

Answer 1

爲什麼ImmutableList延伸List？

ImmutableCollection不延伸java.util.Collection（和ImmutableList不延伸java.util.List），因爲已經Collection突變等add()和remove()方法。如果不可變的集合具有這些方法，則它們總是必須拋出UnsupportedOperationException。對於不可變集合的用戶，將自動完成選項中的add()和remove()看作可調用方法會很奇怪。

爲什麼Javadoc強加一個合同，所有的ImmutableList實現也實現List？

歸結爲平等。 ImmutableList應該等於List，假定兩個列表具有相同順序的相同內容。 List.equals() imposes a Javadoc contract其中指出：

返回true當且僅當該指定的對象也是一個列表，兩者 列表具有相同的大小，並且在 元件的所有相應對的兩個列表是相等的。

這是什麼意思，「指定的對象也是一個列表？」我們可以在AbstractList.equals()看到它的意思是instanceof List。

public boolean equals(Object o) { 
    if (o == this) 
     return true; 
    if (!(o instanceof List)) 
     return false; 
    ... 
} 

因此，所有ImmutableList實現也必須實現List爲equals()以對稱的方式工作。不可變的集合工廠已經隱藏了實現細節，比如一個具有單個元素的不可變列表由ImmutableSingletonList實現。它還隱藏了List界面。

互操作

這種設計的好處是，ImmutableList可強制轉換爲List這是與現有的API的互操作很重要。

// Library method - cannot refactor the parameter type 
public void printAll(List<?> list) 
{ 
    for (Object each : list) 
    { 
     System.out.println(each); 
    } 
} 

ImmutableList<Integer> immutableList = Lists.immutable.with(1, 2, 3); 
List<Integer> castList = immutableList.castToList(); 
printAll(castList); 
// also works 
printAll((List<?>) immutableList); 

// throws UnsupportedOperationException 
castList.add(4); 

注：我在GS Collections開發。