Concat.cs 9.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258
  1. // Licensed to the .NET Foundation under one or more agreements.
  2. // The .NET Foundation licenses this file to you under the Apache 2.0 License.
  3. // See the LICENSE file in the project root for more information.
  4. using System.Collections.Generic;
  5. using System.Diagnostics;
  6. using System.Threading;
  7. using System.Threading.Tasks;
  8. namespace System.Linq
  9. {
  10. public static partial class AsyncEnumerable
  11. {
  12. public static IAsyncEnumerable<TSource> Concat<TSource>(this IAsyncEnumerable<TSource> first, IAsyncEnumerable<TSource> second)
  13. {
  14. if (first == null)
  15. throw Error.ArgumentNull(nameof(first));
  16. if (second == null)
  17. throw Error.ArgumentNull(nameof(second));
  18. return first is ConcatAsyncIterator<TSource> concatFirst ?
  19. concatFirst.Concat(second) :
  20. new Concat2AsyncIterator<TSource>(first, second);
  21. }
  22. private sealed class Concat2AsyncIterator<TSource> : ConcatAsyncIterator<TSource>
  23. {
  24. private readonly IAsyncEnumerable<TSource> _first;
  25. private readonly IAsyncEnumerable<TSource> _second;
  26. internal Concat2AsyncIterator(IAsyncEnumerable<TSource> first, IAsyncEnumerable<TSource> second)
  27. {
  28. Debug.Assert(first != null);
  29. Debug.Assert(second != null);
  30. _first = first;
  31. _second = second;
  32. }
  33. public override AsyncIteratorBase<TSource> Clone()
  34. {
  35. return new Concat2AsyncIterator<TSource>(_first, _second);
  36. }
  37. internal override ConcatAsyncIterator<TSource> Concat(IAsyncEnumerable<TSource> next)
  38. {
  39. return new ConcatNAsyncIterator<TSource>(this, next, 2);
  40. }
  41. internal override IAsyncEnumerable<TSource> GetAsyncEnumerable(int index)
  42. {
  43. switch (index)
  44. {
  45. case 0:
  46. return _first;
  47. case 1:
  48. return _second;
  49. default:
  50. return null;
  51. }
  52. }
  53. }
  54. private abstract class ConcatAsyncIterator<TSource> : AsyncIterator<TSource>, IAsyncIListProvider<TSource>
  55. {
  56. private int _counter;
  57. private IAsyncEnumerator<TSource> _enumerator;
  58. public Task<TSource[]> ToArrayAsync(CancellationToken cancellationToken)
  59. {
  60. return AsyncEnumerableHelpers.ToArray(this, cancellationToken);
  61. }
  62. public async Task<List<TSource>> ToListAsync(CancellationToken cancellationToken)
  63. {
  64. var list = new List<TSource>();
  65. for (var i = 0; ; i++)
  66. {
  67. var source = GetAsyncEnumerable(i);
  68. if (source == null)
  69. {
  70. break;
  71. }
  72. var e = source.GetAsyncEnumerator(cancellationToken);
  73. try
  74. {
  75. while (await e.MoveNextAsync().ConfigureAwait(false))
  76. {
  77. list.Add(e.Current);
  78. }
  79. }
  80. finally
  81. {
  82. await e.DisposeAsync().ConfigureAwait(false);
  83. }
  84. }
  85. return list;
  86. }
  87. public Task<int> GetCountAsync(bool onlyIfCheap, CancellationToken cancellationToken)
  88. {
  89. if (onlyIfCheap)
  90. {
  91. return TaskExt.MinusOne;
  92. }
  93. return Core();
  94. async Task<int> Core()
  95. {
  96. var count = 0;
  97. for (var i = 0; ; i++)
  98. {
  99. var source = GetAsyncEnumerable(i);
  100. if (source == null)
  101. {
  102. break;
  103. }
  104. checked
  105. {
  106. count += await source.CountAsync(cancellationToken).ConfigureAwait(false);
  107. }
  108. }
  109. return count;
  110. }
  111. }
  112. public override async ValueTask DisposeAsync()
  113. {
  114. if (_enumerator != null)
  115. {
  116. await _enumerator.DisposeAsync().ConfigureAwait(false);
  117. _enumerator = null;
  118. }
  119. await base.DisposeAsync().ConfigureAwait(false);
  120. }
  121. protected override async ValueTask<bool> MoveNextCore()
  122. {
  123. if (_state == AsyncIteratorState.Allocated)
  124. {
  125. _enumerator = GetAsyncEnumerable(0).GetAsyncEnumerator(_cancellationToken);
  126. _state = AsyncIteratorState.Iterating;
  127. _counter = 2;
  128. }
  129. if (_state == AsyncIteratorState.Iterating)
  130. {
  131. while (true)
  132. {
  133. if (await _enumerator.MoveNextAsync().ConfigureAwait(false))
  134. {
  135. _current = _enumerator.Current;
  136. return true;
  137. }
  138. // note, this is simply to match the logic of
  139. // https://github.com/dotnet/corefx/blob/ec2685715b01d12f16b08d0dfa326649b12db8ec/src/system.linq/src/system/linq/concatenate.cs#L173-L173
  140. var next = GetAsyncEnumerable(_counter++ - 1);
  141. if (next != null)
  142. {
  143. await _enumerator.DisposeAsync().ConfigureAwait(false);
  144. _enumerator = next.GetAsyncEnumerator(_cancellationToken);
  145. continue;
  146. }
  147. await DisposeAsync().ConfigureAwait(false);
  148. break;
  149. }
  150. }
  151. return false;
  152. }
  153. internal abstract ConcatAsyncIterator<TSource> Concat(IAsyncEnumerable<TSource> next);
  154. internal abstract IAsyncEnumerable<TSource> GetAsyncEnumerable(int index);
  155. }
  156. // To handle chains of >= 3 sources, we chain the concat iterators together and allow
  157. // GetEnumerable to fetch enumerables from the previous sources. This means that rather
  158. // than each MoveNext/Current calls having to traverse all of the previous sources, we
  159. // only have to traverse all of the previous sources once per chained enumerable. An
  160. // alternative would be to use an array to store all of the enumerables, but this has
  161. // a much better memory profile and without much additional run-time cost.
  162. private sealed class ConcatNAsyncIterator<TSource> : ConcatAsyncIterator<TSource>
  163. {
  164. private readonly IAsyncEnumerable<TSource> _next;
  165. private readonly int _nextIndex;
  166. private readonly ConcatAsyncIterator<TSource> _previousConcat;
  167. internal ConcatNAsyncIterator(ConcatAsyncIterator<TSource> previousConcat, IAsyncEnumerable<TSource> next, int nextIndex)
  168. {
  169. Debug.Assert(previousConcat != null);
  170. Debug.Assert(next != null);
  171. Debug.Assert(nextIndex >= 2);
  172. _previousConcat = previousConcat;
  173. _next = next;
  174. _nextIndex = nextIndex;
  175. }
  176. public override AsyncIteratorBase<TSource> Clone()
  177. {
  178. return new ConcatNAsyncIterator<TSource>(_previousConcat, _next, _nextIndex);
  179. }
  180. internal override ConcatAsyncIterator<TSource> Concat(IAsyncEnumerable<TSource> next)
  181. {
  182. if (_nextIndex == int.MaxValue - 2)
  183. {
  184. // In the unlikely case of this many concatenations, if we produced a ConcatNIterator
  185. // with int.MaxValue then state would overflow before it matched it's index.
  186. // So we use the naïve approach of just having a left and right sequence.
  187. return new Concat2AsyncIterator<TSource>(this, next);
  188. }
  189. return new ConcatNAsyncIterator<TSource>(this, next, _nextIndex + 1);
  190. }
  191. internal override IAsyncEnumerable<TSource> GetAsyncEnumerable(int index)
  192. {
  193. if (index > _nextIndex)
  194. {
  195. return null;
  196. }
  197. // Walk back through the chain of ConcatNIterators looking for the one
  198. // that has its _nextIndex equal to index. If we don't find one, then it
  199. // must be prior to any of them, so call GetEnumerable on the previous
  200. // Concat2Iterator. This avoids a deep recursive call chain.
  201. var current = this;
  202. while (true)
  203. {
  204. if (index == current._nextIndex)
  205. {
  206. return current._next;
  207. }
  208. if (current._previousConcat is ConcatNAsyncIterator<TSource> prevN)
  209. {
  210. current = prevN;
  211. continue;
  212. }
  213. Debug.Assert(current._previousConcat is Concat2AsyncIterator<TSource>);
  214. Debug.Assert(index == 0 || index == 1);
  215. return current._previousConcat.GetAsyncEnumerable(index);
  216. }
  217. }
  218. }
  219. }
  220. }