ReadFile и WriteFile с перекрывающимся вводом-выводом, если не ERROR_IO_PENDING?

If hFile was opened with FILE_FLAG_OVERLAPPED The lpNumberOfBytesWritten parameter should be set to NULL.

это неправда (ошибка или ложь). lpNumberOfBytesWrittenмогу должен быть установлен в НУЛЕВОЙ, но не должен. если запрос ввода-вывода завершен синхронно с успехом, в *lpNumberOfBytesWritten будет допустимое количество байтов.

также обратите внимание, что lpNumberOfBytesне должен указывает на местоположение, которое будет действительным до завершения операции (например, lpOverlapped) - например, он может указывать на локальную переменную в функции, и вы можете выйти из функции до завершения ввода-вывода - и это будет нормально слишком. система просто скопирует InternalHigh из OVERLAPPED в *lpNumberOfBytes. так в псевдокоде:

if (lpNumberOfBytes) *lpNumberOfBytes = (ULONG)lpOverlapped->InternalHigh;

очевидно правильное значение в *lpNumberOfBytes будет только в том случае, если ввод-вывод уже завершен успешно. так что и использовать его можно только в этом случае. система не запоминает значение lpNumberOfBytes, потому что оно должно быть действительным только во время вызова [Write|Read]File, но не во время активного ввода-вывода (что может быть дольше в случае асинхронного ввода-вывода)

GetOverlappedResult мы можем вызвать, если запрос ввода-вывода завершен синхронно с успехом (в случае ReadFile или WriteFile, если они возвращают TRUE) или если ожидание возвращено. этот API не может быть вызван только в случае сбоя запроса ввода-вывода (ReadFile или WriteFile вернуть FALSE и GetLastError() != ERROR_IO_PENDING)

поэтому лучше всего всегда передавать не 0 лпнумберофбайтес в API и использовать его, если API завершится только с успехом. в противном случае используйте GetOverlappedResult или, если вы говорите, что используете BindIoCompletionCallback - вы напрямую получили dwNumberOfBytesTransfered в обратном вызове.

поэтому концептуально можно использовать следующий код:

inline ULONG BOOL_TO_ERROR(BOOL f)
{
    return f ? NOERROR : GetLastError();
}

HANDLE hFile = CreateFile(*, FILE_GENERIC_READ, FILE_SHARE_READ, 0, 
    OPEN_EXISTING, FILE_FLAG_OVERLAPPED, 0);

if (hFile != INVALID_HANDLE_VALUE)
{
    UCHAR buf[0x200];
    OVERLAPPED ov = {};
    ULONG NumberOfBytesRead;

    ULONG dwError = BOOL_TO_ERROR(ReadFile(hFile, buf, sizeof(buf), &NumberOfBytesRead, &ov));

    switch (dwError)
    {
    case ERROR_IO_PENDING:
        dwError = BOOL_TO_ERROR(GetOverlappedResult(hFile, &ov, &NumberOfBytesRead, TRUE));
        if (dwError != NOERROR) goto __default;
        [[fallthrough]];

    case NOERROR:
        DbgPrint("NumberOfBytesRead=%x\n", NumberOfBytesRead);
        // use GetOverlappedResult(hFile, &ov, &NumberOfBytesRead, TRUE) here also possible
        break;
__default:
    default:
    DbgPrint("dwError = %u\n", dwError);
    }

    CloseHandle(hFile);
}