Definition von Functional-Schnittstelle in Java 8

Question

Die Definition einer funktionellen Schnittstelle in Java 8 sagt:

Eine funktionale Schnittstelle wie jede Schnittstelle definiert ist, die genau man explizit erklärte abstrakte Methode hat. (Die Qualifizierung ist notwendig, da eine Schnittstelle nicht abstrakte Standardmethoden haben kann.) Aus diesem Grund wurden Funktionsschnittstellen als Single Interfaces bezeichnet, die manchmal noch zu sehen sind.

Wie kommen wir haben dies:

List<Double> temperature = 
    new ArrayList<Double>(Arrays.asList(new Double[] { 20.0, 22.0, 22.5 })); 
temperature.sort((a, b) -> a > b ? -1 : 1); 

Da die sort Methode in List ist:

default void sort(Comparator<? super E> c) { 
     Object[] a = this.toArray(); 
     Arrays.sort(a, (Comparator) c); 
     ListIterator<E> i = this.listIterator(); 
     for (Object e : a) { 
      i.next(); 
      i.set((E) e); 
     } 
    } 

Und der Lambda-Ausdruck sagt:

Lambda Expression sollte einer funktionalen Schnittstelle zuweisbar sein

Comparator Die Schnittstelle hat zwei abstrakte Methoden, die compare und equals sind und mit @FunctionalInterface annotiert. Verstößt dies nicht gegen die Definition einer funktionalen Schnittstelle mit nur einer abstrakten Methode?

Answer 1

Es stimmt, dass die Schnittstelle Comparator 2 abstrakte Methoden hat. Aber einer von ihnen ist equals, die die equals Methode überschreibt, die in der Object Klasse definiert wird, und diese Methode zählt nicht.

Von @FunctionalInterface:

Wenn eine Schnittstelle eine abstrakte Methode erklärt einer der öffentlichen Methoden java.lang.Object überschreiben, die auch tut nicht Zahl in Richtung der abstrakten Methode gräflichen Schnittstelle, da jede Implementierung der Schnittstelle haben eine Implementierung von java.lang.Object oder anderswo.

Als solches Dies macht die Comparator Schnittstelle eine funktionale Schnittstelle, wo die funktionale Methode compare(o1, o2) ist.

Der Lambda-Ausdruck (a, b) -> a > b ? -1 : 1 erfüllt diesen Vertrag: Er deklariert 2 Parameter und gibt eine int zurück.