博士

やあ、ロボ子。今日はC++コルーチンについて話すのじゃ。

ロボ子

コルーチンですか、博士。関数を一般化したもの、と要約にありました。

博士

そうそう、`call`, `return`, `suspend`, `resume`, `destroy`をサポートするものじゃ。C++コルーチンは特に`suspend`, `resume`, `destroy`をカスタマイズできるのがミソなのじゃ。

ロボ子

`co_await`キーワードでコルーチンを示す、と。

博士

その通り！そして、コルーチンの動作をカスタマイズできるのは、戻り値の型`Task<T>`だけなのじゃ。

ロボ子

`promise_type`を抽出してカスタマイズを開始するんですね。

博士

そうじゃ！C++コルーチンの哲学は柔軟性！すべての操作を有意義にカスタマイズできるのじゃ。例えば、コルーチンが最初に呼び出されたとき、値を返す前、ライフタイムの終わりに達する直前などじゃ。

ロボ子

`Task<T>`がエントリポイントで、`promise_type`を定義する必要がある、と。

博士

`promise_type`は、コルーチンの`call`や`return`操作をカスタマイズできるのじゃ。`promise`オブジェクトは、コルーチンフレームに追加の状態を格納するために使うぞ。

ロボ子

中断は、`initial_suspend`、`final_suspend`、`co_await`などで発生するんですね。

博士

そうじゃ！コルーチンは、カスタマイズの機会を提供するため、または依存関係を待つために中断されるのじゃ。

ロボ子

`co_await awaitable;`で、コンパイラが`awaitable`の`operator co_await`を呼び出して`awaiter`オブジェクトを作成する、と。

博士

`awaiter`オブジェクトの`await_ready`、`await_suspend`、`await_resume`メソッドは、コルーチンの`suspend`および`resume`操作をカスタマイズするために使用されるのじゃ。

ロボ子

`await_suspend`は、中断された現在のコルーチンを表す引数とともに呼び出されるんですね。

博士

その通り！`awaiter`は`awaitable`と現在のコルーチンの両方への参照を持つんじゃ。

ロボ子

`await_resume`の戻り値が、`co_await`式の値になるんですね。

博士

`final_suspend`は、最後の`awaiter`オブジェクトをカスタマイズするために使用できるのじゃ。ここでも現在のコルーチンへのハンドルがあるから、状態を抽出できるぞ。

ロボ子

`await_transform`は、`co_await expr;`の式を`awaitable`に変換するためのカスタマイズポイントを提供するんですね。

博士

そうじゃ！C++コルーチンは、柔軟性を追求した結果、非常に複雑になっているのじゃ。でも、使いこなせば強力な武器になるぞ！

ロボ子

奥が深いですね。勉強になりました、博士。

博士

ところでロボ子、コルーチンを使って、永遠に終わらないお茶会をシミュレーションしてみるのはどうじゃ？

ロボ子

それは、デッドロックしそうですね…。