- 480 名前：ミミ mailto:sage [04/09/24 18:47:28]
- ■検問所式コールバックの実装
┌──┐
│ │
│ │ CbA ┌─────┐
│ │ ┌─┘ │
│ ├──┼─┐ ContA │
OS │ │ │ └─────┘
側 │ ⇔ │
│ │ │ ┌─────┐
│ ├──┼─┘ │
│ │ └─┐ o--───── ここから ContA を呼んでも
│ │ CbB └─────┘ OS 側に正しく戻ってくれる。
│ │
└──┘
コールバックは必ず検問所(⇔)を通して呼び出されるし、
検問所を通して戻る。検問所を通して戻るときは、
必要があればスタックの回復を行ってくれる。
したがって、Scheme 側では継続とコールバックの関係を
気にしなくてよい。
