對(duì)于C++編程的老鳥來說，有時(shí)候他們喜歡把一些東西按照編譯器的工作原理進(jìn)行改寫，以便提高代碼的運(yùn)行效率。這么做確實(shí)高明，也能體現(xiàn)出程序員的水平，但是這么做也是有風(fēng)險(xiǎn)的。因?yàn)橛袝r(shí)候你可能會(huì)因?yàn)橐恍┖?jiǎn)單的筆誤，而造成非常難以察覺的錯(cuò)誤。本文就給出了類似的例子。

這個(gè)Bug 出現(xiàn)在MySQL源代碼中。

錯(cuò)誤代碼：

static int rr_cmp(uchar *a,uchar *b)
{
 if (a[0] != b[0])
  return (int) a[0] - (int) b[0];
 if (a[1] != b[1])
  return (int) a[1] - (int) b[1];
 if (a[2] != b[2])
  return (int) a[2] - (int) b[2];
 if (a[3] != b[3])
  return (int) a[3] - (int) b[3];
 if (a[4] != b[4])
  return (int) a[4] - (int) b[4];
 if (a[5] != b[5])
  return (int) a[1] - (int) b[5];   <<<<====
 if (a[6] != b[6])
  return (int) a[6] - (int) b[6];
 return (int) a[7] - (int) b[7];
}

說明：

這是一個(gè)在對(duì)代碼段進(jìn)行拷貝粘貼時(shí)出現(xiàn)的典型錯(cuò)誤。程序員很可能是把“if (a[1] != b[1]) (int) a[1] – (int) b[1];” 這段代碼拷貝了好幾遍（然后手動(dòng)改數(shù)組下標(biāo)），用來實(shí)現(xiàn)一個(gè)循環(huán)。不過程序員忘記把其中某一行的數(shù)組下標(biāo) 1 改成 5。結(jié)果就是函數(shù)有時(shí)候能返回正確的值（，有的時(shí)候則不行），這種錯(cuò)誤是很難偵測(cè)的。事實(shí)上這個(gè)錯(cuò)誤的確很難捕捉，在我們用 PVS-Studio 掃描 MySQL 源代碼之前，所有其他的測(cè)試都沒能發(fā)現(xiàn)這個(gè)錯(cuò)誤。

正確的代碼：

if (a[5] != b[5])
 return (int) a[5] - (int) b[5];

盡管之前的代碼看上去整潔易讀，但是程序員還是很有可能漏看這個(gè)錯(cuò)誤。因?yàn)檫@個(gè)代碼塊的內(nèi)部結(jié)構(gòu)很相似，所以你本能地會(huì)一掃而過，而不會(huì)特別集中注意力去閱讀代碼。

之所以把代碼寫成這樣，很可能是程序員想盡可能地優(yōu)化代碼。他（或她）想手動(dòng)“展開循環(huán)”（來進(jìn)行優(yōu)化）。不過我想在這兒可不是個(gè)好主意。

首先，我很懷疑程序員是不是真的能通過這種方法達(dá)到效果。要知道，現(xiàn)代編譯器已經(jīng)相當(dāng)智能了，如果真的能優(yōu)化程序性能，（編譯器）自動(dòng)就會(huì)完成展開循環(huán)的優(yōu)化。

其次，由于嘗試進(jìn)行優(yōu)化卻造成了代碼中出現(xiàn) bug。如果程序員一開始能老老實(shí)實(shí)寫一個(gè)簡(jiǎn)單循環(huán)，那么犯錯(cuò)誤的幾率就會(huì)降低很多。

我建議把這個(gè)方法寫成這樣：

static int rr_cmp(uchar *a,uchar *b)
{
 for (size_t i = 0; i < 7; ++i)
 {
  if (a[i] != b[i])
   return a[i] - b[i];
 }
 return a[7] - b[7];
}

這種寫法有兩個(gè)優(yōu)勢(shì)：

• 1.這個(gè)函數(shù)更容易閱讀和理解。
• 2.編寫代碼時(shí)，降低犯錯(cuò)幾率。

至于性能方面，我敢說這個(gè)版本不會(huì)比之前寫得很長(zhǎng)的那個(gè)版本慢。

這個(gè)推薦的方法實(shí)際上表達(dá)了下面的意思：代碼要簡(jiǎn)單易讀。簡(jiǎn)單的代碼通常即是正確的代碼。不要去做編譯器的工作——例如，（手動(dòng)）展開循環(huán)。編譯器很明確知道自己該做什么，并不需要你的幫助。手動(dòng)代碼優(yōu)化工作只針對(duì)某些特定的關(guān)鍵代碼，而且只在分析器已經(jīng)確認(rèn)這些代碼是瓶頸以后，才可能恰當(dāng)。

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對(duì)我們的支持。如果你想了解更多相關(guān)內(nèi)容請(qǐng)查看下面相關(guān)鏈接