跳轉

Question

我有下面的代碼來定義我的FSM狀態：

enum states 
{ 
    START,    // Send request to remote IP or wait for a request (WAIT_CONN_REQ) 
    WAIT_RESP,   // Chat request sent to remote IP. Waiting for a response from the target machine 
    SEND_CONN_RESP,  // Chat request received from remote IP. ACCEPT or REJECT 
    ACCEPTED   // Both parties agreed to exchange datagrams. Begin application data (MESSAGES) exchange 
}; 
typedef enum states states; 
states state; 

我的思維過程是這樣的：我的聊天程序將具有上述四種狀態。整潔地做這件事的最好方法是什麼？當然使用switch語句。那我該怎麼做呢？像這樣的：（代碼簡化&與printf功能」

int main(int argc, char *argv[]) 
{ 
    state = START; 
    switch (state) 
    { 
     case START: 
      printf("Simple Chat Client - START state\n"); 
      if (argv[1] != NULL) 
      { 
       SEND_CONN_REQ(); 
       } else { 
       WAIT_CONN_REQ(); 
      } 
      break; 
     case WAIT_RESP: 
      printf("WAIT_RESP STATE!"); 
      break; 
     case SEND_CONN_RESP: 
      printf("SEND_CONN_RESP state!"); 
      break; 
     case ACCEPTED: 
      printf("ACCEPTED state!"); 
      break; 
    } 
} 

但這並不做我想我需要在條件滿足就跳轉到另一種情況下，像這樣什麼代替：。

if (argv[1] != NULL) 
        { 
         SEND_CONN_REQ(); 
         goto case WAIT_RESP;   
         } else { 
         WAIT_CONN_REQ(); 
        } 
        break; 
       case WAIT_RESP: 
        printf("WAIT_RESP STATE!"); 
        break; 

我的邏輯告訴我，要做到這一點的辦法是改變state變量，假定整個switch將與新的變量再次執行。但是，什麼情況是，我必須要麼使用break和退出switch，或者不使用它並讓程序執行下一個case。

所以我看了其他選項，如do報表和continue。但在我看來，使用case似乎是與FSM一起使用的方式。

我將不勝感激關於如何正確執行此操作的任何幫助。是一個switch聲明甚至是最好的方式？

Answer 1

正常的方式來編寫一個狀態機一樣，使用循環和開關：

state = START; 
while (state != STOP) 
{ 
    switch (state) 
    { 
     case START: 
      printf("Simple Chat Client - START state\n"); 
      if (argv[1] != NULL) 
      { 
       SEND_CONN_REQ(); 
      } else { 
       WAIT_CONN_REQ(); 
      } 
      break; 
     case WAIT_RESP: 
      printf("WAIT_RESP STATE!"); 
      break; 
     case SEND_CONN_RESP: 
      printf("SEND_CONN_RESP state!"); 
      break; 
     case ACCEPTED: 
      printf("ACCEPTED state!"); 
      break; 
    } 
} 

每個動作可以選擇設置新的狀態，以便下一次迭代將做適當的行動。如果您想及時查看輸出，請不要忘記在printf()語句的末尾輸出換行符。在Windows上可能無關緊要;它在其他平臺上運行。

Answer 2

如果您總是隻想執行正確的狀態，您可以刪除break聲明。我會在/* fall through */這樣的地方發表評論，這樣很明顯，它是故意遺漏的人跟隨，以及你的未來，忘記自我。我個人不喜歡這種方法。

爲什麼不改變state變量，然後在switch語句正上方執行goto？像這樣也許：

switchStart: 
    switch (state) 
    { 
     case START: 
      printf("Simple Chat Client - START state\n"); 
      if (argv[1] != NULL) 
      { 
       SEND_CONN_REQ(); 
       state = STATE_HERE; // change your state 
       goto switchStart; // jump to the top of the switch 
       } else { 
       WAIT_CONN_REQ(); 
      } 
      break; 
     case WAIT_RESP: 
      printf("WAIT_RESP STATE!"); 
      break; 
     case SEND_CONN_RESP: 
      printf("SEND_CONN_RESP state!"); 
      break; 
     case ACCEPTED: 
      printf("ACCEPTED state!"); 
      break; 
    }