Java 如何使用stream.allMatch()为空流返回false

Java的Stream设计不容易在一次遍历中判断流是否为空and是否所有元素都与给定的谓词匹配.您可以使用局部变量来跟踪计数(但它必须是有效的最终变量，因此您必须使用众所周知的技巧，如1元素数组).这样，您可以保留Stream的短路行为，同时还可以判断流是否为空.

然而，在纯粹的数学/逻辑术语中，将空流视为不包含所有与谓词匹配的元素是没有意义的.这就是vacuous truth的概念.

/**
 * DO NOT USE. This uses the wrong logic: see
 * <a href="https://en.wikipedia.org/wiki/Vacuous_truth#In_computer_programming">vacuous truth</a>.
 */
private static boolean allMatchExceptReturnFalseIfEmpty(Stream<String> stream) {
    boolean[] empty = { true };
    return stream.allMatch(text -> { empty[0] = false; return "match".equals(text); }) && !empty[0];
}

上面的方法将空流视为返回相反结果的特殊值.在许多情况下，在这种情况下采取一些特殊处理可能会更好，如果该方法引发异常，则可以这样做:

/**
 * Better. Checks that all elements match, at the same time checking that the stream is not empty.
 */
private static boolean allMatchNonEmptyStream(Stream<String> stream) {
    boolean[] empty = { true };
    boolean result = stream.allMatch(text -> { empty[0] = false; return "match".equals(text); });
    if (empty[0])
        throw new IllegalArgumentException("Stream must not be empty");
    return result;
}

看待这个问题的另一种方式是，你想要一个三态的结果:

enum MatchResult { EMPTY, ALL_MATCH, SOME_DONT_MATCH }

private static MatchResult allMatchThreeState(Stream<String> stream) {
    boolean[] empty = { true };
    boolean allMatch = stream.allMatch(text -> { empty[0] = false; return "match".equals(text); });
    return (empty[0]) ? MatchResult.EMPTY : allMatch ? MatchResult.ALL_MATCH : MatchResult.SOME_DONT_MATCH;
    
}

在您的例子中(在您的问题更新之后)，您可能想要使用这个三态值来显示，例如，(1)无指示器；(2)"正在下载"；和(3)"下载完成".即使你现在不想有3个不同的指示器状态，拥有这个3状态的方法结果也会给你更好的灵活性.