终端执行的Java流操作顺序

参见英文答案 > Stream intermediate operations ordering2个
我一直试图从官方Java文档中找到明确的合同,关于Java流的顺序,一旦调用终端操作,就处理元素并调用中间操作.

例如,让我们看看这些使用Java流版本和普通迭代版本的示例(两者都产生相同的结果).

例1：

List<Integer> ints = Arrays.asList(1,2,3,4,5);
    Function<Integer,Integer> map1 = i -> i;
    Predicate<Integer> f1 = i -> i > 2;

    public int findFirstUsingStreams(List<Integer> ints){
        return ints.stream().map(map1).filter(f1).findFirst().orElse(-1);
    }

    public int findFirstUsingLoopV1(List<Integer> ints){
        for (int i : ints){
            int mappedI = map1.apply(i);
            if ( f1.test(mappedI) ) return mappedI;
        }
        return -1;
    }

    public int findFirstUsingLoopV2(List<Integer> ints){
        List<Integer> mappedInts = new ArrayList<>( ints.size() );

        for (int i : ints){
            int mappedI = map1.apply(i);
            mappedInts.add(mappedI);
        }

        for (int mappedI : mappedInts){
            if ( f1.test(mappedI) ) return mappedI;
        }
        return -1;
    }

请求findFirst之后的findFirstUsingStreams方法中的Java流是否按照findFirstUsingLoopV1中描述的顺序运行map1(映射不是针对所有元素运行)或者如findFirstUsingLoopV2中所述(对所有元素运行map)？

并且这个订单会在未来的Java版本中发生变化,还是有一个官方文档可以保证我们map1调用的顺序？

例2：

Predicate<Integer> f1 = i -> i > 2;
Predicate<Integer> f2 = i -> i > 3;


public List<Integer> collectUsingStreams(List<Integer> ints){
    return ints.stream().filter(f1).filter(f2).collect( Collectors.toList() );
}

public List<Integer> collectUsingLoopV1(List<Integer> ints){
    List<Integer> result = new ArrayList<>();
    for (int i : ints){
        if ( f1.test(i) && f2.test(i) ) result.add(i);
    }
    return result;
}

public List<Integer> collectUsingLoopV2(List<Integer> ints){
    List<Integer> result = new ArrayList<>();
    for (int i : ints){
        if ( f2.test(i) && f1.test(i) ) result.add(i);
    }
    return result;
}

collect之后的collectUsingStreams方法中的Java流再次按照collectUsingLoopV1中描述的顺序调用run f1和f2(f1在f2之前评估)或者如collectUsingLoopV2中所述(f1在f1之前评估)？

并且这个订单会在未来的Java版本中发生变化,还是有一个官方文档可以保证我们f1和f2调用的顺序？

编辑

感谢所有的答案和评论,但不幸的是,我仍然没有看到处理元素的顺序的良好解释.文档确实说,将为列表保留遭遇顺序,但它们不指定如何处理这些元素.例如,在findFirst的情况下,docs保证map1将首先看到1然后2但是它没有说map1不会被执行4和5.这是否意味着我们不能保证我们的处理顺序将如我们所期望的那样在Java的固定版本？可能是.