老實(shí)說(shuō)，我不知道C++11有了lambda,怎么還會(huì)要引入bind.
bind這玩意，嵌套兩層就得出汗，嵌套三四層絕對(duì)要人提心吊膽驗(yàn)證n久.還有個(gè)自以為是的功能:如果綁定的參數(shù)是bind對(duì)象,它就自作聰明去調(diào)用.問(wèn)題是，有時(shí)候你確實(shí)要個(gè)可調(diào)用對(duì)象而不是可調(diào)用對(duì)象的調(diào)用返回值,你要不就得用ref包裹bind,要不就得格外寫(xiě)個(gè)可調(diào)用對(duì)象使得
std::is_bind_expression<T>::value == true判斷不成立.這格外寫(xiě)個(gè)可調(diào)用對(duì)象的簡(jiǎn)單方法是什么:就是用lambda.....
有人會(huì)說(shuō):bind能做的事lambda不能做,比如bind可以綁定一個(gè)可調(diào)用對(duì)象，這個(gè)可調(diào)用對(duì)象有多個(gè)可調(diào)用operator call或者template call.如下:
struct foo
{
typedef void result_type;
template < typename A, typename B >
void operator()(A a, B b)
{
std::cout << "operator()(A a, B b)"<<std::endl;
}
void operator()(int a,int b)
{
std::cout << "operator()(int a,int b)"<<std::endl;
}
int operator()(int a,char b)
{
std::cout << "operator()(int a,char b)"<<std::endl;
return 1;
}
};
int main()
{
using namespace std::placeholders;
auto f = std::bind(foo(), _1,_2);
f("test", 1.2f);
f(2,3);
std::cout<<"get:"<<f(2,'3');
return 0;
}
沒(méi)錯(cuò),lambda必須指定函數(shù)參數(shù)類(lèi)型,表面上看也許沒(méi)那么"可變".然而你要考慮實(shí)際應(yīng)用場(chǎng)景.bind一個(gè)對(duì)象后怎么用它呢?一般使用場(chǎng)景是保存起來(lái)以備使用.而目前class 成員顯然不是一個(gè)auto可以指定,它得是具體的類(lèi)型,比如std::function<void(int ,float)>.如果把上面代碼里的 f保存在一個(gè)std::function<void(int ,float)>類(lèi)型里面,那么當(dāng)后來(lái)調(diào)用它傳入兩個(gè)整型時(shí)會(huì)調(diào)用哪個(gè)函數(shù)?不是
operator()(int a,int b) 而是operator()(A a, B b)!所以除非你bind一個(gè)對(duì)象后立馬在當(dāng)前函數(shù)里使用(多此一舉),否則bind的參數(shù)靈活性基本發(fā)揮不出來(lái).
這就給出了兩個(gè)易出錯(cuò)場(chǎng)景:
一個(gè)是傳給bind的參數(shù)是可調(diào)用對(duì)象是，表現(xiàn)不一樣(可調(diào)用對(duì)象是另一個(gè)bind時(shí),會(huì)被調(diào)用,其它則當(dāng)成普通對(duì)象)
另一個(gè)是對(duì)于bind一個(gè)類(lèi)，類(lèi)里面有多個(gè)可調(diào)用函數(shù)時(shí),出現(xiàn)你以為調(diào)用
operator()(int a,int b) 而實(shí)際上是operator()(A a, B b).反之lambda的直觀使得它更容易找出問(wèn)題.
再加上bind多層嵌套使用帶來(lái)的可讀性問(wèn)題(這其實(shí)也是易出錯(cuò)場(chǎng)景),我的看法是:學(xué)好lambda,遠(yuǎn)離bind.