Привет! Можете подсказать? Есть метод collect с такой сигнатурой. Я его вызываю так. Но можно вызвать и так. Почему второй вариант работает?

1. <R> R collect(Supplier<R> var1, ObjLongConsumer<R> var2, BiConsumer<R, R> var3);
2. .collect(HashSet::new, (set, e) -> set.add(e), HashSet::addAll)
3. .collect(HashSet::new, HashSet::add, HashSet::addAll)

ObjLongConsumer это функциональный интерфейс, сигнатура которого void accept(T var1, long var2);

В пункте 3 я бы ожидал non-static method cannot be referenced from static context, но почему-то все работает

должно, но если задаться целью можно сделать так что fork/join заблочится весь - на чем у вас synchronized?

на локальной переменной  типа Object

внутри пайплайна стрима вы на ней тоже synchronized делаете?

нет

тогда все норм будет

ок спасибо

У меня оба варианта работают. Наверное, это зависит от того, что там реально вызывается. А есть полный пример кода?

Set<Long> testSet = new Random().longs(100, 1000000000L, 999999999999L).collect(HashSet::new, HashSet::add, HashSet::addAll);

У меня реально компилируются оба варианта)

https://gist.github.com/genuss/5f8f7c4a68833446231b6afb65b1e249 Вот такой код

да, у меня тоже. Вопрос в том почему этот вариант работает

Аааа, я-то думал в другом вопрос)

HashSet::add, я бы ожидал увидеть non-static method with static сontext

Или тут какой-то сахар запрятан с тем, что HashSet::add кастится к ObjLongConsumet<T>, где T будет HashSet<Long>, а второй аргумент и там и там лонг?

Да, согласен, неочевидно. Но, видимо, можно однозначно привести тип референса к требуемому

В JLS 15.13.1 "Compile-Time Declaration of a Method Reference" это показано. Если нет неоднозначностей, то ресивер выступает в качестве первого аргумента

"In the first search, the method reference is treated as if it were an invocation with argument expressions of types P1 , ..., Pn;  [...]

In the second search, if P1 , ..., Pn is not empty and P1 is a subtype of ReferenceType, then the method reference expression is treated as if it were a method invocation  expression with argument expressions of types P2, ..., Pn. [...]

If the first search produces a static method, and no non- static method is applicable [...] during the second search, then the compile-time declaration is the result of the first search.

Otherwise, if no static method is applicable [...] during the first search, and the second search produces a non-static method, then the compile-time declaration is the result of the second search."