c++11中的bind和mem_fn与function的应用

一、函数指针的衍生

在前面分析讨论了函数指针的问题，基本也明白了函数指针的工作的整个流程。既然函数指针应用如此方便，STL库一定会对进行封装。这也是经常看到的std::function,std::bind,std::mem_fn这几个模板类和函数模板。那么它们几个主要作用是什么呢？这个在官方文档说的很清楚。std::mem_fn用在类成员函数，你看它的名字mem就明白了，如果使用全局的，反而是无法通过的。那既然std::bind这也能做到这个功能，为啥还要弄个std::mem_fn呢？原因就是为了简单。就象工具一样，既有普遍适用的工具，也有专用的工具。专用工具在特定场合下更方便更顺手。
而std::function则是一个类模板，它是一个通用多态函数包装器。 std::function 的实例能存储、复制及调用任何可复制构造 (CopyConstructible) 的可调用 (Callable) 目标——函数、 lambda 表达式、 bind 表达式或其他函数对象，还有指向成员函数指针和指向数据成员指针。
这下明白了吧，std::function是结果，而其它两个是实现这个结果的手段。其中一个手段比另外一个手段更专一，在专一的应用场景下，更方便简单。

二、std::bind和std::function

这里首先要介绍一下std::function的应用场景：
1、它可以用于普通函数
其中也包括静态和普通全局函数。
2、可以用于Lambda表达式
这个对模板的Lambda表达式也支持
3、可以用于类成员函数
又可以分为静态成员和普通类成员函数两种
4、可以用于模板函数
当然也包括模板类成员函数和普通模板函数
5、仿函数
就是对小括号的重载。

下面看一个完整的例子：

#include 
#include 

void DisplayGreet()
{
    std::cout << "Global :Hello, world! "<
void DisplayTemplate(T t, N n)
{
    std::cout << "call DisplayTemplage:" << t + n << std::endl;
}

template 
struct FuncExample 
{
    template 
    T FuncGet(T i)
    {
        std::cout << "call template class :" << i + 10 << std::endl;
        return i;
    }

    template 
    static T FuncSet(T i)
    {
        std::cout << "call template class :" << i + 1 << std::endl;
        return i;
    }
    T operator()(T i,T j)
    {
        std::cout << "call functor:" < f1 = std::bind(DisplayGreet);
    f1();
    std::function f2 = DisplayGreet;
    f2();
    std::function f3 = std::bind(DisplayNumber, _1);
    f3(5);
    std::function f4 = DisplayNumber;
    f4(6);

    //类成员函数:普通和静态两种
    Foo f;
    std::function fc1 = std::bind(&Foo::display_number, &f, _1);
    fc1(5);
    std::function fs1 = Foo::display_sdata;
    fs1(6);
    std::function fs2 = &Foo::display_sdata;
    fs2(6);
    std::function fs3 = std::bind(Foo::display_sdata,_1);
    fs3(6);

    //Lambda表达式
    std::function fl =  [&](int i)->int {
        std::cout << "this is lambda:"< flt = [](T x, T y)->T { return x + y; };
    auto x = [](T x, T y)->T { return x + y; };
    std::cout<<"lambda template" << flt(1, 2)<< " call x:"<< x(3,4)< ft1 = DisplayTemplate;
    ft1(100,1.0f);
    FuncExample fee;
    std::function ft2 = std::bind(&FuncExample::FuncGet,&fee,_1);
    ft2(6);
    std::function ft3 = std::bind(&FuncExample::FuncSet, _1);
    ft3(6);

    //绑定仿函数
    FuncExample fe;//此处用来对比正常使用
    fe(1, 1);

    std::function ftor = FuncExample();
    ftor(1,2);
    std::function ftor1 = Foo();
    ftor1(3);
}

int main()
{
    TestFunc();
    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

#include 
#include 
 
struct Foo {
    void display_greeting() {
        std::cout << "Hello, world.\n";
    }
    void display_number(int i) {
        std::cout << "number: " << i << '\n';
    }
    int data = 7;
};
 
int main() 
{
    using namespace std::placeholders;
    Foo f;
 
    //std::mem_fn
    auto greet = std::mem_fn(&Foo::display_greeting);
    greet(&f);

    auto print_num = std::mem_fn(&Foo::display_number);
    print_num(&f, 42);

    auto access_data = std::mem_fn(&Foo::data);
    std::cout << "data: " << access_data(&f) << '\n';

    //std::bind ---1
    auto greetb = std::bind(&Foo::display_greeting, _1);
    greetb(&f);

    auto print_numb = std::bind(&Foo::display_number, _1, _2);
    print_numb(&f, 42);

    auto access_datab = std::bind(&Foo::data,_1);
    std::cout << "data: " << access_datab(&f) << '\n';

    //std::bind ---2
    auto greetb1 = std::bind(&Foo::display_greeting, &f);
    greetb1();

    auto print_numb1 = std::bind(&Foo::display_number, &f,_1);
    print_numb1(42);

    auto access_datab1 = std::bind(&Foo::data, &f);
    std::cout << "data: " << access_datab1() << '\n';
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47