-
Notifications
You must be signed in to change notification settings - Fork 668
/
IntPipeline.java
952 lines (799 loc) · 39 KB
/
IntPipeline.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
/*
* Copyright (c) 2012, 2017, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation. Oracle designates this
* particular file as subject to the "Classpath" exception as provided
* by Oracle in the LICENSE file that accompanied this code.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
package java.util.stream;
import java.util.IntSummaryStatistics;
import java.util.Objects;
import java.util.OptionalDouble;
import java.util.OptionalInt;
import java.util.PrimitiveIterator;
import java.util.Spliterator;
import java.util.Spliterators;
import java.util.function.BiConsumer;
import java.util.function.BinaryOperator;
import java.util.function.IntBinaryOperator;
import java.util.function.IntConsumer;
import java.util.function.IntFunction;
import java.util.function.IntPredicate;
import java.util.function.IntToDoubleFunction;
import java.util.function.IntToLongFunction;
import java.util.function.IntUnaryOperator;
import java.util.function.ObjIntConsumer;
import java.util.function.Supplier;
import java.util.stream.MatchOps.MatchKind;
/**
* Abstract base class for an intermediate pipeline stage or pipeline source
* stage implementing whose elements are of type {@code int}.
*
* @param <E_IN> type of elements in the upstream source
*
* @since 1.8
*/
/*
* 流的int类型版本
*
* 参见:ReferencePipeline
*/
abstract class IntPipeline<E_IN> extends AbstractPipeline<E_IN, Integer, IntStream> implements IntStream {
/*▼ 构造器 ████████████████████████████████████████████████████████████████████████████████┓ */
/**
* Constructor for the head of a stream pipeline.
*
* @param source {@code Supplier<Spliterator>} describing the stream source
* @param sourceFlags The source flags for the stream source, described in
* {@link StreamOpFlag}
* @param parallel {@code true} if the pipeline is parallel
*/
/*
* 构造流的源头(head)阶段
*
* source : 数据源;source不是原始数据,而是原始数据的流迭代器,可以通过流迭代器来访问原始数据
* sourceFlags: 源头阶段的流参数
* parallel : 是否为并行流
*/
IntPipeline(Supplier<? extends Spliterator<Integer>> source, int sourceFlags, boolean parallel) {
super(source, sourceFlags, parallel);
}
/**
* Constructor for the head of a stream pipeline.
*
* @param source {@code Spliterator} describing the stream source
* @param sourceFlags The source flags for the stream source, described in
* {@link StreamOpFlag}
* @param parallel {@code true} if the pipeline is parallel
*/
/*
* 构造流的源头(head)阶段
*
* source : 数据源;source不是原始数据,而是原始数据的流迭代器,可以通过流迭代器来访问原始数据
* sourceFlags: 源头阶段的流参数
* parallel : 是否为并行流
*/
IntPipeline(Spliterator<Integer> source, int sourceFlags, boolean parallel) {
super(source, sourceFlags, parallel);
}
/**
* Constructor for appending an intermediate operation onto an existing
* pipeline.
*
* @param upstream the upstream element source
* @param opFlags the operation flags for the new operation
*/
/*
* 构造流的中间(intermediate)阶段,该阶段持有流的前一个阶段的引用
*
* upstream: 链接到流的前一个阶段的引用
* opFlags : 中间阶段的流的操作参数
*/
IntPipeline(AbstractPipeline<?, E_IN, ?> upstream, int opFlags) {
super(upstream, opFlags);
}
/*▲ 构造器 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 流迭代器 ████████████████████████████████████████████████████████████████████████████████┓ */
// 返回当前阶段的流的流迭代器;如果遇到并行流的有状态的中间阶段,则需要特殊处理
@Override
public final Spliterator.OfInt spliterator() {
return adapt(super.spliterator());
}
/*
* 构造一个"惰性"流迭代器
*
* "惰性"的含义是使用流迭代器时,需要从流迭代器工厂中获取
*/
@Override
@SuppressWarnings("unchecked")
final Spliterator.OfInt lazySpliterator(Supplier<? extends Spliterator<Integer>> supplier) {
return new StreamSpliterators.DelegatingSpliterator.OfInt((Supplier<Spliterator.OfInt>) supplier);
}
/*
* 构造一个"包装"流迭代器,使用该流迭代器可以获取ph阶段的输出元素。
*
* ph : 某个流阶段
* supplier : 相对于ph的上个(depth==0)的流阶段的流迭代器工厂
* isParallel: ph所在流是否需要并行执行
*/
@Override
final <P_IN> Spliterator<Integer> wrap(PipelineHelper<Integer> ph, Supplier<Spliterator<P_IN>> supplier, boolean isParallel) {
return new StreamSpliterators.IntWrappingSpliterator<>(ph, supplier, isParallel);
}
/*▲ 流迭代器 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 中间操作-无状态 ████████████████████████████████████████████████████████████████████████████████┓ */
// 筛选数据
@Override
public final IntStream filter(IntPredicate predicate) {
Objects.requireNonNull(predicate);
return new StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_SIZED) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Integer> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Integer>(downSink) {
@Override
public void begin(long size) {
downstream.begin(-1);
}
@Override
public void accept(int t) {
if(predicate.test(t)) {
downstream.accept(t);
}
}
};
}
};
}
// 映射数据
@Override
public final IntStream map(IntUnaryOperator mapper) {
Objects.requireNonNull(mapper);
return new StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_SORTED | StreamOpFlag.NOT_DISTINCT) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Integer> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Integer>(downSink) {
@Override
public void accept(int t) {
downstream.accept(mapper.applyAsInt(t));
}
};
}
};
}
// 映射数据
@Override
public final LongStream mapToLong(IntToLongFunction mapper) {
Objects.requireNonNull(mapper);
return new LongPipeline.StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_SORTED | StreamOpFlag.NOT_DISTINCT) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Long> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Long>(downSink) {
@Override
public void accept(int t) {
downstream.accept(mapper.applyAsLong(t));
}
};
}
};
}
// 映射数据
@Override
public final DoubleStream mapToDouble(IntToDoubleFunction mapper) {
Objects.requireNonNull(mapper);
return new DoublePipeline.StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_SORTED | StreamOpFlag.NOT_DISTINCT) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Double> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Double>(downSink) {
@Override
public void accept(int t) {
downstream.accept(mapper.applyAsDouble(t));
}
};
}
};
}
// 映射数据
@Override
public final <U> Stream<U> mapToObj(IntFunction<? extends U> mapper) {
Objects.requireNonNull(mapper);
return mapToObj(mapper, StreamOpFlag.NOT_SORTED | StreamOpFlag.NOT_DISTINCT);
}
// 数据降维
@Override
public final IntStream flatMap(IntFunction<? extends IntStream> mapper) {
Objects.requireNonNull(mapper);
return new StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_SORTED | StreamOpFlag.NOT_DISTINCT | StreamOpFlag.NOT_SIZED) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Integer> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Integer>(downSink) {
// true if cancellationRequested() has been called
boolean cancellationRequestedCalled;
// cache the consumer to avoid creation on every accepted element
IntConsumer downstreamAsInt = downstream::accept;
@Override
public void begin(long size) {
downstream.begin(-1);
}
@Override
public void accept(int t) {
try(IntStream result = mapper.apply(t)) {
if(result != null) {
if(!cancellationRequestedCalled) {
result.sequential().forEach(downstreamAsInt);
} else {
var s = result.sequential().spliterator();
do {
} while(!downstream.cancellationRequested() && s.tryAdvance(downstreamAsInt));
}
}
}
}
@Override
public boolean cancellationRequested() {
/*
* If this method is called then an operation within the stream
* pipeline is short-circuiting (see AbstractPipeline.copyInto).
* Note that we cannot differentiate between an upstream or downstream operation
*/
cancellationRequestedCalled = true;
return downstream.cancellationRequested();
}
};
}
};
}
// 用于查看流的内部结构,不会对流的结构产生影响
@Override
public final IntStream peek(IntConsumer action) {
Objects.requireNonNull(action);
return new StatelessOp<Integer>(this, StreamShape.INT_VALUE, 0) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Integer> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Integer>(downSink) {
@Override
public void accept(int t) {
action.accept(t);
downstream.accept(t);
}
};
}
};
}
// 装箱
@Override
public final Stream<Integer> boxed() {
return mapToObj(Integer::valueOf, 0);
}
// 中间操作,返回等效的无序流
@Override
public IntStream unordered() {
if(!isOrdered()) {
return this;
}
return new StatelessOp<Integer>(this, StreamShape.INT_VALUE, StreamOpFlag.NOT_ORDERED) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Integer> downSink) {
return downSink;
}
};
}
// 转换为LongStream
@Override
public final LongStream asLongStream() {
return new LongPipeline.StatelessOp<Integer>(this, StreamShape.INT_VALUE, 0) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Long> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Long>(downSink) {
@Override
public void accept(int t) {
downstream.accept((long) t);
}
};
}
};
}
// 转换为DoubleStream
@Override
public final DoubleStream asDoubleStream() {
return new DoublePipeline.StatelessOp<Integer>(this, StreamShape.INT_VALUE, 0) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<Double> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<Double>(downSink) {
@Override
public void accept(int t) {
downstream.accept((double) t);
}
};
}
};
}
/*▲ 中间操作-无状态 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 中间操作-有状态 ████████████████████████████████████████████████████████████████████████████████┓ */
// 去重
@Override
public final IntStream distinct() {
/*
* While functional and quick to implement, this approach is not very efficient.
* An efficient version requires an int-specific map/set implementation.
*/
Stream<Integer> integerStream = boxed();
Stream<Integer> distinct = integerStream.distinct();
return distinct.mapToInt(i -> i);
}
// 排序(默认升序)
@Override
public final IntStream sorted() {
return SortedOps.makeInt(this);
}
// 只显示前maxSize个元素
@Override
public final IntStream limit(long maxSize) {
if(maxSize<0) {
throw new IllegalArgumentException(Long.toString(maxSize));
}
return SliceOps.makeInt(this, 0, maxSize);
}
// 跳过前n个元素
@Override
public final IntStream skip(long n) {
if(n<0) {
throw new IllegalArgumentException(Long.toString(n));
}
if(n == 0) {
return this;
}
return SliceOps.makeInt(this, n, -1);
}
// "保存前缀":保存起初遇到的满足predicate条件的元素;只要遇到首个不满足条件的元素,就结束后续的保存动作
@Override
public final IntStream takeWhile(IntPredicate predicate) {
return WhileOps.makeTakeWhileInt(this, predicate);
}
// "丢弃前缀":丢弃起初遇到的满足predicate条件的元素;只要遇到首个不满足条件的元素,就开始保存它后及其后面的元素
@Override
public final IntStream dropWhile(IntPredicate predicate) {
return WhileOps.makeDropWhileInt(this, predicate);
}
/*▲ 中间操作-有状态 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 终端操作-非短路操作 ████████████████████████████████████████████████████████████████████████████████┓ */
// 将数据存入int数组返回
@Override
public final int[] toArray() {
Node.OfInt node = (Node.OfInt) evaluateToArrayNode(Integer[]::new);
/*
* 尝试将树状Node转换为普通"数组"Node;如果node不是树状node,那直接就返回了。
* 将树状Node中的元素并行地复制到int数组中,然后再将该数组封装成普通"数组"Node后返回(int类型版本)。
*/
Node.OfInt flatten = Nodes.flattenInt(node);
// 将Node中的元素存入基本类型数组后返回
return flatten.asPrimitiveArray();
}
// 遍历,并执行consumer操作
@Override
public void forEach(IntConsumer consumer) {
TerminalOp<Integer, Void> terminalOp = ForEachOps.makeInt(consumer, false);
evaluate(terminalOp);
}
// 按遭遇顺序遍历,并执行consumer操作
@Override
public void forEachOrdered(IntConsumer consumer) {
TerminalOp<Integer, Void> terminalOp = ForEachOps.makeInt(consumer, true);
evaluate(terminalOp);
}
// 求最小值
@Override
public final OptionalInt min() {
return reduce(Math::min);
}
// 求最大值
@Override
public final OptionalInt max() {
return reduce(Math::max);
}
// 无初始状态的汇总操作(引用类型版本)
@Override
public final OptionalInt reduce(IntBinaryOperator op) {
TerminalOp<Integer, OptionalInt> terminalOp = ReduceOps.makeInt(op);
return evaluate(terminalOp);
}
// 有初始状态的汇总操作(引用类型版本)
@Override
public final int reduce(int identity, IntBinaryOperator op) {
TerminalOp<Integer, Integer> terminalOp = ReduceOps.makeInt(identity, op);
return evaluate(terminalOp);
}
// 有初始状态的消费操作(引用类型版本)
@Override
public final <R> R collect(Supplier<R> supplier, ObjIntConsumer<R> accumulator, BiConsumer<R, R> combiner) {
Objects.requireNonNull(combiner);
BinaryOperator<R> operator = (left, right) -> {
combiner.accept(left, right);
return left;
};
TerminalOp<Integer, R> terminalOp = ReduceOps.makeInt(supplier, accumulator, operator);
return evaluate(terminalOp);
}
// 计数
@Override
public final long count() {
TerminalOp<Integer, Long> terminalOp = ReduceOps.makeIntCounting();
return evaluate(terminalOp);
}
// 求和
@Override
public final int sum() {
return reduce(0, Integer::sum);
}
// 求平均值
@Override
public final OptionalDouble average() {
long[] avg = collect(() -> new long[2], (ll, i) -> {
ll[0]++;
ll[1] += i;
}, (ll, rr) -> {
ll[0] += rr[0];
ll[1] += rr[1];
});
return avg[0] > 0 ? OptionalDouble.of((double) avg[1] / avg[0]) : OptionalDouble.empty();
}
// 信息统计
@Override
public final IntSummaryStatistics summaryStatistics() {
return collect(IntSummaryStatistics::new, IntSummaryStatistics::accept, IntSummaryStatistics::combine);
}
/*▲ 终端操作-非短路操作 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 终端操作-短路操作 ████████████████████████████████████████████████████████████████████████████████┓ */
// 找出第一个元素
@Override
public final OptionalInt findFirst() {
TerminalOp<Integer, OptionalInt> terminalOp = FindOps.makeInt(true);
return evaluate(terminalOp);
}
// 找到一个元素就返回,不管是不是第一个元素
@Override
public final OptionalInt findAny() {
TerminalOp<Integer, OptionalInt> terminalOp = FindOps.makeInt(false);
return evaluate(terminalOp);
}
// 判断是否存在元素满足predicate条件
@Override
public final boolean anyMatch(IntPredicate predicate) {
TerminalOp<Integer, Boolean> terminalOp = MatchOps.makeInt(predicate, MatchKind.ANY);
return evaluate(terminalOp);
}
// 判断是否所有元素满足predicate条件
@Override
public final boolean allMatch(IntPredicate predicate) {
TerminalOp<Integer, Boolean> terminalOp = MatchOps.makeInt(predicate, MatchKind.ALL);
return evaluate(terminalOp);
}
// 判断是否所有元素满足predicate条件
@Override
public final boolean noneMatch(IntPredicate predicate) {
TerminalOp<Integer, Boolean> terminalOp = MatchOps.makeInt(predicate, MatchKind.NONE);
return evaluate(terminalOp);
}
/*▲ 终端操作-短路操作 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 参数 ████████████████████████████████████████████████████████████████████████████████┓ */
// 返回流的形状
@Override
final StreamShape getOutputShape() {
return StreamShape.INT_VALUE;
}
/*▲ 参数 ████████████████████████████████████████████████████████████████████████████████┛ */
/*▼ 杂项 ████████████████████████████████████████████████████████████████████████████████┓ */
/*
* 尝试用wrappedSink逐个消费spliterator中所有剩余元素。
* 该行为会顺着sink链条向下游传播。
*
* 值的关注的是,这里每次消费元素之前,都要先询问wrappedSink是否应当停止接收数据。
* 如果wrappedSink无法做出决定,则它应当继续询问下游的sink。
*
* 如果当前流阶段收到了应当停止接收数据的信号,则会立即停止择取工作,并返回true。
*
* 返回值指示是否中途取消了择取操作。
*
* 注1:该方法通常用在包含短路操作的流中。
* 比如需要查找一个大于0的元素,那么只要在流中发现了第一个大于0的元素,那么后续的择取操作就可以停止了。
*
* spliterator: 流迭代器,包含了当前所有待访问元素
* wrappedSink: Sink链表上的第一个元素
*/
@Override
final boolean forEachWithCancel(Spliterator<Integer> spliterator, Sink<Integer> wrappedSink) {
Spliterator.OfInt adaptSpliterator = adapt(spliterator);
IntConsumer adaptSink = adapt(wrappedSink);
boolean cancelled;
// 对spliterator中元素进行择取
while(true) {
// 判断是否应当停止接收数据
cancelled = wrappedSink.cancellationRequested();
// 如果遇到短路操作,可以取消后续操作
if(cancelled) {
return true;
}
// 使用wrappedSink消费spliterator中下一个元素,该行为会顺着sink链条向下游传播
boolean hasMoreElem = adaptSpliterator.tryAdvance(adaptSink);
// 如果已经没有更多元素了,则结束择取
if(!hasMoreElem) {
break;
}
}
return cancelled;
}
/*
* 构造增强"数组"Node或"弹性缓冲区"Node(引用类型版本)
*
* exactSizeIfKnown: 元素数量
* generator : 生成内部数组的函数表达式
*
* 注:exactSizeIfKnown和generator都是被增强"数组"Node使用的
*/
@Override
final Node.Builder<Integer> makeNodeBuilder(long exactSizeIfKnown, IntFunction<Integer[]> generator) {
return Nodes.intBuilder(exactSizeIfKnown);
}
/*
* 并行搜集元素,中间依然会经过sink的择取操作(int类型版本)。
* 将spliterator中的元素并行地收集到int数组中,然后将该数组封装到Node中返回。
*
* 注:这里不需要使用generator入参,创建int数组的方式由内部实现。
*/
@Override
final <P_IN> Node<Integer> evaluateToNode(PipelineHelper<Integer> helper, Spliterator<P_IN> spliterator, boolean flattenTree, IntFunction<Integer[]> generator) {
return Nodes.collectInt(helper, spliterator, flattenTree);
}
// 将当前阶段的流的Spliterator适配为Iterator(引用类型版本)
@Override
public final PrimitiveIterator.OfInt iterator() {
return Spliterators.iterator(spliterator());
}
// 映射数据
private <U> Stream<U> mapToObj(IntFunction<? extends U> mapper, int opFlags) {
return new ReferencePipeline.StatelessOp<Integer, U>(this, StreamShape.INT_VALUE, opFlags) {
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据
@Override
Sink<Integer> opWrapSink(int flags, Sink<U> downSink) {
// 返回一个链式Sink,其中downstream的值就是downSink,即下个流阶段的sink
return new Sink.ChainedInt<U>(downSink) {
@Override
public void accept(int t) {
downstream.accept(mapper.apply(t));
}
};
}
};
}
/**
* Adapt a {@code Sink<Integer> to an {@code IntConsumer}, ideally simply
* by casting.
*/
// 将Sink适配为IntConsumer
private static IntConsumer adapt(Sink<Integer> sink) {
if(sink instanceof IntConsumer) {
return (IntConsumer) sink;
}
if(Tripwire.ENABLED) {
Tripwire.trip(AbstractPipeline.class, "using IntStream.adapt(Sink<Integer> s)");
}
return value -> sink.accept(value);
}
/**
* Adapt a {@code Spliterator<Integer>} to a {@code Spliterator.OfInt}.
*
* @implNote The implementation attempts to cast to a Spliterator.OfInt, and throws an
* exception if this cast is not possible.
*/
// 适配流迭代器
private static Spliterator.OfInt adapt(Spliterator<Integer> s) {
if(s instanceof Spliterator.OfInt) {
return (Spliterator.OfInt) s;
} else {
if(Tripwire.ENABLED) {
Tripwire.trip(AbstractPipeline.class, "using IntStream.adapt(Spliterator<Integer> s)");
}
throw new UnsupportedOperationException("IntStream.adapt(Spliterator<Integer> s)");
}
}
/*▲ 杂项 ████████████████████████████████████████████████████████████████████████████████┛ */
/**
* Source stage of an IntStream.
*
* @param <E_IN> type of elements in the upstream source
*
* @since 1.8
*/
// 流的源头阶段(int类型版本),包含了数据源和可以对数据源执行的遍历、分割操作
static class Head<E_IN> extends IntPipeline<E_IN> {
/**
* Constructor for the source stage of an IntStream.
*
* @param source {@code Supplier<Spliterator>} describing the stream
* source
* @param sourceFlags the source flags for the stream source, described
* in {@link StreamOpFlag}
* @param parallel {@code true} if the pipeline is parallel
*/
/*
* 构造源头(head)阶段的流
*
* source : 数据源迭代器工厂;可以从source中获取到原始数据的流迭代器,进而通过流迭代器来访问原始数据
* sourceFlags: 源头阶段的流参数
* parallel : 是否为并行流
*/
Head(Supplier<? extends Spliterator<Integer>> source, int sourceFlags, boolean parallel) {
super(source, sourceFlags, parallel);
}
/**
* Constructor for the source stage of an IntStream.
*
* @param source {@code Spliterator} describing the stream source
* @param sourceFlags the source flags for the stream source, described
* in {@link StreamOpFlag}
* @param parallel {@code true} if the pipeline is parallel
*/
/*
* 构造源头(head)阶段的流
*
* source : 数据源迭代器;source不是原始数据,而是原始数据的流迭代器,可以通过流迭代器来访问原始数据
* sourceFlags: 源头阶段的流参数
* parallel : 是否为并行流
*/
Head(Spliterator<Integer> source, int sourceFlags, boolean parallel) {
super(source, sourceFlags, parallel);
}
// 源头阶段的流不允许调用此方法
@Override
final boolean opIsStateful() {
throw new UnsupportedOperationException();
}
// 构造并返回属于当前流阶段的sink,该sink通常与downSink形成一个链条,以决定如何处理上个流阶段发来的数据;该方法仅由中间阶段的流使用
@Override
final Sink<E_IN> opWrapSink(int flags, Sink<Integer> downSink) {
// 不是中间阶段,抛异常
throw new UnsupportedOperationException();
}
// 遍历流中的元素,对其执行consumer操作
@Override
public void forEach(IntConsumer consumer) {
if(isParallel()) {
super.forEach(consumer);
} else {
// 返回源头阶段的流迭代器;该方法只能由源头阶段的流调用
Spliterator<Integer> spliterator = sourceStageSpliterator();
adapt(spliterator).forEachRemaining(consumer);
}
}
// 按遭遇顺序遍历流中的元素,对其执行consumer操作
@Override
public void forEachOrdered(IntConsumer consumer) {
if(isParallel()) {
super.forEachOrdered(consumer);
} else {
// 返回源头阶段的流迭代器;该方法只能由源头阶段的流调用
Spliterator<Integer> spliterator = sourceStageSpliterator();
adapt(spliterator).forEachRemaining(consumer);
}
}
}
/**
* Base class for a stateless intermediate stage of an IntStream
*
* @param <E_IN> type of elements in the upstream source
*
* @since 1.8
*/
// 流的[无]状态的中间阶段(int类型版本)
abstract static class StatelessOp<E_IN> extends IntPipeline<E_IN> {
/**
* Construct a new IntStream by appending a stateless intermediate
* operation to an existing stream.
*
* @param upstream The upstream pipeline stage
* @param inputShape The stream shape for the upstream pipeline stage
* @param opFlags Operation flags for the new stage
*/
/*
* 构造无状态的中间(intermediate)阶段的流,该阶段的流持有上一个阶段的流的引用
*
* upstream : 链接到上一个流的引用
* inputShape: 流的形状,即流中元素类型
* opFlags : 中间阶段的流的操作参数
*/
StatelessOp(AbstractPipeline<?, E_IN, ?> upstream, StreamShape inputShape, int opFlags) {
super(upstream, opFlags);
assert upstream.getOutputShape() == inputShape;
}
// 判断流的当前阶段是否有状态,这里总是返回false
@Override
final boolean opIsStateful() {
return false;
}
}
/**
* Base class for a stateful intermediate stage of an IntStream.
*
* @param <E_IN> type of elements in the upstream source
*
* @since 1.8
*/
// 流的[有]状态的中间阶段(int类型版本)
abstract static class StatefulOp<E_IN> extends IntPipeline<E_IN> {
/**
* Construct a new IntStream by appending a stateful intermediate
* operation to an existing stream.
*
* @param upstream The upstream pipeline stage
* @param inputShape The stream shape for the upstream pipeline stage
* @param opFlags Operation flags for the new stage
*/
/*
* 构造有状态的中间(intermediate)阶段的流,该阶段的流持有上一个阶段的流的引用
*
* upstream : 链接到上一个流的引用
* inputShape: 流的形状,即流中元素类型
* opFlags : 中间阶段的流的操作参数
*/
StatefulOp(AbstractPipeline<?, E_IN, ?> upstream, StreamShape inputShape, int opFlags) {
super(upstream, opFlags);
assert upstream.getOutputShape() == inputShape;
}
// 判断流的当前阶段是否有状态,这里总是返回true
@Override
final boolean opIsStateful() {
return true;
}
/*
* 并行处理helper流阶段输出的元素,返回处理后的结果。
*
* 通常,如果helper流阶段的数据已经满足当前阶段的预期,则会直接返回helper流阶段的数据。
* 否则,会视情形创建终端sink来处理helper流阶段的数据并返回。
* 还可能不经过sink,而是直接处理helper流阶段的数据,并将处理后的数据返回。
*
* helper : 某个流阶段,通常需要在当前终端操作中处理从helper阶段输出的数据
* spliterator: 待处理的数据的源头,该流迭代器属于helper之前的(depth==0)的流阶段(包含helper阶段)
* generator : 必要的时候,创建存储处理结果的定长数组
*
* 不同的中间操作会重写该方法,以在该方法中使用不同的方式处理数据。
* 返回值代表了当前(操作)阶段处理后的数据。
*
* 该方法仅在有状态的中间(操作)阶段上调用,如果某阶段的opIsStateful()返回true,则实现必须重写该方法。
*/
@Override
abstract <P_IN> Node<Integer> opEvaluateParallel(PipelineHelper<Integer> helper, Spliterator<P_IN> spliterator, IntFunction<Integer[]> generator);
}
}