本文對C語言的邏輯控制做一番較為深入的探討，一般來說C語言的邏輯控制語句主要有如下的7種:

1、 goto 最強大，但一般只在特殊環境下使用。
2、 if else
3、 ?:
4、 switch case
5、 for
6、 while
7、 do while

自從dijkstra的論文Go To Statement Considered Harmful以后，C語言代碼很少看到goto了。（一般用在多次資源分配的錯誤處理上）
但，從計算機的角度來說，缺少goto（jmp指令）還真沒法干活。其實，goto是最符合我們的設計流程圖的。
將一個流程圖用goto來實現也最直觀。goto能真正讓我們做到心之所動，劍之所至。

接下來，分別考慮將2-7轉化為對應的goto語言版本（等價于轉化為對應匯編版本）。

2、if語句

if (條件1)//代碼塊1else//代碼塊2

對應goto：

t = 條件1；if (t為真）goto true；//代碼塊2goto finishtrue：//代碼塊1finish：

3、?: 和if else是等價的。

只不過if語句為代碼塊，？：為表達式。

變量= (條件1)? 表達式1：表達式2；

goto版本：

t = 條件1；if (t為真)goto true；//變量=表達式2goto finish；true：//變量=表達式1finish：

注意：?:里面的表達式盡量簡單，過于復雜的話，改用if語句實現，這樣方便調試。

4、switch-case

switch (條件取值變量)case 元素1 ：//語句塊1；break；case 元素2：//語句塊2；break；...case 元素N//語句塊N；break；default：//默認處理。break；}

goto版本：

跳轉表={標簽1，標簽2，...,標簽N }goto 跳轉表[元素index]//標簽1：//語句塊1goto Finish//標簽2：//語句塊2goto Finish...//標簽N：//語句塊Ngoto Finishdefault：//默認處理。Finish:

5、for語句

for (初始化語句；判斷語句；迭代語句)//循環語句塊

goto版本：

//初始化語句；if (判斷語句為否)goto Finish；loop：//循環語句塊//迭代語句if (判斷語句為真)goto loop；Finish：

6、while語句

while(條件為真)//代碼塊//迭代塊

對應goto版本：

loop：t = 條件if (不為真) goto Finish；//代碼塊//迭代塊Finish：

7、do-while語句

do {//語句塊1//迭代塊1} while (條件為真)

goto版本：

loop：//語句塊1//迭代塊1if (條件為真) goto loop；

C語言的goto同匯編語句jmp系列指令邏輯上是完全一致的。

注意：

1、 關于條件，有個經典的邏輯代數公式：
摩根公式：
!(A && B) = (!A) || (!B)
建議，對復雜邏輯，手動畫代數運算表
A B 結果
0 0 ?
0 1 ?
1 0 ?
1 1 ?
并保證單體測試的全覆蓋。

2、 邏輯操作和位操作是2組，需要區分開來。
與 或 反
邏輯： && || !
位： & | ~ ^ (異或)

3 強烈推薦在寫代碼前，在紙上畫完整的流程圖，梳理自己的設計思路。