Блог

Я хочу написать что-то вроде фабрики функций. Это должна быть функция, которая вызывается один раз, с различными стратегиями в качестве параметров. Он должен возвращать функцию, которая выбирает одну из этих стратегий в зависимости от параметра, который должен выполняться предикатом. Ну, лучше посмотрите condition3 для лучшего понимания. Проблема в том, что он не компилируется. Я думаю, поскольку компилятор не может понять, что функциональный интерфейс H может быть реализован с помощью реализации. Без дженериков он работает нормально.

 @FunctionalInterface
public interface Finder<T, S> {

    Stream<S> findBest (T t);

    // Valid code
    static <P, Q> Finder<P, Q> condition1 () {
        return p -> null;
    }

    // Valid code, but selects just one of the H's when the method is invoked
    static <P, Q, H extends Finder<P, Q>> H condition2 (Pair<Predicate<P>, H>... hs) {
        return hs[0].getRight ();
    }

    // Should return a method, which selects the appropiate H 
    // whenever it is invoked with an P
    // Compiler complain: 
    // The target type of this expression must be a functional interface
    static <P, Q, H extends Finder<P, Q>> H condition3 (Pair<Predicate<P>, H>... hs) {
        return p -> stream (hs).filter (pair -> pair.getLeft ().test (p))
                               .findFirst ()
                               .map (Pair::getRight)
                               .map (h -> h.findBest (p))
                               .orElseGet (Stream::empty);
    }
}
  

Так в чем же здесь проблема? Могу ли я решить эту проблему, и если это возможно с помощью Java: как?

Посмотрите на сигнатуру вашего метода и попытайтесь определить, каков точный возвращаемый тип:

 static <P, Q, H extends Finder<P, Q>> H condition3(…
  

Лямбды могут реализовывать только interface известные во время компиляции. Но фактический аргумент типа for H не известен компилятору.

Ваш первый метод работает, потому что он возвращает тип Finder<P, Q> , который может реализовать лямбда-выражение, ваш второй работает, потому что он не использует лямбда-выражение для реализации возвращаемого типа H extends Finder<P, Q> .

Только ваш третий метод пытается указать лямбда-выражение для аргумента типа H extends Finder<P, Q> .

Решение состоит в том, чтобы не давать вызывающей стороне свободу указывать определенный подтип Finder в качестве возвращаемого типа метода:

 static <P, Q, H extends Finder<P, Q>>
    Finder<P, Q> condition3(Pair<Predicate<P>, H>... hs) {
  

Чтобы проиллюстрировать, какие последствия имеет ваша исходная сигнатура метода, посмотрите на следующий пример:

 final class HImpl implements Finder<String,String> {
    public Stream<String> findBest(String t) {
        return null; // just for illustration, we never really use the class
    }
}
  

…

 HImpl x=Finder.<String,String,HImpl>condition3();
  

Учитывая вашу исходную сигнатуру метода, это компилируется без каких-либо ошибок. Но как метод должен condition3 предоставлять экземпляр HImpl here, используя ваше лямбда-выражение?