Sword STL之仿函數概念介紹

標籤：bin   產生   習慣   tran   nal   刪除   struct   ons   運算子多載   

--介紹函數和類似函數的對象(仿函數)遍布STL。關聯容器使用它們來使元素保持有序；find_if這樣的演算法使用它們來控制它們的行為；如果缺少它們，那麼比如for_each和transform這樣的組件就沒有意義了；比如not1和bind2nd這樣的適配器會積極地產生它們。

--定義仿函數（functor）就是一個重載了"()"運算子的struct或class(基本上使用struct)，利用對象支援operator()的特性，來達到類比函數調用效果的技術。仿函數的相應型別主要用來表現函數參數型別和傳回值型別。為了方便起見，<functional>定義了兩個基類，分別代表一元仿函數(unary_function)和二元
仿函數(binary_function)（STL不支援三元仿函數）當然我們也可以不繼承這兩個基類，只要實現"()"運算子多載即可

--詳解STL函數對象在函數指標之後成型，所以STL中的習慣是當傳給函數和從函數返回時函數對象也是值傳遞的（也就是拷貝）,函數對象的值拷貝暗含以下兩個要求:第一，你的函數對象應該很小。否則它們的拷貝會很昂貴。第二，你的函數對象必須單態（也就是，非多態，純函數）——它們不能用虛函數。那是因為衍生類別對象以值傳遞代入基類類型的參數會造成切割問題，在拷貝時，它們的派生部分被刪除。

純函數的定義純函數是傳回值只依賴於參數的函數。如果f是一個純函數，x和y是對象，f(x, y)的傳回值僅當x或y的 值改變的時候才會改變。 在C++中，由純函數引用的所有資料不是作為參數傳進的就是在函數生存期內是常量。（一般，這樣的常量應該聲明為const。）

//非純函數例子int func1(int x){    /*    這並非一個純函數，因為有a這個靜態變數，每一次調用func1,a的值都會發生變化    即使每次x是相同的，但是傳回值是不同的    */    static int a = 1;    a++;    return x + a;}

 

Sword STL之仿函數概念介紹