3.5 選擇結構

　　選擇結構有單分支選擇結構、雙分支選擇結構和多分支選擇結構。C語言提供相應的if語句和switCh語句分別用來描述這些選擇結構。

　　1.單分支選擇語句

　　單分支選擇語句有以下形式：

　　if(表達式)

　　語句

　　這種形式的語句執行過程是：

　　(1)計算表達式的值;

　　(2)測試表達式的值。若表達式的值非0，則執行它的成分語句，并結束單分支選擇的執行;若表達式的值為0，則立即結束單分支選擇的執行。

　　2.雙分支選擇語句

　　漢分支選擇語句有以下形式：

　　if(表達式)

　　語句1

　　else

　　語句2

　　雙分支選擇語句根據給定的選擇條件表達式值為非0或為0兩種情況，從兩個供選擇的成分語句中自動選取一個成分語句執行。雙分支選擇語句的執行過程是：

　　(1)計算表達式的值;

　　(2)測試表達式的值并選擇執行語句。若表達式的值非0，則執行語句1，并結束雙分支選擇語句;否則執行語句2，并結束雙分支選擇語句。

　　注意;無論條件表達式的值為何值，只能執行語句1或語句2中的一個。當雙分文選擇語句中的else之后的語句2為空語句時，就變成單分支選擇語句。

　　單分文選擇語句和雙分支選擇語句統稱且語句。在if語句中的語句、語句1和語句2可以是任何語句。當它們中的某一個需用語句序列描述時，必須將這語句序列寫成復合語句。當它們中的某一個又是if語句時，就呈現嵌套的if語句形式。這時應注意else與if的對應關系。C語言約定else總是與它前面最接近的if對應。

　　為正確書寫if語句，特別說明以下幾點：

　　(1)若if語句中的語句、語句1、語句2是一個簡單語句，則這些簡單語句之后會有一個分號，這是C語言對這些簡單語句的要求。

　　(2)若if語句中的語句、語句l、語句2要用語句序列(即為順序結構)來實現，則必須將它們改寫成復合語句，即邏輯上把它們變成一個語句。

　　(3) 在if語句中，每個else總要與它前面的if對應，不可能出現沒有對應if的else。

　　3.多分支選擇語句

　　多分支選擇結構通常有 n(>2)個不同情況和 n+1個供選擇的分支。多分支選擇結構也可用前敘述的嵌套if語句來描述，但因if語句嵌套深度太多不便于程序編寫，也不便于理解，為此C語言專門提供了一種實現多分支選擇結構的語句，這就是switCh語句。它的一般形式是：

　　switeh(表達式){

　　case常量表達式 1：語句序列 1

　　case常量表達式 1：語句序列 2

　　case常量表達式 n：語句序列 n

　　defalt：語句序列 n+1

　　}

　　對switeh語句需說明以下幾點：

　　(1)switch后面括號內的表達式只限于是整型表達式或字符型表達式或枚舉型表達式。

　　(2)case后的常量表達式稱為情況前綴，要求所有常量表達式的值互不相同，并與switch后面括號內的表達式值的類型相一致。

　　(3)語句序列由任意條合法的C語句構成，也可以沒有語句。

　　(4)情況前綴default可以缺省，但至多出現一次，習慣總是將它寫在全部情況前綴之后，如有必要也可寫在某case之前。

　　switch語句的執行過程解釋如下：

　　先計算表達式的值，以該值依次與各case之后的常量表達式的值比較，按下列規則，選擇執行的入口：

　　如果表達式的值等于某個常量表達式的值，switch語句就從該常量表達式之后的語句序列的第一個語句開始執行，然后一直向下執行，或自動依次進入后繼常量表達式之后的語句序列繼續執行(如沒有 break語句)，或執行完語句序列 n+1，結束 switch語句的執行;或在執行某個語句序列過程中遇到轉出該switch語句的語句(如break語句)，就停止向下執行，結束switch語句的執行。

　　如果沒有相匹配的常量表達式，就從以default為情況前綴的語句序列開始執行。

　　如果沒有相匹配的常量表達式，也沒有defaul情況前綴，則該switch語句的這次執行立即結束。

　　由上述解釋可知，“case常量表達式”只是起語句序列入口的作用。在執行switch語句時，根據switch之后的表達式的值找到與該值匹配的入口，就從此人口處開始執行，只要未遇到轉出該switch語句的break語句或goto語句，就一直向下執行，也不再理會經過的case后的常量表達式。

　　如果要使各種情況互相排斥，僅執行各case所對應的語句序列，最常用的辦法是使用break語句，各語句序列都以break語句結束。在switch語句中，執行break語句將使控制轉向switch語句的后繼語句。

　　由于switch語句的表達式不允許是實型的，當應用于實型值選擇情況時，通常需作以下處理：將實表達式乘上一個適當的比例因子，使較大的實表達式值映照到一個較小的范圍上，然后再將它轉換到整型。