await foreach

[ufcpp]

非同期ストリームの話は分けて issue 立てる。

await using の次に。 というか、foreach は using 的な挙動を含んでて、await foreach も await using 的な挙動を含んでる。

• https://ufcpp.net/study/csharp/sp_foreach.html の最後にでも await foreach の話を足す
  • パターンベース
  • 同期版 foreach と違ってオプション引数・params 可
  • CancellationToken な引数すら、あってもなくてもいい
  • 拡張メソッドは相変わらずダメ
  • パターンは IAsyncEnumerable 準拠
  • MoveNextAsync/DisposeAsync の戻り値も、bool な「awaitable」なら型は問わない。
  • CancellationToken を渡したければ WithCancellation で渡す ValueTask<bool> 必須じゃない
  • DisposeAsync 部分もパターンベース
  • await foreach からは DisposeAsync しか呼ばれない。同期版 Dispose は対象外
  • 生成のされ方は await using と一緒
  • このページの「余談: duck typing」のところ、pattern-based に変えた方がいいかも？
• https://ufcpp.net/study/csharp/sp5_async.html にも末尾辺りに追加 ＆ ↑へのリンク？
• https://ufcpp.net/study/csharp/st_loop.html にも？
• enumerator (enumerable ではなく)への直 foreach は結局しなかったみたい

[ufcpp]

as で動的に IAsyncDisposable の存在を確認したりはしないらしい。 以下のコードだと DisposeAsync は呼ばれない。

using System;
using System.Threading.Tasks;

class A
{
    public A GetAsyncEnumerator() => this;
    public int Current => 0;
    public ValueTask<bool> MoveNextAsync() => default;
}

class B : A, IAsyncDisposable
{
    public ValueTask DisposeAsync()
    {
        Console.WriteLine("ここは絶対に呼ばれないみたい");
        return default;
    }
}

public class Program
{
    public static async Task Main()
    {
        await foreach (var x in new B()) ;
    }
}

という話まで書くべき？

[ufcpp]

必要なのは一通り書いたはず。 https://ufcpp.net/study/csharp/async/asyncstream/#await-foreach

https://ufcpp.net/study/csharp/st_loop.html からのリンクはなくていいや。

WithCancellation の話は非同期イテレーターの方で書く。