// Licensed to the .NET Foundation under one or more agreements. // The .NET Foundation licenses this file to you under the Apache 2.0 License. // See the LICENSE file in the project root for more information. using System.Collections.Generic; using System.Diagnostics; using System.Runtime.ExceptionServices; using System.Threading; using System.Threading.Tasks; namespace System.Linq { public static partial class AsyncEnumerableEx { public static IAsyncEnumerable Catch(this IAsyncEnumerable source, Func> handler) where TException : Exception { if (source == null) throw Error.ArgumentNull(nameof(source)); if (handler == null) throw Error.ArgumentNull(nameof(handler)); return new CatchAsyncIterator(source, handler); } public static IAsyncEnumerable Catch(this IAsyncEnumerable source, Func>> handler) where TException : Exception { if (source == null) throw Error.ArgumentNull(nameof(source)); if (handler == null) throw Error.ArgumentNull(nameof(handler)); return new CatchAsyncIteratorWithTask(source, handler); } #if !NO_DEEP_CANCELLATION public static IAsyncEnumerable Catch(this IAsyncEnumerable source, Func>> handler) where TException : Exception { if (source == null) throw Error.ArgumentNull(nameof(source)); if (handler == null) throw Error.ArgumentNull(nameof(handler)); return new CatchAsyncIteratorWithTaskAndCancellation(source, handler); } #endif public static IAsyncEnumerable Catch(this IEnumerable> sources) { if (sources == null) throw Error.ArgumentNull(nameof(sources)); return CatchCore(sources); } public static IAsyncEnumerable Catch(params IAsyncEnumerable[] sources) { if (sources == null) throw Error.ArgumentNull(nameof(sources)); return CatchCore(sources); } public static IAsyncEnumerable Catch(this IAsyncEnumerable first, IAsyncEnumerable second) { if (first == null) throw Error.ArgumentNull(nameof(first)); if (second == null) throw Error.ArgumentNull(nameof(second)); return CatchCore(new[] { first, second }); } private static IAsyncEnumerable CatchCore(IEnumerable> sources) { return new CatchAsyncIterator(sources); } private sealed class CatchAsyncIterator : AsyncIterator where TException : Exception { private readonly Func> _handler; private readonly IAsyncEnumerable _source; private IAsyncEnumerator _enumerator; private bool _isDone; public CatchAsyncIterator(IAsyncEnumerable source, Func> handler) { Debug.Assert(source != null); Debug.Assert(handler != null); _source = source; _handler = handler; } public override AsyncIteratorBase Clone() { return new CatchAsyncIterator(_source, _handler); } public override async ValueTask DisposeAsync() { if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); _enumerator = null; } await base.DisposeAsync().ConfigureAwait(false); } protected override async ValueTask MoveNextCore() { switch (_state) { case AsyncIteratorState.Allocated: _enumerator = _source.GetAsyncEnumerator(_cancellationToken); _isDone = false; _state = AsyncIteratorState.Iterating; goto case AsyncIteratorState.Iterating; case AsyncIteratorState.Iterating: while (true) { if (!_isDone) { try { if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } } catch (TException ex) { // Note: Ideally we'd dispose of the previous enumerator before // invoking the handler, but we use this order to preserve // current behavior var inner = _handler(ex); var err = inner.GetAsyncEnumerator(_cancellationToken); if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); } _enumerator = err; _isDone = true; continue; // loop so we hit the catch state } } if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } break; // while } break; // case } await DisposeAsync().ConfigureAwait(false); return false; } } private sealed class CatchAsyncIteratorWithTask : AsyncIterator where TException : Exception { private readonly Func>> _handler; private readonly IAsyncEnumerable _source; private IAsyncEnumerator _enumerator; private bool _isDone; public CatchAsyncIteratorWithTask(IAsyncEnumerable source, Func>> handler) { Debug.Assert(source != null); Debug.Assert(handler != null); _source = source; _handler = handler; } public override AsyncIteratorBase Clone() { return new CatchAsyncIteratorWithTask(_source, _handler); } public override async ValueTask DisposeAsync() { if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); _enumerator = null; } await base.DisposeAsync().ConfigureAwait(false); } protected override async ValueTask MoveNextCore() { switch (_state) { case AsyncIteratorState.Allocated: _enumerator = _source.GetAsyncEnumerator(_cancellationToken); _isDone = false; _state = AsyncIteratorState.Iterating; goto case AsyncIteratorState.Iterating; case AsyncIteratorState.Iterating: while (true) { if (!_isDone) { try { if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } } catch (TException ex) { // Note: Ideally we'd dispose of the previous enumerator before // invoking the handler, but we use this order to preserve // current behavior var inner = await _handler(ex).ConfigureAwait(false); var err = inner.GetAsyncEnumerator(_cancellationToken); if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); } _enumerator = err; _isDone = true; continue; // loop so we hit the catch state } } if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } break; // while } break; // case } await DisposeAsync().ConfigureAwait(false); return false; } } #if !NO_DEEP_CANCELLATION private sealed class CatchAsyncIteratorWithTaskAndCancellation : AsyncIterator where TException : Exception { private readonly Func>> _handler; private readonly IAsyncEnumerable _source; private IAsyncEnumerator _enumerator; private bool _isDone; public CatchAsyncIteratorWithTaskAndCancellation(IAsyncEnumerable source, Func>> handler) { Debug.Assert(source != null); Debug.Assert(handler != null); _source = source; _handler = handler; } public override AsyncIteratorBase Clone() { return new CatchAsyncIteratorWithTaskAndCancellation(_source, _handler); } public override async ValueTask DisposeAsync() { if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); _enumerator = null; } await base.DisposeAsync().ConfigureAwait(false); } protected override async ValueTask MoveNextCore() { switch (_state) { case AsyncIteratorState.Allocated: _enumerator = _source.GetAsyncEnumerator(_cancellationToken); _isDone = false; _state = AsyncIteratorState.Iterating; goto case AsyncIteratorState.Iterating; case AsyncIteratorState.Iterating: while (true) { if (!_isDone) { try { if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } } catch (TException ex) { // Note: Ideally we'd dispose of the previous enumerator before // invoking the handler, but we use this order to preserve // current behavior var inner = await _handler(ex, _cancellationToken).ConfigureAwait(false); var err = inner.GetAsyncEnumerator(_cancellationToken); if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); } _enumerator = err; _isDone = true; continue; // loop so we hit the catch state } } if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } break; // while } break; // case } await DisposeAsync().ConfigureAwait(false); return false; } } #endif private sealed class CatchAsyncIterator : AsyncIterator { private readonly IEnumerable> _sources; private IAsyncEnumerator _enumerator; private ExceptionDispatchInfo _error; private IEnumerator> _sourcesEnumerator; public CatchAsyncIterator(IEnumerable> sources) { Debug.Assert(sources != null); _sources = sources; } public override AsyncIteratorBase Clone() { return new CatchAsyncIterator(_sources); } public override async ValueTask DisposeAsync() { if (_sourcesEnumerator != null) { _sourcesEnumerator.Dispose(); _sourcesEnumerator = null; } if (_enumerator != null) { await _enumerator.DisposeAsync().ConfigureAwait(false); _enumerator = null; } _error = null; await base.DisposeAsync().ConfigureAwait(false); } protected override async ValueTask MoveNextCore() { switch (_state) { case AsyncIteratorState.Allocated: _sourcesEnumerator = _sources.GetEnumerator(); _state = AsyncIteratorState.Iterating; goto case AsyncIteratorState.Iterating; case AsyncIteratorState.Iterating: while (true) { if (_enumerator == null) { if (!_sourcesEnumerator.MoveNext()) { // only throw if we have an error on the last one _error?.Throw(); break; // done, nothing else to do } _error = null; _enumerator = _sourcesEnumerator.Current.GetAsyncEnumerator(_cancellationToken); } try { if (await _enumerator.MoveNextAsync().ConfigureAwait(false)) { _current = _enumerator.Current; return true; } } catch (Exception ex) { // Done with the current one, go to the next await _enumerator.DisposeAsync().ConfigureAwait(false); _enumerator = null; _error = ExceptionDispatchInfo.Capture(ex); continue; } break; // while } break; // case } await DisposeAsync().ConfigureAwait(false); return false; } } } }