生活随笔
收集整理的這篇文章主要介紹了
用汇编的眼光看C++（之判断流程）
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
【 聲明：版權所有，歡迎轉載，請勿用于商業用途。 ?聯系信箱：feixiaoxing @163.com】
?? ?在我們平常的編程當中，用于判斷的地方很多，但主要有下面三種方式：if-else；switch；？：。其中最后一種方式在本質上和if-else是一樣的。switch和if-else其實也一樣，如果我們把switch改成if（...） {} else if（...） {} else {}，那么你實現的效果和switch實際差不多，熟悉的朋友都會有這樣的體驗。或許有的朋友還是不太相信，大家可以自己用寫實例比較看一下。
?? ?（1） switch中的break重要嗎？
view plain
21:???????int?m?=?10;?? 004017A8???mov?????????dword?ptr?[ebp-4],0Ah?? 22:???????switch(m)?? 23:???????{?? 004017AF???mov?????????eax,dword?ptr?[ebp-4]?? 004017B2???mov?????????dword?ptr?[ebp-8],eax?? 004017B5???cmp?????????dword?ptr?[ebp-8],0Ah?? 004017B9???je??????????process+33h?(004017c3)?? 004017BB???cmp?????????dword?ptr?[ebp-8],0Bh?? 004017BF???je??????????process+42h?(004017d2)?? 004017C1???jmp?????????process+4Fh?(004017df)?? 24:???????case?10:?? 25:???????????printf("ten!\n");?? 004017C3???push????????offset?string?"ten!\n"?(0046f028)?? 004017C8???call????????printf?(004214d0)?? 004017CD???add?????????esp,4?? 26:???????????break;?? 004017D0???jmp?????????process+4Fh?(004017df)?? 27:?? 28:???????case?11:?? 29:???????????printf("eleven!\n");?? 004017D2???push????????offset?string?"eleven!\n"?(0046f01c)?? 004017D7???call????????printf?(004214d0)?? 004017DC???add?????????esp,4?? 30:???????????break;?? 31:?? 32:???????default:?? 33:???????????break;?? 34:???????}?? 35:???????return;?? 36:???}?? ?? ?上面的匯編代碼說明了有break的時候，函數是怎么編譯的。我們看到從地址0x4017AF處， CPU開始集中對m進行判斷。首先，m的數據被賦值到eax，然后eax拷貝到堆棧【ebp-8】的內存當中。接著開始比較數據10，即16進制0A，如果兩者相等，代碼跳轉到0x4017C3處理；但是如果不相等呢，那么指令會按照原來的排列順序繼續向下走，和11繼續比較，如果比較成功，那么就會到地址0x4017d2處執行，如果都不相等，那么只好跳出switch模塊，到地址0x4017df處執行了。前面我們說到，如果數據和10或者11比較成功的話，那么就會跳轉到相應的case語句處繼續執行，可是比較結束后，還會跳轉到原來的位置嗎？匯編代碼告訴我們，他們不會。因為case比較結束后，也要到地址ox4017df處報到。
?? ?如果這里case10后面沒有break呢？情況會不會不一樣呢？
view plain
004017A8???mov?????????dword?ptr?[ebp-4],0Ah?? 22:???????switch(m)?? 23:???????{?? 004017AF???mov?????????eax,dword?ptr?[ebp-4]?? 004017B2???mov?????????dword?ptr?[ebp-8],eax?? 004017B5???cmp?????????dword?ptr?[ebp-8],0Ah?? 004017B9???je??????????process+33h?(004017c3)?? 004017BB???cmp?????????dword?ptr?[ebp-8],0Bh?? 004017BF???je??????????process+40h?(004017d0)?? 004017C1???jmp?????????process+4Dh?(004017dd)?? 24:???????case?10:?? 25:???????????printf("ten!\n");?? 004017C3???push????????offset?string?"ten!\n"?(0046f028)?? 004017C8???call????????printf?(004214d0)?? 004017CD???add?????????esp,4?? 26:?? 27:???????case?11:?? 28:???????????printf("eleven!\n");?? 004017D0???push????????offset?string?"eleven!\n"?(0046f01c)?? 004017D5???call????????printf?(004214d0)?? 004017DA???add?????????esp,4?? 29:???????????break;?? 30:?? 31:???????default:?? 32:???????????break;?? 33:???????}?? 34:???????return;?? 35:???}?? ?? ?我們在case10后面取消了break語句。和原來的情形稍有不同，我們發現case10在執行了printf函數之后，并沒有跳出當前的switch模塊，而是繼續執行case11的語句。所以在輸出結果的時候，你會發現ten和eleven都有打印。看了這樣清晰的流程之后，相信你對break的重要性又有了新的認識。在匯編面前，一切都一目了然。
?? ?（2）if中的&&和||是怎么運算的？
?? ?同樣，我們可以看下面一段示例。
view plain
21:???????int?m?=?10;?? 004017A8???mov?????????dword?ptr?[ebp-4],0Ah?? 22:???????int?n?=?0;?? 004017AF???mov?????????dword?ptr?[ebp-8],0?? 23:?? 24:???????if(m?==?10?&&?n?==?0)?? 004017B6???cmp?????????dword?ptr?[ebp-4],0Ah?? 004017BA???jne?????????process+3Fh?(004017cf)?? 004017BC???cmp?????????dword?ptr?[ebp-8],0?? 004017C0???jne?????????process+3Fh?(004017cf)?? 25:???????{?? 26:???????????printf("&&!\n");?? 004017C2???push????????offset?string?"&&!\n"?(0046f020)?? 004017C7???call????????printf?(004214e0)?? 004017CC???add?????????esp,4?? 27:???????}?? 28:?? 29:???????if(m?==?10?||?n?==?0)?? 004017CF???cmp?????????dword?ptr?[ebp-4],0Ah?? 004017D3???je??????????process+4Bh?(004017db)?? 004017D5???cmp?????????dword?ptr?[ebp-8],0?? 004017D9???jne?????????process+58h?(004017e8)?? 30:???????{?? 31:???????????printf("||");?? 004017DB???push????????offset?string?"||"?(0046f01c)?? 004017E0???call????????printf?(004214e0)?? 004017E5???add?????????esp,4?? 32:???????}?? ?? ?&&在C語言中是與的意思，而||是或的意思。與就是說，兩者均為真；而或的意思是兩方中一方為真即可。這在對應的匯編的語句上面也體現得淋漓盡致。首先我們看與的情形。從地址0x4017B6處地指令，我們發現首先比較的是m數據，然后比較的是n數據，這可以從他們在堆棧中的偏移值可以看出來。如果m和10比較，那么下面才有n和0比較的機會，一旦比較失敗，就會跳轉到地址0x4017cf處執行，跳出當前的判斷模塊。n和0比較也一樣，只有兩者都比較成功，才有機會進入地址0x4017C2處執行，打印&&。和與對應的是或，我們發現地址0x4017cf處開始比較的也是數據m，其次才是數據n。和與不同，m數據和n數據只要由一方成功，就會跳轉到地址0x4017db處執行。只有兩者都為假，才會跳出當前的模塊。所以說，兩個jne構成了與的基礎，一個je和一個jne構成了或的基石。大家可以自己試試看如果&&的選項和||的選項不斷進行疊加的時候會出現怎樣的情形？試試看。
總結：
?? ?if-else這種二分判斷結構其實在現在的編程中特別重要，也特別基礎。有一個關于二分法最顯著的代碼就是在順序數據中進行二分查找。如果有興趣的話，自己可以動筆試試？在這里，我有幾個建議：
?? ? （1）確保函數輸入的索引范圍有序 （start < end）
?? ?（2）在計算中間點的時候注意不要范圍溢出 （middle = start + (end - start) >> 1）
?? ?（3）考慮把你的函數修改成通用的二分法查找函數（可以考慮用const void*和函數指針）
轉載于:https://www.cnblogs.com/sier/archive/2011/09/21/5676495.html
總結
以上是生活随笔為你收集整理的用汇编的眼光看C++（之判断流程）的全部內容，希望文章能夠幫你解決所遇到的問題。
如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。
