在C++中使用Lambda函數提高代碼效能

使編譯器以及作業系統從正在建立的應用中榨取更高效能的關鍵在於提供充足的有關代碼意圖的資訊。在充分瞭解這個代碼意圖實現的功能等資訊的情況下，就有可能將代碼在編譯時間和運行時的並行輸送量最大化，令開發人員可以將更多精力放在他們所關注的商業領域的問題，將重量級的多核多處理器的任務計劃交託給編譯器，執行階段程式庫以及作業系統中的基礎設施代碼來處理。

迴圈函數是很重要的一個環節，因為在所有可用的硬體資源中，被分離的迴圈中的各個部分在一般情況下能夠提供更高的應用效能。考慮這樣一個小情況：迭代選定組合中的全部元素以求得總和。最簡單最直接的執行方法如下：

std::vector﹤int﹥ v;
v.push_back(1);
v.push_back(5);
int total = 0;
for (int ix = 0; ix ﹤ v.size(); ++ix){
total += v[ix];
}

以上的例子十分便於人工讀寫。對於熟悉C語言家族文法的開發人員而言，這個迴圈的意圖也十分容易理解。然而對於編譯器以及執行階段程式庫的組合而言，要在多個線程之間計劃好這個迴圈，它還需要類似於OpenMP編譯指示一類的指示來告訴它哪裡有最佳化的空間：

std::vector﹤int﹥ v;
v.push_back(1);
v.push_back(5);
int total = 0;
#pragma omp for
for (int ix = 0; ix ﹤ v.size(); ++ix){
#pragma omp atomic
total += v[ix];
}

第一個OpenMP指示提出了多線程運行for迴圈的要求，而第二個omp atomic指示則被用來防止多線程同時向總數變數上寫入。對於OpenMP，在MSDN庫的參考文檔中有關於所有指示的詳細介紹。

如果使用了聲明式迴圈技巧，那麼將並行方法應用在向量求和上則更加乾淨簡單。STL for_each函數是一個理想的替代品，以上的例子則被改寫如下：

class Adder{
private:
int _total;
public:
Adder() : _total(0) {}
void operator ( ) ( int& i )
{
_total += i;
}
operator int ( )
{
return _total;
}
};
void VectorAdd()
{
std::vector﹤int﹥ v;
v.push_back(1);
v.push_back(5);
int total = std::for_each(v.begin(), v.end(), Adder());
}

這裡，具體的for迴圈被捨棄，求向量和的代碼變得乾淨了一些；但是由於需要使用一系列運行符來定義一個類，這使得這個解決方案被大大的複雜化了。除非程式碼程式庫中還有大量類似的求和聲明，否則一個開發人員是不會僅僅為了STL for_each的那點好處而多花費功夫去定義一個新類的。

仔細檢查這個Adder類，可以很明顯的看出其大部分內容都僅僅是用來滿足將執行個體用作函數對象的調用條件的。這個類中唯一起到計算作用的僅僅是那一行_total += i.考慮到這一點，C++ 0x提供了一個被大大簡化了的、以lambda函數方式來實現的文法技巧。Lambda函數移除了對這些搭架子代碼的需求，並允許在另外的一個聲明中定義一個謂詞函數。由此，VectorAdd函數可以被改寫如下：

std::vector﹤int﹥ v;
v.push_back(1);
v.push_back(5);
int total = 0;
std::for_each(v.begin(), v.end(),
[&total](int x) {total += x;}
);