Методы Java 8 по умолчанию нарушают совместимость источников?

обычно это был случай, когда исходный код Java был вперед совместим. До Java 8, насколько я знаю, оба скомпилированные классы и Источник были совместимыми с Позже с JDK/JVM в релизы. [Update: это неправильно, см. комментарии re 'enum' и т. д. Ниже.] Однако с добавлением методов по умолчанию в Java 8 это больше не так.

например, библиотека, которую я использую и реализацией java.util.List который включает в себя List<V> sort(). Этот метод возвращает копию содержимого отсортированного списка. Эта библиотека, развернутая как зависимость файла jar, отлично работала в проекте, построенном с использованием JDK 1.8.

однако позже мне пришлось перекомпилировать саму библиотеку с помощью JDK 1.8 и Я обнаружил, что библиотека больше не компилируется:List-реализация класса с собственным sort() метод теперь конфликтует с Java 8 java.util.List.sort() метод по умолчанию. В Java 8 sort() метод по умолчанию сортирует список на месте (возвращает void); метод-поскольку он возвращает новый отсортированный список - имеет несовместимую подпись.

Итак, мой основной вопрос:

• не вводит ли JDK 1.8 прямую несовместимость для исходного кода Java из-за методов по умолчанию?

также:

• это первое такое прямое несовместимое изменение?
• это рассматривалось или обсуждалось, когда методы по умолчанию, где разработан и реализован? Это где-нибудь задокументировано?
• была (правда мелкие) неудобства со скидкой против выгоды?

ниже приведен пример кода, который компилируется и выполняется под 1.7 и работает под 1.8 - но не компилируется под 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;
        }

    }

}

ниже показано, что этот код компилируется (или не выполняется) и запускается.

> c:toolsjdk1.7.0_10binjavac Sort8.java

> c:toolsjdk1.7.0_10binjava Sort8 this is a test
unsorted: [this, is, a, test]
sorted  : [this, test, is, a]

> c:toolsjdk1.8.0_05binjava Sort8 this is a test
unsorted: [this, is, a, test]
sorted  : [this, test, is, a]

> del Sort8*.class

> c:toolsjdk1.8.0_05binjavac 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