來源：單片機及嵌入式系統(tǒng)應用  作者：清華大學 張首釗 邵貝貝

程序的執(zhí)行流程是由條件判斷、跳轉(zhuǎn)和循環(huán)構(gòu)成的，沒有任何一個程序會缺少程序流的控制。那么像if、for、while、switch等這些程序員無比熟悉的語句也存在隱患嗎?事實上，C語言是很靈活的，這種靈活性給程序員編寫代碼帶來了很多便利，但同時也帶來了很多容易導致混淆的表達。這些表達完全符合C語言標準，但有時程序員也難以發(fā)現(xiàn)自己犯了錯誤，最終的結(jié)果是使程序進入錯誤的執(zhí)行流程。即使程序員沒有犯錯誤，但有些容易混淆的表達也會給其他人讀懂程序帶來困擾，使程序的維護變得困難。除此以外，有少量控制流程的方式還會產(chǎn)生不確定的運行結(jié)果，而這些結(jié)果也不容易被發(fā)覺。

如何使程序的流程控制清晰、準確，不產(chǎn)生混淆的表達呢?MISRA-C給出了很多的相關規(guī)定，使程序流的控制變得規(guī)范，避免產(chǎn)生各種混淆和不確定性，從而最大程度上減少程序流控制中的失誤，并使程序的維護更加容易。

下面從幾個例子出發(fā)，講述這些混淆是如何產(chǎn)生的，最后給出MISRA-C關于程序流控制的相關規(guī)則，幫助讀者規(guī)范編程的習慣。

1 容易混淆的表達方式
先來看這樣兩段代碼：

在C標準中，條件語句需要的是布爾值，條件語句表達式的布爾值實際上是按照整型處理的，所以這兩段代碼在語法和邏輯上都沒有任何問題。第一段代碼判斷x是否等于y．如果相等，調(diào)用foo()函數(shù)；第二段代碼首先將y的值賦給x，然后判斷x是否為O，如果不為0，調(diào)用foo()函數(shù)。這兩段代碼只相差一個等號，卻使判斷條件大不相同，程序的執(zhí)行流程會出現(xiàn)很大差別。

相信讀者在寫程序的時候都碰到過將“==”這個判斷語句誤寫成賦值語句“=”的情況。那么面對這兩個語句時，如何能快速準確地判斷這是正確的還是程序員的失誤呢?當程序比較簡單的時候，很容易判斷，但當程序流程比較復雜的時候，可能花費大量時間還難以給出確定的答案，而這些地方極有可能是有錯誤的。

這樣的混淆，事實上是可以輕松避免的，MISRA-C提出了如下強制性的規(guī)則。
規(guī)則13．1：賦值表達式不能用在需要布爾值的地方。按照MISRA-C的標準，第二段代碼應該寫成：

這樣，當看到需要布爾值的地方出現(xiàn)了賦值表達式，就可以立即判斷這是一個錯誤。在這條規(guī)則下，如下的表達也是不允許的：

與這條規(guī)則類似，MISRA-C還提出了如下推薦的規(guī)則，來避免整型變量和布爾型的混淆。

規(guī)則13.2(推薦)；判斷一個值是否為0應該是顯式的，除非該操作數(shù)是一個布爾值。

這條規(guī)則禁止了如下的表達：

同樣，這段代碼在語法和邏輯上也沒有任何問題，編譯器也不會給出任何錯誤或者警告。在程序執(zhí)行中，當x等于l的時候，將b的值賦給a，然后將a加2，退出；當x等于2的時候，直接將a的值加2，接著退出。但這兒很可能是一段錯誤的代碼，程序員的本意有可能是x等于1時，將b的值賦給a，當x等于2時，直接將a的值加2。

為了避免這樣的混淆，MISRA-C提出了如下強制性的規(guī)則。

規(guī)則15.2：所有非空的switch 子句都應該以break語句結(jié)束。
按照這條規(guī)則，上面的程序應該寫成：

MISRA-C中還有一些防止程序流控制中出現(xiàn)混淆的規(guī)則。
規(guī)則13．5：for語句中的3個表達式只能和循環(huán)控制相關。第一個表達式只能為循環(huán)變量賦初值，第二個表達式只能進行循環(huán)條件的判斷，第三個表達式只能進行循環(huán)變量增(減)值。

規(guī)則13.6：for循環(huán)中，循環(huán)變量只能在for語句的第三個表達式中修改，不允許在循環(huán)體中修改。

規(guī)則13.7：布爾表達式的值必須是可以改變的。
例如，如下代碼是不允許的：

錯誤在于該條件判斷的結(jié)果始終為真。
規(guī)則14.1：不能存在無法執(zhí)行到的代碼。
規(guī)則14.2：非空語句必須要么產(chǎn)生副作用(side effect)；或者使程序流程改變。

例如，下面的代碼是不允許的：

…
x>=3；

…
錯誤在于x和3比較的結(jié)果被丟棄了。

規(guī)則14.3：一行中如果有空語句，那么該行只能有這條空語句，不能有別的語句，并且在這條空語句前不能有注釋，注釋必須在其后，用空格隔開。
例如，如下的代碼都是不允許的；

來源：單片機及嵌入式系統(tǒng)應用  作者：清華大學 張首釗 邵貝貝

程序的執(zhí)行流程是由條件判斷、跳轉(zhuǎn)和循環(huán)構(gòu)成的，沒有任何一個程序會缺少程序流的控制。那么像if、for、while、switch等這些程序員無比熟悉的語句也存在隱患嗎?事實上，C語言是很靈活的，這種靈活性給程序員編寫代碼帶來了很多便利，但同時也帶來了很多容易導致混淆的表達。這些表達完全符合C語言標準，但有時程序員也難以發(fā)現(xiàn)自己犯了錯誤，最終的結(jié)果是使程序進入錯誤的執(zhí)行流程。即使程序員沒有犯錯誤，但有些容易混淆的表達也會給其他人讀懂程序帶來困擾，使程序的維護變得困難。除此以外，有少量控制流程的方式還會產(chǎn)生不確定的運行結(jié)果，而這些結(jié)果也不容易被發(fā)覺。

如何使程序的流程控制清晰、準確，不產(chǎn)生混淆的表達呢?MISRA-C給出了很多的相關規(guī)定，使程序流的控制變得規(guī)范，避免產(chǎn)生各種混淆和不確定性，從而最大程度上減少程序流控制中的失誤，并使程序的維護更加容易。

下面從幾個例子出發(fā)，講述這些混淆是如何產(chǎn)生的，最后給出MISRA-C關于程序流控制的相關規(guī)則，幫助讀者規(guī)范編程的習慣。

1 容易混淆的表達方式
先來看這樣兩段代碼：

在C標準中，條件語句需要的是布爾值，條件語句表達式的布爾值實際上是按照整型處理的，所以這兩段代碼在語法和邏輯上都沒有任何問題。第一段代碼判斷x是否等于y．如果相等，調(diào)用foo()函數(shù)；第二段代碼首先將y的值賦給x，然后判斷x是否為O，如果不為0，調(diào)用foo()函數(shù)。這兩段代碼只相差一個等號，卻使判斷條件大不相同，程序的執(zhí)行流程會出現(xiàn)很大差別。

相信讀者在寫程序的時候都碰到過將“==”這個判斷語句誤寫成賦值語句“=”的情況。那么面對這兩個語句時，如何能快速準確地判斷這是正確的還是程序員的失誤呢?當程序比較簡單的時候，很容易判斷，但當程序流程比較復雜的時候，可能花費大量時間還難以給出確定的答案，而這些地方極有可能是有錯誤的。

這樣的混淆，事實上是可以輕松避免的，MISRA-C提出了如下強制性的規(guī)則。
規(guī)則13．1：賦值表達式不能用在需要布爾值的地方。按照MISRA-C的標準，第二段代碼應該寫成：

這樣，當看到需要布爾值的地方出現(xiàn)了賦值表達式，就可以立即判斷這是一個錯誤。在這條規(guī)則下，如下的表達也是不允許的：

與這條規(guī)則類似，MISRA-C還提出了如下推薦的規(guī)則，來避免整型變量和布爾型的混淆。

規(guī)則13.2(推薦)；判斷一個值是否為0應該是顯式的，除非該操作數(shù)是一個布爾值。

這條規(guī)則禁止了如下的表達：

同樣，這段代碼在語法和邏輯上也沒有任何問題，編譯器也不會給出任何錯誤或者警告。在程序執(zhí)行中，當x等于l的時候，將b的值賦給a，然后將a加2，退出；當x等于2的時候，直接將a的值加2，接著退出。但這兒很可能是一段錯誤的代碼，程序員的本意有可能是x等于1時，將b的值賦給a，當x等于2時，直接將a的值加2。

為了避免這樣的混淆，MISRA-C提出了如下強制性的規(guī)則。

規(guī)則15.2：所有非空的switch 子句都應該以break語句結(jié)束。
按照這條規(guī)則，上面的程序應該寫成：

MISRA-C中還有一些防止程序流控制中出現(xiàn)混淆的規(guī)則。
規(guī)則13．5：for語句中的3個表達式只能和循環(huán)控制相關。第一個表達式只能為循環(huán)變量賦初值，第二個表達式只能進行循環(huán)條件的判斷，第三個表達式只能進行循環(huán)變量增(減)值。

規(guī)則13.6：for循環(huán)中，循環(huán)變量只能在for語句的第三個表達式中修改，不允許在循環(huán)體中修改。

規(guī)則13.7：布爾表達式的值必須是可以改變的。
例如，如下代碼是不允許的：

錯誤在于該條件判斷的結(jié)果始終為真。
規(guī)則14.1：不能存在無法執(zhí)行到的代碼。
規(guī)則14.2：非空語句必須要么產(chǎn)生副作用(side effect)；或者使程序流程改變。

例如，下面的代碼是不允許的：

…
x>=3；

…
錯誤在于x和3比較的結(jié)果被丟棄了。

規(guī)則14.3：一行中如果有空語句，那么該行只能有這條空語句，不能有別的語句，并且在這條空語句前不能有注釋，注釋必須在其后，用空格隔開。
例如，如下的代碼都是不允許的；