QueryLanguageEx.cs 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579
  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.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. var work = default(IObservable<TSource>);
  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. var result = default(IObservable<TSource>);
  133. try
  134. {
  135. result = _selector(x);
  136. }
  137. catch (Exception exception)
  138. {
  139. lock (outGate)
  140. {
  141. observer.OnError(exception);
  142. }
  143. }
  144. lock (q)
  145. {
  146. q.Enqueue(result);
  147. activeCount++;
  148. }
  149. ensureActive();
  150. },
  151. exception =>
  152. {
  153. lock (outGate)
  154. {
  155. observer.OnError(exception);
  156. }
  157. },
  158. () =>
  159. {
  160. d.Remove(m1);
  161. var done = false;
  162. lock (q)
  163. {
  164. activeCount--;
  165. if (activeCount == 0)
  166. {
  167. done = true;
  168. }
  169. }
  170. if (done)
  171. {
  172. lock (outGate)
  173. {
  174. observer.OnCompleted();
  175. }
  176. }
  177. });
  178. self();
  179. });
  180. }
  181. }
  182. lock (q)
  183. {
  184. q.Enqueue(_source);
  185. activeCount++;
  186. }
  187. ensureActive();
  188. return d;
  189. }
  190. }
  191. public virtual IObservable<TSource> Expand<TSource>(IObservable<TSource> source, Func<TSource, IObservable<TSource>> selector)
  192. {
  193. return source.Expand(selector, SchedulerDefaults.Iteration);
  194. }
  195. #endregion
  196. #region ForkJoin
  197. public virtual IObservable<TResult> ForkJoin<TFirst, TSecond, TResult>(IObservable<TFirst> first, IObservable<TSecond> second, Func<TFirst, TSecond, TResult> resultSelector)
  198. {
  199. return Combine<TFirst, TSecond, TResult>(first, second, (observer, leftSubscription, rightSubscription) =>
  200. {
  201. var leftStopped = false;
  202. var rightStopped = false;
  203. var hasLeft = false;
  204. var hasRight = false;
  205. var lastLeft = default(TFirst);
  206. var lastRight = default(TSecond);
  207. return new BinaryObserver<TFirst, TSecond>(
  208. left =>
  209. {
  210. switch (left.Kind)
  211. {
  212. case NotificationKind.OnNext:
  213. hasLeft = true;
  214. lastLeft = left.Value;
  215. break;
  216. case NotificationKind.OnError:
  217. rightSubscription.Dispose();
  218. observer.OnError(left.Exception);
  219. break;
  220. case NotificationKind.OnCompleted:
  221. leftStopped = true;
  222. if (rightStopped)
  223. {
  224. if (!hasLeft)
  225. {
  226. observer.OnCompleted();
  227. }
  228. else if (!hasRight)
  229. {
  230. observer.OnCompleted();
  231. }
  232. else
  233. {
  234. TResult result;
  235. try
  236. {
  237. result = resultSelector(lastLeft, lastRight);
  238. }
  239. catch (Exception exception)
  240. {
  241. observer.OnError(exception);
  242. return;
  243. }
  244. observer.OnNext(result);
  245. observer.OnCompleted();
  246. }
  247. }
  248. break;
  249. }
  250. },
  251. right =>
  252. {
  253. switch (right.Kind)
  254. {
  255. case NotificationKind.OnNext:
  256. hasRight = true;
  257. lastRight = right.Value;
  258. break;
  259. case NotificationKind.OnError:
  260. leftSubscription.Dispose();
  261. observer.OnError(right.Exception);
  262. break;
  263. case NotificationKind.OnCompleted:
  264. rightStopped = true;
  265. if (leftStopped)
  266. {
  267. if (!hasLeft)
  268. {
  269. observer.OnCompleted();
  270. }
  271. else if (!hasRight)
  272. {
  273. observer.OnCompleted();
  274. }
  275. else
  276. {
  277. TResult result;
  278. try
  279. {
  280. result = resultSelector(lastLeft, lastRight);
  281. }
  282. catch (Exception exception)
  283. {
  284. observer.OnError(exception);
  285. return;
  286. }
  287. observer.OnNext(result);
  288. observer.OnCompleted();
  289. }
  290. }
  291. break;
  292. }
  293. });
  294. });
  295. }
  296. public virtual IObservable<TSource[]> ForkJoin<TSource>(params IObservable<TSource>[] sources)
  297. {
  298. return sources.ForkJoin();
  299. }
  300. public virtual IObservable<TSource[]> ForkJoin<TSource>(IEnumerable<IObservable<TSource>> sources)
  301. {
  302. return new ForkJoinObservable<TSource>(sources);
  303. }
  304. private sealed class ForkJoinObservable<TSource> : ObservableBase<TSource[]>
  305. {
  306. private readonly IEnumerable<IObservable<TSource>> _sources;
  307. public ForkJoinObservable(IEnumerable<IObservable<TSource>> sources)
  308. {
  309. _sources = sources;
  310. }
  311. protected override IDisposable SubscribeCore(IObserver<TSource[]> observer)
  312. {
  313. var allSources = _sources.ToArray();
  314. var count = allSources.Length;
  315. if (count == 0)
  316. {
  317. observer.OnCompleted();
  318. return Disposable.Empty;
  319. }
  320. var group = new CompositeDisposable(allSources.Length);
  321. var gate = new object();
  322. var finished = false;
  323. var hasResults = new bool[count];
  324. var hasCompleted = new bool[count];
  325. var results = new List<TSource>(count);
  326. lock (gate)
  327. {
  328. for (var index = 0; index < count; index++)
  329. {
  330. var currentIndex = index;
  331. var source = allSources[index];
  332. results.Add(default);
  333. group.Add(source.Subscribe(
  334. value =>
  335. {
  336. lock (gate)
  337. {
  338. if (!finished)
  339. {
  340. hasResults[currentIndex] = true;
  341. results[currentIndex] = value;
  342. }
  343. }
  344. },
  345. error =>
  346. {
  347. lock (gate)
  348. {
  349. finished = true;
  350. observer.OnError(error);
  351. group.Dispose();
  352. }
  353. },
  354. () =>
  355. {
  356. lock (gate)
  357. {
  358. if (!finished)
  359. {
  360. if (!hasResults[currentIndex])
  361. {
  362. observer.OnCompleted();
  363. return;
  364. }
  365. hasCompleted[currentIndex] = true;
  366. foreach (var completed in hasCompleted)
  367. {
  368. if (!completed)
  369. {
  370. return;
  371. }
  372. }
  373. finished = true;
  374. observer.OnNext(results.ToArray());
  375. observer.OnCompleted();
  376. }
  377. }
  378. }));
  379. }
  380. }
  381. return group;
  382. }
  383. }
  384. #endregion
  385. #region Let
  386. public virtual IObservable<TResult> Let<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, IObservable<TResult>> function)
  387. {
  388. return function(source);
  389. }
  390. #endregion
  391. #region ManySelect
  392. public virtual IObservable<TResult> ManySelect<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, TResult> selector)
  393. {
  394. return ManySelect(source, selector, DefaultScheduler.Instance);
  395. }
  396. public virtual IObservable<TResult> ManySelect<TSource, TResult>(IObservable<TSource> source, Func<IObservable<TSource>, TResult> selector, IScheduler scheduler)
  397. {
  398. return Observable.Defer(() =>
  399. {
  400. var chain = default(ChainObservable<TSource>);
  401. return source
  402. .Select(
  403. x =>
  404. {
  405. var curr = new ChainObservable<TSource>(x);
  406. if (chain != null)
  407. {
  408. chain.OnNext(curr);
  409. }
  410. chain = curr;
  411. return (IObservable<TSource>)curr;
  412. })
  413. .Do(
  414. _ => { },
  415. exception =>
  416. {
  417. if (chain != null)
  418. {
  419. chain.OnError(exception);
  420. }
  421. },
  422. () =>
  423. {
  424. if (chain != null)
  425. {
  426. chain.OnCompleted();
  427. }
  428. })
  429. .ObserveOn(scheduler)
  430. .Select(selector);
  431. });
  432. }
  433. private class ChainObservable<T> : ISubject<IObservable<T>, T>
  434. {
  435. private readonly T _head;
  436. private readonly AsyncSubject<IObservable<T>> _tail = new AsyncSubject<IObservable<T>>();
  437. public ChainObservable(T head)
  438. {
  439. _head = head;
  440. }
  441. public IDisposable Subscribe(IObserver<T> observer)
  442. {
  443. var g = new CompositeDisposable();
  444. g.Add(CurrentThreadScheduler.Instance.ScheduleAction((observer, g, @this: this),
  445. state =>
  446. {
  447. state.observer.OnNext(state.@this._head);
  448. state.g.Add(state.@this._tail.Merge().Subscribe(state.observer));
  449. }));
  450. return g;
  451. }
  452. public void OnCompleted()
  453. {
  454. OnNext(Observable.Empty<T>());
  455. }
  456. public void OnError(Exception error)
  457. {
  458. OnNext(Observable.Throw<T>(error));
  459. }
  460. public void OnNext(IObservable<T> value)
  461. {
  462. _tail.OnNext(value);
  463. _tail.OnCompleted();
  464. }
  465. }
  466. #endregion
  467. #region ToListObservable
  468. public virtual ListObservable<TSource> ToListObservable<TSource>(IObservable<TSource> source)
  469. {
  470. return new ListObservable<TSource>(source);
  471. }
  472. #endregion
  473. #region |> Helpers <|
  474. 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)
  475. {
  476. return new CombineObservable<TLeft, TRight, TResult>(leftSource, rightSource, combinerSelector);
  477. }
  478. private sealed class CombineObservable<TLeft, TRight, TResult> : ObservableBase<TResult>
  479. {
  480. private readonly IObservable<TLeft> _leftSource;
  481. private readonly IObservable<TRight> _rightSource;
  482. private readonly Func<IObserver<TResult>, IDisposable, IDisposable, IObserver<Either<Notification<TLeft>, Notification<TRight>>>> _combinerSelector;
  483. public CombineObservable(IObservable<TLeft> leftSource, IObservable<TRight> rightSource, Func<IObserver<TResult>, IDisposable, IDisposable, IObserver<Either<Notification<TLeft>, Notification<TRight>>>> combinerSelector)
  484. {
  485. _leftSource = leftSource;
  486. _rightSource = rightSource;
  487. _combinerSelector = combinerSelector;
  488. }
  489. protected override IDisposable SubscribeCore(IObserver<TResult> observer)
  490. {
  491. var leftSubscription = new SingleAssignmentDisposable();
  492. var rightSubscription = new SingleAssignmentDisposable();
  493. var combiner = _combinerSelector(observer, leftSubscription, rightSubscription);
  494. var gate = new object();
  495. leftSubscription.Disposable = _leftSource.Materialize().Select(x => Either<Notification<TLeft>, Notification<TRight>>.CreateLeft(x)).Synchronize(gate).Subscribe(combiner);
  496. rightSubscription.Disposable = _rightSource.Materialize().Select(x => Either<Notification<TLeft>, Notification<TRight>>.CreateRight(x)).Synchronize(gate).Subscribe(combiner);
  497. return StableCompositeDisposable.Create(leftSubscription, rightSubscription);
  498. }
  499. }
  500. #endregion
  501. }
  502. }