Czy domyślne metody Javy 8 łamią kompatybilność źródeł?

Ogólnie rzecz biorąc, kod źródłowy Javy był zgodny z forward. Do Javy 8, o ile wiem, obie skompilowane klasy i source były kompatybilne z późniejszymi wydaniami JDK / JVM. [Aktualizacja: to nie jest poprawne, patrz komentarze re "enum", itp, poniżej.] Jednak po dodaniu domyślnych metod w Javie 8 wydaje się, że już tak nie jest.

Na przykład, Biblioteka, której używam, ma implementację java.util.List, która zawiera List<V> sort(). Metoda ta zwraca kopię zawartości posortowanej listy. Ta biblioteka, wdrożona jako zależność od pliku jar, działała dobrze w projekcie budowanym przy użyciu JDK 1.8.

Jednak później miałem okazję przekompilować samą bibliotekę używając JDK 1.8 i Okazało się, że biblioteka już nie kompiluje: klasa List-implementująca z własną metodą sort() jest teraz w konflikcie z domyślną metodą Java 8 java.util.List.sort(). Domyślna metoda Java 8 {[5] } sortuje listę w miejscu (zwraca void); Moja biblioteka sort() metoda-ponieważ zwraca nową posortowaną listę-ma niezgodny podpis.

Więc moje podstawowe pytanie brzmi:

• czy JDK 1.8 nie wprowadza niekompatybilności kodu źródłowego Javy ze względu na domyślne metody?

Także:

• czy to pierwsza taka niezgodna zmiana?
• czy było to rozważane lub omawiane, gdy domyślne metody były projektowane i wdrażane? Czy jest to gdzieś udokumentowane?
• był ( małe) niedogodności a korzyści?

Poniżej znajduje się przykład kodu, który kompiluje i działa pod 1.7 i działa pod 1.8-ale nie kompiluje się pod 1.8:

import java.util.*;

public final class Sort8 {

    public static void main(String[] args) {
        SortableList<String> l = new SortableList<String>(Arrays.asList(args));
        System.out.println("unsorted: "+l);
        SortableList<String> s = l.sort(Collections.reverseOrder());
        System.out.println("sorted  : "+s);
    }

    public static class SortableList<V> extends ArrayList<V> {

        public SortableList() { super(); }
        public SortableList(Collection<? extends V> col) { super(col); }

        public SortableList<V> sort(Comparator<? super V> cmp) {
            SortableList<V> l = new SortableList<V>();
            l.addAll(this);
            Collections.sort(l, cmp);
            return l;
        }

    }

}

Poniższy kod pokazuje, że kod jest kompilowany (lub nie) i jest uruchamiany.

> c:\tools\jdk1.7.0_10\bin\javac Sort8.java

> c:\tools\jdk1.7.0_10\bin\java Sort8 this is a test
unsorted: [this, is, a, test]
sorted  : [this, test, is, a]

> c:\tools\jdk1.8.0_05\bin\java Sort8 this is a test
unsorted: [this, is, a, test]
sorted  : [this, test, is, a]

> del Sort8*.class

> c:\tools\jdk1.8.0_05\bin\javac Sort8.java
Sort8.java:46: error: sort(Comparator<? super V>) in SortableList cannot implement sort(Comparator<? super E>) in List
                public SortableList<V> sort(Comparator<? super V> cmp) {
                                       ^
  return type SortableList<V> is not compatible with void
  where V,E are type-variables:
    V extends Object declared in class SortableList
    E extends Object declared in interface List
1 error