在C++程序中添加邏輯流程控制

問題的由來

在計算機程序中，除了常見的執行流程控制，還有邏輯流程控制；有時候，執行過程是一個邏輯過程，但大多數情況下是不一樣的。例如，假設Web服務器使用同步套接字讀取HTTP請求，將編寫以下代碼:

void read(HTTP _ REQUEST & HTTP _ REQUEST)
{
read(HTTP _ REQUEST . header)；
read(http_request.body，http _ request . header)；
}

void read(HTTP _ REQUEST _ HEADER & HEADER)
{
string line = read _ line()；
parse_request_link(line，header.method，header.uri，
header . version)；

while(TRUE)
{
line = read _ line()；
if(line . empty())
break；

parse_header_field(行，頭)；
}
}

void read(BYTE[]& body，HTTP _ REQUEST _ HEADER & HEADER)
{
string Transfer _ Encoding = HEADER . fields[' Transfer-Encoding ']；
if (transfer_encoding！= b . chunkedb .)
body = read _ bytes(header . fields[' Content-Length '])；
else
{
while(TRUE)
{
string chunk _ header = read _ line()；
DWORD chunk _ size = atoi(chunk _ header)；
if(chunk _ size = = 0)
break；
BYTE[]chunk _ body = read _ bytes(chunk _ size)；
body = chunk _ body；
}
}
}

string read _ line()
{
while(TRUE)
{
int n = strpos(read _ buffer，b.\nb .，read _ buffer . size())；
if(n >0)
break；
read _ buffer = socket . read()；
}
return read _ buffer . extract(n)；
}

byte[]read _ bytes(int SZ)
{
while(TRUE)
{
if(SZ break；
read _ buffer = socket . read()；
}
return read _ buffer . extract(SZ)；
}

在這段代碼中，執行過程與邏輯過程是一致的。但是，如果在被動接收事件的情況下使用異步套接字，則必須編寫以下代碼:

read()
{
read _ buffer = socket . read()；
if(state = = read _ request _ line)
{
if(！read _ line(line))
return；
parse_request_link(行，方法，uri，版本)；
state = read _ header _ field；
}
while(state = = read _ request _ line)
{
if(！read _ line(line))
return；
if(line . empty())
{
Transfer _ Encoding = header . fields[' Transfer-Encoding ']；
if (transfer_encoding！= b . chunkedb .)
{
Content _ Length = header . fields[' Content-Length ']；
state = read _ body；
}
else
state = read _ chunk _ header；
}
else
parse _ header _ field(line，header，value)；
}
if(state = = read _ body)
{
request _ body = read _ buffer；
read _ buffer . clear()；
if(request _ body . size()> = content _ length)
state = read _ finished；
退貨；
}
if(state = = read _ chunk _ header)
{
if(！read _ line(line))
return；
chunk _ size = atoi(line)；
if(chunk _ size = = 0)
{
state = read _ finished；
退貨；
}
state = read _ body；
}
if(state = = read _ chunk _ body)
{
request _ body . append(read _ buffer，chunk _ size)；
if(chunk _ size = = 0)
state = read _ chunk _ header；
退貨；
}
}