C++ std::bind

C++11的std::bind是个巨大的进步，把各种稀奇古怪的函数对象统一起来。古老的bind1st终于退出历史舞台。但是bind仍旧存在漏洞。例如：

#include <iostream>
#include <cmath>
#include <functional>   // std::bind
using namespace std::placeholders;    // adds visibility of _1, _2, _3,...

double bevel(double a, double b){
    std::cout << "bevel called" << std::endl;
    return std::sqrt(a*a+b*b);
}

double add(double a, double b){
    std::cout << "add called" << std::endl;
    return a+b;
}

int main(){
    auto fun  = std::bind( bevel, add(1,2),   _1 ); //一个callable
    fun(4);  //调用fun，结果是5
}

调用std::bind函数时，需要对add(1,2)这个子表达式求值，如果想“延迟”求值，只能这么做：

 1 #include <iostream>
 2 #include<cmath>
 3 #include <functional>   // std::bind
 4 using namespace std::placeholders;    // adds visibility of _1, _2, _3,...
 5 
 6 double bevel(double a, double b){
 7     std::cout << "bevel called" << std::endl;
 8     return std::sqrt(a*a+b*b);
 9 }
10 
11 double add(double a, double b){
12     std::cout << "add called" << std::endl;
13     return a+b;
14 }
15 
16 int main()
17 {
18     auto fun = std::bind( bevel, std::bind(add,1,2), _1 );
19     std::cout << "now fun call" << std::endl;
20     fun(4);21 }

第18行嵌套一个bind就把人搞晕。嵌套的bind(add,1,2)不会立刻调用add，只会返回一个callable对象，传递给外层的bind。

当调用第20行时，实际上就是调用了bevel( someCallableObj(), 4 ); someCallableObj()调用add(1,2)，因此延迟调用实现。

C++14开始出现的lambda表达式，让明察的洞见穿透了这些隐晦的角落，改造后的代码如下：

//... as before

int main()
{
    auto funL = [](double b){
        return bevel( add(1,2) , b );
    };
    std::cout << "now funL call\n";
    funL(4);
        
    return 0;
}

根据Effective Modern C++的作者之言，如果还看不到lambda表达式的好处，那简直和瞎子没什么两样。

下面再感受一下时代的变迁：

#include <functional>
#include <algorithm>
using namespace std;
int main () {
    int numbers[] = {10,20,30,40,50,10};
    int cx = count_if (numbers, numbers+6, bind1st(equal_to<int>(),10) );
}

C++03 要根据参数类型选函数bind1st（逆向思维，相当费脑）

#include <functional>
#include <algorithm>
using namespace std;
using namespace std::placeholders;
int main () {
    int numbers[] = {10,20,30,40,50,10};
    int cx = count_if (numbers, numbers+6, bind(equal_to<int>(),10,_1) );
}

C++11 终于把函数先定下来就是一个std::bind, 然后选各项参数，callable对象，值参数，占位符参数。终于思维正常了。

#include <algorithm>
using namespace std;
int main () {
    int numbers[] = {10,20,30,40,50,10};
    int cx = count_if (numbers, numbers+6, [](int i){ return i==0; } );
}

C++17 的lambda。不再需要什么_1,_2,_3。。。占位符能弄晕很多人。直白的代码逻辑。

转载于:https://www.cnblogs.com/thomas76/p/8642088.html