Путаница о методе с двумя аргументами

Question

Я немного смущен этим синтаксисом ссылки на метод.

counter() ожидает BiFunction однако HighTemp::lessThanTemp является допустимым аргументом, несмотря на то, что HighTemp.lessThanTemp() принимает только один аргумент.

Что именно происходит в линии: if (f.func(vals[i], v))?

MCVE:

import java.util.function.BiFunction; 

class Demo { 
    static class HighTemp { 
    private int hTemp; 

    HighTemp(int ht) { hTemp = ht; } 

    boolean lessThanTemp(HighTemp ht2) { 
     return hTemp < ht2.hTemp; 
    } 
    } 

    static <T> int counter(T[] vals, BiFunction<T,T,Boolean> f, T v) { 
    int count = 0; 

    for (int i=0; i < vals.length; i++) { 
     if (f.apply(vals[i], v)) { // THIS LINE 
     count++; 
     } 
    } 

    return count; 
    } 

    public static void main(String args[]) {  
    HighTemp[] weekDayHighs2 = { new HighTemp(32), new HighTemp(12), 
           new HighTemp(24), new HighTemp(19), 
           new HighTemp(18), new HighTemp(12), 
           new HighTemp(-1), new HighTemp(13) }; 

    int count = counter(weekDayHighs2, HighTemp::lessThanTemp, new HighTemp(19)); 
    System.out.println(count + " days had a high of less than 19"); 
    } 
} 

Answer 1

Посмотрите на relevant documentation, в котором отмечается:

Эквивалент лямбда-выражения для задания метода String::compareToIgnoreCase будет иметь список формальных параметров (String a, String b), где a и b это произвольные имена, используемые для лучшего описания этого примера. Ссылка на метод вызовет метод a.compareToIgnoreCase(b).

Других слов, HighTemp::lessThanTemp эквивалентно выражение лямбды:

(a, b) -> a.lessThanTemp(b)