преобразования из потока <@Nullable T> Потоку <@NonNull T> с использованием потока апи

Question

Я использую CheckerFramework

Как я мог удалить аннулирует из потока и получил коллекцию объектов @NonNull?

Stream<@Nullable T> -> (remove nulls) -> Stream<@NonNull T> 

Answer 1

Вот код, который делает это.

import java.util.Objects; 
import java.util.stream.Stream; 
import org.checkerframework.checker.nullness.qual.NonNull; 
import org.checkerframework.checker.nullness.qual.Nullable; 

class RemoveNullsFromStream { 

    @SuppressWarnings("nullness") // Nullness Checker is not hard-coded with 
        // implementation details of filter and Objects::nonNull 
    <T> 
    Stream<@NonNull T> removeNullsFromStream(Stream<@Nullable T> arg) { 
    return arg.filter(Objects::nonNull); 
    } 

} 

Обратите внимание на использование @SuppressWarnings, потому что Nullness Checker консервативен: он выдает предупреждение, если он не может окончательно доказать, что код безопасности. В общем случае выход filter совпадает с его входом; когда аргументом filter является Objects::nonNull - это особый случай.

Этот специальный корпус может быть жестко закодирован в Nullness Checker, и это сделает точность Nullness Checker более точной. В настоящее время это поведение не является специальным, поэтому вместо этого вы используете @SuppressWarnings.