10 バイト (タイムアウトなしのオーバーラップ モード) で、 5 バイトが読み取られた後にReadFile()呼び出すとどうなりますか? CancelIo()のドキュメントにCancelIo()は、保留中の I/O をキャンセルすると書かれていますが、既に読み取られた 5 バイトはどうなりますか? 彼らは失われていますか?それらは再エンキューされているので、次回ReadFile()はそれらを再度取得しますか?
何らかの方法で示す仕様を探しています。経験的な証拠に頼りたくない。