GetQueuedCompletionStatus函数疑问

近期，在学习《windows网络与通信程序设计》一书，读到4.1时，一个小问题费死我半天劲，始终不得其解，而书中完全没有对该问题作出解答，故此记录一下。

问题如下：

main函数中有如下行：

::WSARecv(pPerHandle->s, &buf, 1, &dwRecv, &dwFlags, &pPerIO->ol, NULL);

 线程函数中有如下行：

BOOL bOK = ::GetQueuedCompletionStatus(hCompletion, &dwTrans, (LPDWORD)&pPerHandle, (LPOVERLAPPED*)&pPerIO, WSA_INFINITE);

那么问题来了，pPerIO明明是一个_PER_IO_DATA类型，为什么能直接转换为LPOVERLAPPED，main函数中传递的参数明明是&pPerIO->ol，怎么到这就不一样了。

先上代码

#include <iostream>
#include "..\ConsoleApplication1\initsock.h"
CInitSock theSock;
#define BUFFER_SIZE 1024
typedef struct _PER_HANDLE_DATA
{
	SOCKET s;
	sockaddr_in addr;
}PER_HANDLE_DATA, * PPER_HANDLE_DATA;
typedef struct _PER_IO_DATA
{
	OVERLAPPED ol;
	char buf[BUFFER_SIZE];
	int nOperationType;
#define OP_READ 1
#define OP_WRITE 2
#define OP_ACCEPT 3
}PER_IO_DATA, * PPER_IO_DATA;
DWORD WINAPI ServerThread(LPVOID lpParam);
int main()
{
	int nPort = 4567;
	HANDLE hCompletion = ::CreateIoCompletionPort(INVALID_HANDLE_VALUE, 0, 0, 0);
	::CreateThread(NULL, 0, ServerThread, (LPVOID)hCompletion, 0, 0);
	SOCKET sListen = ::socket(AF_INET, SOCK_STREAM, 0);
	SOCKADDR_IN si;
	si.sin_family = AF_INET;
	si.sin_port = ::htons(nPort);
	si.sin_addr.S_un.S_addr = INADDR_ANY;
	::bind(sListen, (sockaddr*)&si, sizeof(si));
	::listen(sListen, 5);
	while (TRUE)
	{
		SOCKADDR_IN saRemote;
		int nRemoteLen = sizeof(saRemote);
		SOCKET sNew = ::accept(sListen, (sockaddr*)&saRemote, &nRemoteLen);
		PPER_HANDLE_DATA pPerHandle = (PPER_HANDLE_DATA)::GlobalAlloc(GPTR, sizeof(PER_HANDLE_DATA));
		pPerHandle->s = sNew;
		memcpy(&pPerHandle->addr, &saRemote, nRemoteLen);
		::CreateIoCompletionPort((HANDLE)pPerHandle->s, hCompletion, (DWORD)pPerHandle, 0);

		PPER_IO_DATA pPerIO = (PPER_IO_DATA)::GlobalAlloc(GPTR, sizeof(PER_IO_DATA));
		pPerIO->nOperationType = OP_READ;
		WSABUF buf;
		buf.buf = pPerIO->buf;
		buf.len = BUFFER_SIZE;
		DWORD dwRecv;
		DWORD dwFlags = 0;
		::WSARecv(pPerHandle->s, &buf, 1, &dwRecv, &dwFlags, &pPerIO->ol, NULL);
	}
	std::cout << "Hello World!\n";
}
DWORD WINAPI ServerThread(LPVOID lpParam)
{
	HANDLE hCompletion = (HANDLE)lpParam;
	DWORD dwTrans;
	PPER_HANDLE_DATA pPerHandle;
	PPER_IO_DATA pPerIO;
	while (TRUE)
	{
		BOOL bOK = ::GetQueuedCompletionStatus(hCompletion, &dwTrans, (LPDWORD)&pPerHandle, (LPOVERLAPPED*)&pPerIO, WSA_INFINITE);
		if (!bOK)
		{
			::closesocket(pPerHandle->s);
			::GlobalFree(pPerHandle);
			::GlobalFree(pPerIO);
			printf("断开连接1");
			continue;
		}
		if (dwTrans == 0 &&
			(pPerIO->nOperationType == OP_READ || pPerIO->nOperationType == OP_WRITE))
		{
			::closesocket(pPerHandle->s);
			::GlobalFree(pPerHandle);
			::GlobalFree(pPerIO);
			printf("断开连接2");
			continue;
		}
		switch (pPerIO->nOperationType)
		{
		case OP_READ:
		{
			pPerIO->buf[dwTrans] = '\0';
			printf(pPerIO->buf);
			WSABUF buf;
			buf.buf = pPerIO->buf;
			buf.len = BUFFER_SIZE;
			pPerIO->nOperationType = OP_READ;
			DWORD nFlags = 0;
			::WSARecv(pPerHandle->s, &buf, 1, &dwTrans, &nFlags, &pPerIO->ol, NULL);
		}
		break;
		case OP_WRITE:
		case OP_ACCEPT:
			break;
		}
	}
	return 0;
}

左思右想无结果，后来偶然查看了下_PER_IO_DATA结构，发现：

typedef struct _PER_IO_DATA
{
    OVERLAPPED ol;
    char buf[BUFFER_SIZE];
    int nOperationType;
#define OP_READ 1
#define OP_WRITE 2
#define OP_ACCEPT 3
}PER_IO_DATA, * PPER_IO_DATA;

原来_PER_IO_DATA结构的第一个成员就是OVERLAPPED ol，当把&pPerIO->ol作为参数传递给WSARecv时，传递的地址其实就是pPerIO的地址，因为结构体的内存地址与结构体中第一个成员地址是一样的，所以可以相互转换。好比数组的地址与数组第一个元素地址是一样的这样，我真是晕，这书作者水平有限，感觉对我这样悟性差钻牛角尖的初学者相当不友好啊。