如果类型 X 满足下述要求,则它满足 AsyncReadStream 要求。
在下表中,a 表示类型 X 的一个值,mb 表示一个(可能是 const 的)值,它满足 MutableBufferSequence 要求,而 t 是一个完成令牌。
表 6. AsyncReadStream 要求
|
操作 |
type |
语义、前/后置条件 |
|---|---|---|
|
|
满足 Executor 要求的类型。 |
返回关联的 I/O 执行器。 |
|
|
返回类型根据 异步操作 的要求确定。 |
满足 读取操作 和 异步操作 的要求,其完成签名如下: |