Тип вывода на lambdas

Question

Я преобразовал некоторый код, чтобы использовать функции Java 8. В следующем примере надуманного

Arrays.asList("1", "2", "3", "cheese", "5").stream().map(line -> { 
     try { 
      return Optional.of(Integer.parseInt(line)); 
     } catch (NumberFormatException xep) { 
      return Optional.empty(); 
     } 
    }).forEach(v -> 
     System.out.println(v.orElse(999)) 
    ); 

(намерение, чтобы разобрать некоторые строки как Интс и замените значения с не поддается синтаксическим анализ 999)

Компилятор отчеты

error: incompatible types: int cannot be converted to CAP#1 
System.out.println(v.orElse(999)) 
where CAP#1 is a fresh type-variable: 
CAP#1 extends Object from capture of ? extends Object" 

Я пробовал литье 999 к Integer или Object без успеха.

Кажется, что реальная проблема заключается в том, что выведенный тип возврата первого лямбда является Optional<Object> и не Optional<Integer>

Если я это

Arrays.asList("1", "2", "3", "cheese", "5").stream().map(line -> { 
     Optional<Integer> ans; 
     try { 
      ans = Optional.of(Integer.parseInt(line)); 
     } catch (NumberFormatException xep) { 
      ans = Optional.empty(); 
     } 
     return ans; 
    }).forEach(v -> 
     System.out.println(v.orElse(999)) 
    ); 

он прекрасно работает, но не совсем так элегантно. Есть ли лучший способ «направить» компилятор на возвращаемый тип, который я хочу?

Answer 1

Простое исправление использовать тип цели:

return Optional.<Integer> empty(); 

Также замечу, что вы используете Integer.parseInt, который возвращает int, так что вы можете также использовать OptionalInt, который позволит решить проблему и сохранить операцию по боксу :

try { 
    return OptionalInt.of(Integer.parseInt(line)); 
} catch (NumberFormatException xep) { 
    return OptionalInt.empty(); 
} 

Answer 2

вы могли бы это сделать, если вы не хотите переменную-член ans:

try { 
    return Optional.<Integer>of(Integer.parseInt(line)); 
} catch (NumberFormatException xep) { 
    return Optional.<Integer>empty(); 
} 

Тип вывода сложный и имеет ограничения, если вы действительно хотите знать, почему это происходит в этом случае, вам нужно изучить Java Language Specification.

Answer 3

Правильность @Assilyas answer. Я хотел бы предложить альтернативу на основе гуавы утилиты Ints::tryParse:

В отличие от Integer.parseInt(String), этот метод возвращает нуль, а не бросать исключение, если синтаксический анализ терпит неудачу

с ним и новый method references, вы могли бы написать:

Arrays.asList("1", "2", "3", "cheese", "5") 
     .stream() 
     .map(Ints::tryParse) 
     .map(Optional::ofNullable) 
     .forEach(v -> System.out.println(v.orElse(999))); 

Answer 4

Как said by assylias, вы можете исправить это с помощью return Optional.<Integer> empty();.

Однако, большой вопрос, почему вы используете Optional здесь вообще?

Stream.of("1", "2", "3", "cheese", "5").mapToInt(line -> { 
    try { 
     return Integer.parseInt(line); 
    } catch (NumberFormatException xep) { 
     return 999; 
    } 
}).forEach(System.out::println); 

делает работу намного проще, если вы все равно хотите заменить значение.

Если вы хотите, чтобы выполнить действие для действительных значений только (эквивалент Optional.ifPresent(Consumer)) вы можете рассмотреть правила, которые вы должны предпочесть предварительные проверки через перехват исключений, когда вы ожидать недопустимых значений:

Stream.of("1", "2", "3", "cheese", "5") 
     .filter(Pattern.compile("^[+-]?[0-9]{1,9}$").asPredicate()) 
     .mapToInt(Integer::parseInt) 
     .forEach(System.out::println); 

(я упростил регулярное выражение, оно не принимает все возможные значения int но отвергнет все недействителен)