lambda表達(dá)式的缺點(diǎn)

還記得當(dāng)初引入lambda表達(dá)式的原因么？向算法傳遞謂詞時(shí)，由于一般的函數(shù)無法傳遞參數(shù)以外的信息，函數(shù)對象又比較麻煩，所以引入了lambda表達(dá)式。

但是lambda表達(dá)式也有缺點(diǎn)：在類似功能多次使用的時(shí)候，每次定義lambada表達(dá)式也會比較麻煩。本文介紹另一種方式：參數(shù)綁定。

標(biāo)準(zhǔn)庫bind函數(shù)

繼續(xù)用lambda表達(dá)式中用過的例子，如果希望找到第一個(gè)長度小于2的string，可以使用以下代碼：

bool?istarget(const?string&?s){
????return?s.size()?<?2;
}
vector

如果我們希望在istarget中選擇string時(shí)使用變量而不是固定的2的時(shí)候，一般的函數(shù)就不能滿足需求了（雖然使用全局變量算是一個(gè)選項(xiàng)）。除了和函數(shù)對象和lambda表達(dá)式以外，還可以使用標(biāo)準(zhǔn)庫bind函數(shù)來實(shí)現(xiàn)，其步驟如下：

根據(jù)需求定義比較函數(shù)

在本例中，就是定義一個(gè)接受選擇對象string對象和最小長度參數(shù)的istarget函數(shù):

bool?istarget(const?string&?s,?int?sz){
????return?s.size()?<?sz;
}

使用參數(shù)綁定定義新的可調(diào)用對象

C++11標(biāo)準(zhǔn)庫提供了一個(gè)bind函數(shù)，按照C++ Primer的說法，可以將bind函數(shù)看作一個(gè)通用的函數(shù)適配器，它接受一個(gè)可調(diào)用對象，生成一個(gè)新的可調(diào)用對象來“適應(yīng)”原對象的參數(shù)列表。調(diào)應(yīng)bind的一般形式為：

auto newCallable = bind(callable, arg_list);

具體到本例，可以這樣定義：

???

auto?isTarget?=?bind(istarget,?_1,?2);

istarget:bind適配的對象，就是第一步中定義具有兩個(gè)參數(shù)的istarget函數(shù)

接下來是傳遞給istarget的參數(shù)。參數(shù)的順序和istarget參數(shù)列表中規(guī)定的一致。

_1：占位符，_1代表isTarget被調(diào)用時(shí)的接受的第一個(gè)實(shí)參，這個(gè)_1處在bind參數(shù)列表的第一個(gè)位置表明isTarget的第一個(gè)實(shí)參會在調(diào)用istarget時(shí)作為istarget的第一個(gè)實(shí)參使用。

2:比較長度信息，形式和占位符不同，處在參數(shù)列表的第二個(gè)位置，這個(gè)值會在調(diào)用istarget時(shí)作為istarget的第二個(gè)實(shí)參使用。

使用定義的可調(diào)用對象

vectorv{"This","is",?"a",?"predicate",?"."};

auto?found?=?find_if(v.begin(),?v.end(),?isTarget);

cout?<<?*found?<<?endl;

由于在bind定義時(shí)只使用了一個(gè)占位符，所以可以把isTarget當(dāng)作一個(gè)只有一個(gè)參數(shù)的可調(diào)用對象使用，這個(gè)參數(shù)的類型和istarget的第一個(gè)參數(shù)一致。

istarget函數(shù)定義一次之后，可以使用bind函數(shù)適應(yīng)各種算法的要求，從而實(shí)現(xiàn)了實(shí)現(xiàn)一次定義，多次使用的目標(biāo)。

作者觀點(diǎn)

到本文為止，可調(diào)用對象就算湊齊了：函數(shù)，函數(shù)對象，lambada表達(dá)式，參數(shù)綁定。