關(guān)于C++仿函數(shù)

【導(dǎo)讀】：在我們?nèi)粘＞幋a中會發(fā)現(xiàn)有些功能代碼，會不斷的在不同的成員函數(shù)中用到，但是又不好將這些代碼獨(dú)立成一個(gè)成員函數(shù)。解決辦法之一就是寫一個(gè)公共的函數(shù)，不過函數(shù)用到的一些變量，就可能會成為全局變量。再說為了復(fù)用這么一段代碼，就要單立出一個(gè)函數(shù)，也不是很好維護(hù)。此時(shí)就可以用到仿函數(shù)了。

以下是正文

引入仿函數(shù)（functor）原因

先考慮一個(gè)簡單的例子：假設(shè)有一個(gè)vector《string》，你的任務(wù)是統(tǒng)計(jì)長度小于5的string的個(gè)數(shù)，如果使用count_if函數(shù)的話，你的代碼可能長成這樣：

bool LengthIsLessThanFive（const string& str）{ return str.length（） 《 5; }int res=count_if（vec.begin（）， vec.end（）， LengthIsLessThanFive）;

其中count_if函數(shù)的第三個(gè)參數(shù)是一個(gè)函數(shù)指針，返回一個(gè)bool類型的值。一般的，如果需要將特定的閾值長度也傳入的話，我們可能將函數(shù)寫成這樣：

bool LenthIsLessThan（const string& str， int len） { return str.length（） 《 len;}

這個(gè)函數(shù)看起來比前面一個(gè)版本更具有一般性，但是他不能滿足count_if函數(shù)的參數(shù)要求：count_if要求的是unary function（僅帶有一個(gè)參數(shù)）作為它的最后一個(gè)參數(shù)。所以問題來了，怎么樣找到以上兩個(gè)函數(shù)的一個(gè)折中的解決方案呢？

這個(gè)問題其實(shí)可以歸結(jié)于一個(gè)data flow的問題，要設(shè)計(jì)這樣一個(gè)函數(shù)，使其能夠access這個(gè)特定的length值，回顧我們已有的知識，有三種解決方案可以考慮：

（1）函數(shù)的局部變量：

局部變量不能在函數(shù)調(diào)用中傳遞，而且caller無法訪問。

（2）函數(shù)的參數(shù)：

這種方法我們已經(jīng)討論過了，多個(gè)參數(shù)不適用于count_if函數(shù)。

（3）全局變量：

我們可以將長度閾值設(shè)置成一個(gè)全局變量，代碼可能像這樣：

int maxLength;bool LengthIsLessThan（const string& str） { return str.length（） 《 maxLength;}int res=count_if（vec.begiin（）， vec.end（）， LengthIsLessThan）;

這段代碼看似很不錯(cuò)，實(shí)則不符合規(guī)范，更重要的是，它不優(yōu)雅。原因有以下幾點(diǎn)要考慮：

（1）容易出錯(cuò)：

為什么這么說呢，我們必須先初始化maxLength的值，才能繼續(xù)接下來的工作，如果我們忘了，則可能無法得到正確答案。此外，變量maxLength和函數(shù)LengthIsLessThan之間是沒有必然聯(lián)系的，編譯器無法確定在調(diào)用該函數(shù)前是否將變量初始化，給碼農(nóng)平添負(fù)擔(dān)。

（2）沒有可擴(kuò)展性：

如果我們每遇到一個(gè)類似的問題就新建一個(gè)全局變量，尤其是多人合作寫代碼時(shí)，很容易引起命名空間污染（namespace polution）的問題；當(dāng)范圍域內(nèi)有多個(gè)變量時(shí)，我們用到的可能不是我們想要的那個(gè)。

（3）全局變量的問題：

每當(dāng)新建一個(gè)全局變量，即使是為了coding的便利，我們也要知道我們應(yīng)該盡可能的少使用全局變量，因?yàn)樗腸ost很高；而且可能暗示你這里有一些待解決的優(yōu)化方案。

仿函數(shù)（functor）介紹

說了這么多，還是要回到我們原始的那個(gè)問題，有什么解決方案呢？答案當(dāng)然就是這篇blog的正題部分：仿函數(shù)。

我們的初衷是想設(shè)計(jì)一個(gè)unary function，使其能做binary function的工作，這看起來并不容易，但是仿函數(shù)能解決這個(gè)問題。

先來看仿函數(shù)的通俗定義：仿函數(shù)（functor）又稱為函數(shù)對象（function object）是一個(gè)能行使函數(shù)功能的類。仿函數(shù)的語法幾乎和我們普通的函數(shù)調(diào)用一樣，不過作為仿函數(shù)的類，都必須重載operator（）運(yùn)算符，舉個(gè)例子：

class Func{ public： void operator（） （const string& str） const { cout《《str《《endl; }};Func myFunc;myFunc（“helloworld！”）;

》》》helloworld！

仿函數(shù)其實(shí)是上述解決方案中的第四種方案：成員變量。成員函數(shù)可以很自然的訪問成員變量：

class StringAppend{ public： explicit StringAppend（const string& str） ： ss（str）{} void operator（） （const string& str） const{ cout《《str《《‘ ’《《ss《《endl; } private： const string ss; }; StringAppend myFunc（“is world”）; myFunc（“hello”）;

》》》hellois world

我相信這個(gè)例子能讓你體會到一點(diǎn)點(diǎn)仿函數(shù)的作用了；它既能像普通函數(shù)一樣傳入給定數(shù)量的參數(shù)，還能存儲或者處理更多我們需要的有用信息。

讓我們回到count_if的問題中去，是不是覺得問題變得豁然開朗了？

class ShorterThan { public： explicit ShorterThan（int maxLength） ： length（maxLength） {} bool operator（） （const string& str） const { return str.length（） 《 length; } private： const int length;};//直接調(diào)用即可count_if（myVector.begin（）， myVector.end（）， ShorterThan（length））;

這里需要注意的是，不要糾結(jié)于語法問題：ShorterThan（length）似乎并沒有調(diào)用operator（）函數(shù)？其實(shí)它調(diào)用了，創(chuàng)建了一個(gè)臨時(shí)對象。你也可以自己加一些輸出語句看一看。

這篇博文就先記到這里了，仿函數(shù)也在STL中大量涉及到，不徹底弄懂仿函數(shù)的問題看到STL源碼就會一頭包。后續(xù)可能再分享一些關(guān)于functor的資料和個(gè)人學(xué)習(xí)心得。

-END-

來源 | dnbc66

責(zé)任編輯：haq