QueryLanguageEx.cs 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572
  1. // Licensed to the .NET Foundation under one or more agreements.
  2. // The .NET Foundation licenses this file to you under the MIT License.
  3. // See the LICENSE file in the project root for more information.
  4. using System.Collections.Generic;
  5. using System.Linq;
  6. using System.Reactive.Concurrency;
  7. using System.Reactive.Disposables;
  8. using System.Reactive.Subjects;
  9. namespace System.Reactive.Linq
  10. {
  11. internal class QueryLanguageEx : IQueryLanguageEx
  12. {
  13. #region Create
  14. public virtual IObservable<TResult> Create<TResult>(Func<IObserver<TResult>, IEnumerable<IObservable<object>>> iteratorMethod)
  15. {
  16. return new CreateWithEnumerableObservable<TResult>(iteratorMethod);
  17. }
  18. private sealed class CreateWithEnumerableObservable<TResult> : ObservableBase<TResult>
  19. {
  20. private readonly Func<IObserver<TResult>, IEnumerable<IObservable<object>>> _iteratorMethod;
  21. public CreateWithEnumerableObservable(Func<IObserver<TResult>, IEnumerable<IObservable<object>>> iteratorMethod)
  22. {
  23. _iteratorMethod = iteratorMethod;
  24. }
  25. protected override IDisposable SubscribeCore(IObserver<TResult> observer)
  26. {
  27. return _iteratorMethod(observer)
  28. .Concat()
  29. .Subscribe(new TerminalOnlyObserver<TResult>(observer));
  30. }
  31. }
  32. private sealed class TerminalOnlyObserver<TResult> : IObserver<object>
  33. {
  34. private readonly IObserver<TResult> _observer;
  35. public TerminalOnlyObserver(IObserver<TResult> observer)
  36. {
  37. _observer = observer;
  38. }
  39. public void OnCompleted()
  40. {
  41. _observer.OnCompleted();
  42. }
  43. public void OnError(Exception error)
  44. {
  45. _observer.OnError(error);
  46. }
  47. public void OnNext(object value)
  48. {
  49. // deliberately ignored
  50. }
  51. }
  52. public virtual IObservable<Unit> Create(Func<IEnumerable<IObservable<object>>> iteratorMethod)
  53. {
  54. return new CreateWithOnlyEnumerableObservable<Unit>(iteratorMethod);
  55. }
  56. private sealed class CreateWithOnlyEnumerableObservable<TResult> : ObservableBase<TResult>
  57. {
  58. private readonly Func<IEnumerable<IObservable<object>>> _iteratorMethod;
  59. public CreateWithOnlyEnumerableObservable(Func<IEnumerable<IObservable<object>>> iteratorMethod)
  60. {
  61. _iteratorMethod = iteratorMethod;
  62. }
  63. protected override IDisposable SubscribeCore(IObserver<TResult> observer)
  64. {
  65. return _iteratorMethod()
  66. .Concat()
  67. .Subscribe(new TerminalOnlyObserver<TResult>(observer));
  68. }
  69. }
  70. #endregion
  71. #region Expand
  72. public virtual IObservable<TSource> Expand<TSource>(IObservable<TSource> source, Func<TSource, IObservable<TSource>> selector, IScheduler scheduler)
  73. {
  74. return new ExpandObservable<TSource>(source, selector, scheduler);
  75. }
  76. private sealed class ExpandObservable<TSource> : ObservableBase<TSource>
  77. {
  78. private readonly IObservable<TSource> _source;
  79. private readonly Func<TSource, IObservable<TSource>> _selector;
  80. private readonly IScheduler _scheduler;
  81. public ExpandObservable(IObservable<TSource> source, Func<TSource, IObservable<TSource>> selector, IScheduler scheduler)
  82. {
  83. _source = source;
  84. _selector = selector;
  85. _scheduler = scheduler;
  86. }
  87. protected override IDisposable SubscribeCore(IObserver<TSource> observer)
  88. {
  89. var outGate = new object();
  90. var q = new Queue<IObservable<TSource>>();
  91. var m = new SerialDisposable();
  92. var d = new CompositeDisposable { m };
  93. var activeCount = 0;
  94. var isAcquired = false;
  95. void ensureActive()
  96. {
  97. var isOwner = false;
  98. lock (q)
  99. {
  100. if (q.Count > 0)
  101. {
  102. isOwner = !isAcquired;
  103. isAcquired = true;
  104. }
  105. }
  106. if (isOwner)
  107. {
  108. m.Disposable = _scheduler.Schedule(self =>
  109. {
  110. IObservable<TSource> work;
  111. lock (q)
  112. {
  113. if (q.Count > 0)
  114. {
  115. work = q.Dequeue();
  116. }
  117. else
  118. {
  119. isAcquired = false;
  120. return;
  121. }
  122. }
  123. var m1 = new SingleAssignmentDisposable();
  124. d.Add(m1);
  125. m1.Disposable = work.Subscribe(
  126. x =>
  127. {
  128. lock (outGate)
  129. {
  130. observer.OnNext(x);
  131. }
  132. IObservable<TSource> result;
  133. try
  134. {
  135. result = _selector(x);
  136. }
  137. catch (Exception exception)
  138. {
  139. lock (outGate)
  140. {
  141. observer.OnError(exception);
  142. }
  143. return;
  144. }
  145. lock (q)
  146. {
  147. q.Enqueue(result);
  148. activeCount++;
  149. }
  150. ensureActive();
  151. },
  152. exception =>
  153. {
  154. lock (outGate)
  155. {
  156. observer.OnError(exception);
  157. }
  158. },
  159. () =>
  160. {
  161. d.Remove(m1);
  162. var done = false;
  163. lock (q)
  164. {
  165. activeCount--;
  166. if (activeCount == 0)
  167. {
  168. done = true;
  169. }
  170. }
  171. if (done)
  172. {
  173. lock (outGate)
  174. {
  175. observer.OnCompleted();
  176. }
  177. }
  178. });
  179. self();
  180. });
  181. }
  182. }
  183. lock (q)
  184. {
  185. q.Enqueue(_source);
  186. activeCount++;
  187. }
  188. ensureActive();
  189. return d;
  190. }
  191. }
  192. public virtual IObservable<TSource> Expand<TSource>(IObservable<TSource> source, Func<TSource, IObservable<TSource>> selector)
  193. {
  194. return source.Expand(selector, SchedulerDefaults.Iteration);
  195. }
  196. #endregion
  197. #region ForkJoin
  198. public virtual IObservable<TResult> ForkJoin<TFirst, TSecond, TResult>(IObservable<TFirst> first, IObservable<TSecond> second, Func<TFirst, TSecond, TResult> resultSelector)
  199. {
  200. return Combine<TFirst, TSecond, TResult>(first, second, (observer, leftSubscription, rightSubscription) =>
  201. {
  202. var leftStopped = false;
  203. var rightStopped = false;
  204. var hasLeft = false;
  205. var hasRight = false;
  206. var lastLeft = default(TFirst);
  207. var lastRight = default(TSecond);
  208. return new BinaryObserver<TFirst, TSecond>(
  209. left =>
  210. {
  211. switch (left.Kind)
  212. {
  213. case NotificationKind.OnNext:
  214. hasLeft = true;
  215. lastLeft = left.Value;
  216. break;
  217. case NotificationKind.OnError:
  218. rightSubscription.Dispose();
  219. observer.OnError(left.Exception!);
  220. break;
  221. case NotificationKind.OnCompleted:
  222. leftStopped = true;
  223. if (rightStopped)
  224. {
  225. if (!hasLeft)
  226. {
  227. observer.OnCompleted();
  228. }
  229. else if (!hasRight)
  230. {
  231. observer.OnCompleted();
  232. }
  233. else
  234. {
  235. TResult result;
  236. try
  237. {
  238. result = resultSelector(lastLeft!, lastRight!);
  239. }
  240. catch (Exception exception)
  241. {
  242. observer.OnError(exception);
  243. return;
  244. }
  245. observer.OnNext(result);
  246. observer.OnCompleted();
  247. }
  248. }
  249. break;
  250. }
  251. },
  252. right =>
  253. {
  254. switch (right.Kind)
  255. {
  256. case NotificationKind.OnNext:
  257. hasRight = true;
  258. lastRight = right.Value;
  259. break;
  260. case NotificationKind.OnError:
  261. leftSubscription.Dispose();
  262. observer.OnError(right.Exception!);
  263. break;
  264. case NotificationKind.OnCompleted:
  265. rightStopped = true;
  266. if (leftStopped)
  267. {
  268. if (!hasLeft)
  269. {
  270. observer.OnCompleted();
  271. }
  272. else if (!hasRight)
  273. {
  274. observer.OnCompleted();
  275. }
  276. else
  277. {
  278. TResult result;
  279. try
  280. {
  281. result = resultSelector(lastLeft!, lastRight!);
  282. }
  283. catch (Exception exception)
  284. {
  285. observer.OnError(exception);
  286. return;
  287. }
  288. observer.OnNext(result);
  289. observer.OnCompleted();
  290. }
  291. }
  292. break;
  293. }
  294. });
  295. });
  296. }
  297. public virtual IObservable<TSource[]> ForkJoin<TSource>(params IObservable<TSource>[] sources)
  298. {
  299. return sources.ForkJoin();
  300. }
  301. public virtual IObservable<TSource[]> ForkJoin<TSource>(IEnumerable<IObservable<TSource>> sources)
  302. {
  303. return new ForkJoinObservable<TSource>(sources);
  304. }
  305. private sealed class ForkJoinObservable<TSource> : ObservableBase<TSource[]>
  306. {
  307. private readonly IEnumerable<IObservable<TSource>> _sources;
  308. public ForkJoinObservable(IEnumerable<IObservable<TSource>> sources)
  309. {
  310. _sources = sources;
  311. }
  312. protected override IDisposable SubscribeCore(IObserver<TSource[]> observer)
  313. {
  314. var allSources = _sources.ToArray();
  315. var count = allSources.Length;
  316. if (count == 0)
  317. {
  318. observer.OnCompleted();
  319. return Disposable.Empty;
  320. }
  321. var group = new CompositeDisposable(allSources.Length);
  322. var gate = new object();
  323. var finished = false;
  324. var hasResults = new bool[count];
  325. var hasCompleted = new bool[count];
  326. var results = new List<TSource>(count);
  327. lock (gate)
  328. {
  329. for (var index = 0; index < count; index++)
  330. {
  331. var currentIndex = index;
  332. var source = allSources[index];
  333. results.Add(default!); // NB: Reserves a space; the default value gets overwritten below.
  334. group.Add(source.Subscribe(
  335. value =>
  336. {
  337. lock (gate)
  338. {
  339. if (!finished)
  340. {
  341. hasResults[currentIndex] = true;
  342. results[currentIndex] = value;
  343. }
  344. }
  345. },
  346. error =>
  347. {
  348. lock (gate)
  349. {
  350. finished = true;
  351. observer.OnError(error);
  352. group.Dispose();
  353. }
  354. },
  355. () =>
  356. {
  357. lock (gate)
  358. {
  359. if (!finished)
  360. {
  361. if (!hasResults[currentIndex])
  362. {
  363. observer.OnCompleted();
  364. return;
  365. }
  366. hasCompleted[currentIndex] = true;
  367. foreach (var completed in hasCompleted)
  368. {
  369. if (!completed)
  370. {
  371. return;
  372. }
  373. }
  374. finished = true;
  375. observer.OnNext(results.ToArray());
  376. observer.OnCompleted();
  377. }
  378. }
  379. }));
  380. }
  381. }
  382. return group;
  383. }
  384. }
  385. #endregion
  386. #region Let
  387. public virtual IObservable<TResult> Let<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, IObservable<TResult>> function)
  388. {
  389. return function(source);
  390. }
  391. #endregion
  392. #region ManySelect
  393. public virtual IObservable<TResult> ManySelect<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, TResult> selector)
  394. {
  395. return ManySelect(source, selector, DefaultScheduler.Instance);
  396. }
  397. public virtual IObservable<TResult> ManySelect<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, TResult> selector, IScheduler scheduler)
  398. {
  399. return Observable.Defer(() =>
  400. {
  401. ChainObservable<TSource>? chain = null;
  402. return source
  403. .Select(
  404. x =>
  405. {
  406. var curr = new ChainObservable<TSource>(x);
  407. chain?.OnNext(curr);
  408. chain = curr;
  409. return (IObservable<TSource>)curr;
  410. })
  411. .Do(
  412. _ => { },
  413. exception =>
  414. {
  415. chain?.OnError(exception);
  416. },
  417. () =>
  418. {
  419. chain?.OnCompleted();
  420. })
  421. .ObserveOn(scheduler)
  422. .Select(selector);
  423. });
  424. }
  425. private class ChainObservable<T> : ISubject<IObservable<T>, T>
  426. {
  427. private readonly T _head;
  428. private readonly AsyncSubject<IObservable<T>> _tail = new AsyncSubject<IObservable<T>>();
  429. public ChainObservable(T head)
  430. {
  431. _head = head;
  432. }
  433. public IDisposable Subscribe(IObserver<T> observer)
  434. {
  435. var g = new CompositeDisposable();
  436. g.Add(CurrentThreadScheduler.Instance.ScheduleAction((observer, g, @this: this),
  437. state =>
  438. {
  439. state.observer.OnNext(state.@this._head);
  440. state.g.Add(state.@this._tail.Merge().Subscribe(state.observer));
  441. }));
  442. return g;
  443. }
  444. public void OnCompleted()
  445. {
  446. OnNext(Observable.Empty<T>());
  447. }
  448. public void OnError(Exception error)
  449. {
  450. OnNext(Observable.Throw<T>(error));
  451. }
  452. public void OnNext(IObservable<T> value)
  453. {
  454. _tail.OnNext(value);
  455. _tail.OnCompleted();
  456. }
  457. }
  458. #endregion
  459. #region ToListObservable
  460. public virtual ListObservable<TSource> ToListObservable<TSource>(IObservable<TSource> source)
  461. {
  462. return new ListObservable<TSource>(source);
  463. }
  464. #endregion
  465. #region |> Helpers <|
  466. private static IObservable<TResult> Combine<TLeft, TRight, TResult>(IObservable<TLeft> leftSource, IObservable<TRight> rightSource, Func<IObserver<TResult>, IDisposable, IDisposable, IObserver<Either<Notification<TLeft>, Notification<TRight>>>> combinerSelector)
  467. {
  468. return new CombineObservable<TLeft, TRight, TResult>(leftSource, rightSource, combinerSelector);
  469. }
  470. private sealed class CombineObservable<TLeft, TRight, TResult> : ObservableBase<TResult>
  471. {
  472. private readonly IObservable<TLeft> _leftSource;
  473. private readonly IObservable<TRight> _rightSource;
  474. private readonly Func<IObserver<TResult>, IDisposable, IDisposable, IObserver<Either<Notification<TLeft>, Notification<TRight>>>> _combinerSelector;
  475. public CombineObservable(IObservable<TLeft> leftSource, IObservable<TRight> rightSource, Func<IObserver<TResult>, IDisposable, IDisposable, IObserver<Either<Notification<TLeft>, Notification<TRight>>>> combinerSelector)
  476. {
  477. _leftSource = leftSource;
  478. _rightSource = rightSource;
  479. _combinerSelector = combinerSelector;
  480. }
  481. protected override IDisposable SubscribeCore(IObserver<TResult> observer)
  482. {
  483. var leftSubscription = new SingleAssignmentDisposable();
  484. var rightSubscription = new SingleAssignmentDisposable();
  485. var combiner = _combinerSelector(observer, leftSubscription, rightSubscription);
  486. var gate = new object();
  487. leftSubscription.Disposable = _leftSource.Materialize().Select(x => Either<Notification<TLeft>, Notification<TRight>>.CreateLeft(x)).Synchronize(gate).Subscribe(combiner);
  488. rightSubscription.Disposable = _rightSource.Materialize().Select(x => Either<Notification<TLeft>, Notification<TRight>>.CreateRight(x)).Synchronize(gate).Subscribe(combiner);
  489. return StableCompositeDisposable.Create(leftSubscription, rightSubscription);
  490. }
  491. }
  492. #endregion
  493. }
  494. }