Необов’язково абоElse Необов’язково на Java

Я працював з новим додатковим типом в Java 8 , і я натрапив на те, що схоже на звичайну операцію, яка не підтримується функціонально: "orElseOptions"

Розглянемо таку схему:

Optional<Result> resultFromServiceA = serviceA(args);
if (resultFromServiceA.isPresent) return result;
else {
    Optional<Result> resultFromServiceB = serviceB(args);
    if (resultFromServiceB.isPresent) return resultFromServiceB;
    else return serviceC(args);
}

Існує багато форм цього шаблону, але він зводиться до того, щоб бажати "orElse" на необов'язковій формі, яка приймає функцію, що створює новий необов'язковий, іменується лише якщо поточного не існує.

Її реалізація виглядатиме так:

public Optional<T> orElse(Supplier<Optional<? extends T>> otherSupplier) {
    return value != null ? this : other.get();
}

Мені цікаво, чи є причина, що такий метод не існує, якщо я просто недбало використовую необов’язковий і які інші способи люди придумали для вирішення цієї справи.

Слід сказати, що я думаю, що рішення, що включають власні класи / методи корисних програм, не є витонченими, оскільки люди, які працюють з моїм кодом, не обов'язково знають, що вони існують.

Крім того, якщо хтось знає, чи буде такий метод включений до JDK 9, і де я можу запропонувати такий метод? Це здається мені досить кричущим упущенням API.

Це частина JDK 9 у формі or, яка приймає a Supplier<Optional<T>>. Тоді ваш приклад:

return serviceA(args)
    .or(() -> serviceB(args))
    .or(() -> serviceC(args));

Детальніше дивіться Javadoc або цю публікацію, яку я написав.

Найбільш чистим підходом "спробувати послуги" з урахуванням поточного API був би:

Optional<Result> o = Stream.<Supplier<Optional<Result>>>of(
    ()->serviceA(args), 
    ()->serviceB(args), 
    ()->serviceC(args), 
    ()->serviceD(args))
.map(Supplier::get)
.filter(Optional::isPresent)
.map(Optional::get)
.findFirst();

Важливим аспектом є не (постійний) ланцюг операцій, про який потрібно писати один раз, а те, як легко додати іншу послугу (або змінити список послуг, загальний). Тут ()->serviceX(args)достатньо додати або видалити сингл .

Через ледачу оцінку потоків жодна послуга не буде викликана, якщо попередня служба повертається не порожньою Optional.

Це не дуже, але це спрацює:

return serviceA(args)
  .map(Optional::of).orElseGet(() -> serviceB(args))
  .map(Optional::of).orElseGet(() -> serviceC(args))
  .map(Optional::of).orElseGet(() -> serviceD(args));

.map(func).orElseGet(sup)є досить зручним малюнком для використання з Optional. Це означає "Якщо це Optionalмістить значення v, дайте мені func(v), інакше дайте меніsup.get() ".

У цьому випадку ми телефонуємо serviceA(args)та отримуємо Optional<Result>. Якщо це Optionalмістить значення v, ми хочемо отримати Optional.of(v), але якщо воно порожнє, ми хочемо отриматиserviceB(args) . Промийте-повторіть з більшою кількістю альтернатив.

Інші способи використання цього шаблону є

• .map(Stream::of).orElseGet(Stream::empty)
• .map(Collections::singleton).orElseGet(Collections::emptySet)

Можливо, це те, що ви прагнете: Отримайте цінність від одного необов’язкового чи іншого

В іншому випадку ви можете поглянути Optional.orElseGet. Ось приклад того, що я думаю, що ви хочете:

result = Optional.ofNullable(serviceA().orElseGet(
                                 () -> serviceB().orElseGet(
                                     () -> serviceC().orElse(null))));

Якщо припустити, що ви все ще на JDK8, є кілька варіантів.

Варіант №1: складіть власний помічник

Наприклад:

public class Optionals {
    static <T> Optional<T> or(Supplier<Optional<T>>... optionals) {
        return Arrays.stream(optionals)
                .map(Supplier::get)
                .filter(Optional::isPresent)
                .findFirst()
                .orElseGet(Optional::empty);
    }
}

Щоб ви могли:

return Optionals.or(
   ()-> serviceA(args),
   ()-> serviceB(args),
   ()-> serviceC(args),
   ()-> serviceD(args)
);

Варіант №2: використовувати бібліотеку

Наприклад, or()опція google guava підтримує належну операцію (як і JDK9), наприклад:

return serviceA(args)
  .or(() -> serviceB(args))
  .or(() -> serviceC(args))
  .or(() -> serviceD(args));

(Де кожна служба повертається com.google.common.base.Optional, а не java.util.Optional).

Це виглядає як добре підходить для узгодження шаблонів і більш традиційний інтерфейс Option з деякими та жодними реалізаціями (такими, як у Javaslang , FunctionalJava ), або ледачий, можливо, реалізація в циклоп-реагуванні. Я автор цієї бібліотеки.

З циклоп-реагуванням ви також можете використовувати структурну схему відповідності для типів JDK. За бажанням ви можете порівнювати справжній та відсутній справи за схемою відвідувачів . це виглядатиме приблизно так -

  import static com.aol.cyclops.Matchables.optional;

  optional(serviceA(args)).visit(some -> some , 
                                 () -> optional(serviceB(args)).visit(some -> some,
                                                                      () -> serviceC(args)));