靜態(tài)代碼分析工具可簡化編碼過程，檢測出錯(cuò)誤并幫助修復(fù)。PVS-Studio 是一個(gè)用于 C/C++ 的靜態(tài)代碼分析工具。該團(tuán)隊(duì)檢測了 200 多個(gè) C/C++ 開源項(xiàng)目，包括了 Unreal Engine、Php、Haiku、Qt 和 Linux 內(nèi)核等知名項(xiàng)目。于是他們每天分享一個(gè)錯(cuò)誤案例，并給出相應(yīng)建議。

這個(gè) bug 是在 Unreal Engine 4 的源代碼中發(fā)現(xiàn)的。

錯(cuò)誤代碼：

void FSlateNotificationManager::GetWindows(
 TArray< TSharedRef<SWindow> >& OutWindows) const
{
 for( auto Iter(NotificationLists.CreateConstIterator());
    Iter; Iter++ )
 {
  TSharedPtr<SNotificationList> NotificationList = *Iter;
  ....
 }
}

解釋：

如果不讀標(biāo)題的話，你可能很難發(fā)現(xiàn)這段代碼里的問題。第一眼看上去這段代碼完全正確，其實(shí)它并不完美。沒錯(cuò)，我指的是后自增運(yùn)算符 Iter++ 。 我們應(yīng)該盡量使用前自增運(yùn)算符而不是后自增運(yùn)算符，即用 ++ Iter 代替 Iter++ 。 為什么要這么做，有什么有實(shí)際價(jià)值？下面我會(huì)詳細(xì)解釋。

正確代碼：

void FSlateNotificationManager::GetWindows(
 TArray< TSharedRef<SWindow> >& OutWindows) const
{
 for( auto Iter(NotificationLists.CreateConstIterator());
    Iter; ++Iter)
 {
  TSharedPtr<SNotificationList> NotificationList = *Iter;
  ....
 }
}

建議：

前綴和后綴形式之間的區(qū)別是眾所周知的。我希望它們內(nèi)部結(jié)構(gòu)的區(qū)別（告訴了我們運(yùn)算法則）大家也是清楚的。如果你有使用過運(yùn)算符重載的話，肯定已經(jīng)意識(shí)到了。沒有用過的話，我在這兒簡單地解釋一下（用過運(yùn)算符重載的可以跳過下面關(guān)于運(yùn)算符重載的例子）。

前自增運(yùn)算符改變了對(duì)象的狀態(tài)并返回對(duì)象改變后的狀態(tài)，不需要?jiǎng)?chuàng)建臨時(shí)對(duì)象。下面是前自增運(yùn)算符的例子：

MyOwnClass& operator++()
{
 ++meOwnField;
 return (*this);
}

后自增運(yùn)算符也改變了對(duì)象的狀態(tài)但是返回的是對(duì)象改變前的狀態(tài)，并且需要?jiǎng)?chuàng)建一個(gè)臨時(shí)對(duì)象。下面是后自增運(yùn)算符重載的例子：

MyOwnClass operator++(int)
{
 MyOWnCLass tmp = *this;
 ++(*this);
 return tmp;
}

看到上面這段代碼，你會(huì)發(fā)現(xiàn)有一個(gè)額外的操作，就是要?jiǎng)?chuàng)建一個(gè)臨時(shí)對(duì)象，在實(shí)踐中這點(diǎn)太重要了！

現(xiàn)在的編譯器做代碼優(yōu)化的時(shí)候非常智能，如果沒有用處，是不會(huì)隨便創(chuàng)建臨時(shí)對(duì)象的。這就是為什么在發(fā)布版中我們很難發(fā)現(xiàn)i++和++i的區(qū)別。

但是在調(diào)試模式下進(jìn)行程序調(diào)試的時(shí)候就是另一回事了，這時(shí)候你會(huì)看到性能上有很大差別。

有一些例子可以估計(jì)調(diào)試版本中使用前自增和后自增運(yùn)算符的代碼運(yùn)行時(shí)間，我們可以看到使用后綴形式所用時(shí)間幾乎是前綴的四倍。

有人會(huì)說：”那又怎么樣？反正發(fā)布版都是一樣的。”，這種想法說對(duì)也對(duì)說不對(duì)也不對(duì)。通常我們會(huì)花更多的時(shí)間做單元測試和調(diào)試程序，所以大多數(shù)時(shí)間都在調(diào)試版本下工作，誰也不想浪費(fèi)時(shí)間在那兒等吧？

關(guān)于“對(duì)于迭代器，我們是否應(yīng)該用前自增運(yùn)算符(++i)來代替后自增運(yùn)算符(i++)？”這個(gè)問題，我想認(rèn)真地回答: “是的，真應(yīng)該這么做”。 你會(huì)發(fā)現(xiàn)在調(diào)試版本中速度大大提升。 如果迭代器很復(fù)雜的話，這么做的好處更是顯而易見了。

這個(gè)錯(cuò)誤是用靜態(tài)代碼分析工具 PVS-Studio 發(fā)現(xiàn)的，錯(cuò)誤信息為：V803 性能下降。 如果iter是迭代器的話，使用前自增運(yùn)算符會(huì)更高效，使用++iter代替iter++.

總結(jié)

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