C++:函数适配器-std::bind

什么是函数适配器

函数适配器是基于原有函数功能的基础上，通过添加或修改某些功能，从而生成一个新的函数对象，这个新的函数对象具有符合特定需求的接口。它允许开发者在不修改原有函数对象代码的情况下，通过适配的方式使其适应新的使用场景。

主要类型

在C++中，函数适配器主要包括以下几种类型：

绑定器（Binders）：
bind1st 和 bind2nd（注意：这两个适配器在C++11及以后的版本中已被废弃，推荐使用std::bind或Lambda表达式）：它们用于将二元函数对象的一个参数绑定到特定的值上，从而将二元函数对象转换为一元函数对象。bind1st将给定值绑定到二元函数对象的第一个参数，而bind2nd将给定值绑定到第二个参数。
std::bind：是C++11引入的一个更通用、更灵活的绑定器，它可以绑定函数、成员函数、函数对象等的参数，并返回一个新的可调用实体（函数对象）。
取反器（Negators）：
not1 和 not2：它们用于对函数对象的结果真值进行求反。not1适用于一元函数对象，而not2适用于二元函数对象。当需要反转函数对象的逻辑判断结果时，可以使用这些取反器。

介绍

std::bind 是 C++11 引入的一个功能强大的函数适配器，它允许你将一个可调用对象（如函数、函数对象、Lambda 表达式、成员函数指针等）与它的参数进行绑定，生成一个新的可调用对象。这个新的可调用对象在调用时，会自动将其绑定的参数传递给原始的可调用对象。通过这种方式，std::bind 可以用于部分应用（partial application）或参数重排（currying）等场景。

示例

std::bind作为函数适配器

#include <iostream>  
#include <functional>  
#include <vector>  
#include <algorithm>  
  
// 定义一个简单的函数对象，用于比较两个整数  
struct Compare {  
    bool operator()(int a, int b) const {  
        return a < b;  
    }  
};  
  
int main() {  
    std::vector<int> vec = {5, 3, 9, 1, 4};  
  
    // 使用std::bind将Compare函数对象的第一个参数绑定为4  
    // 这样，就创建了一个新的函数对象，它接受一个参数，并与4进行比较  
    auto newCompare = std::bind(Compare(), 4, std::placeholders::_1);  
  
    // 使用std::find_if和新的函数对象查找第一个大于4的元素  
    auto it = std::find_if(vec.begin(), vec.end(), newCompare);  
  
    if (it != vec.end()) {  
        std::cout << "找到的第一个大于4的元素是: " << *it << std::endl;  
    }  
  
    return 0;  
}

绑定普通函数

#include <iostream>
#include <functional> // std::bind, std::placeholders

void add(int a, int b) {
    std::cout << "Sum: " << a + b << '\n';
}

int main() {
    using namespace std::placeholders; // 用于占位符 _1, _2 等

    // 绑定第一个参数为 10
    auto add10 = std::bind(add, 10, _1);

    // 调用 add10，传递一个参数，实际上是调用 add(10, 20)
    add10(20); // 输出 "Sum: 30"

    return 0;
}

绑定成员函数

#include <iostream>
#include <functional> // std::bind, std::placeholders

class Printer {
public:
    void print_sum(int a, int b) const {
        std::cout << "Sum: " << a + b << '\n';
    }
};

int main() {
    using namespace std::placeholders;

    Printer printer;
    // 绑定成员函数，第一个参数是对象指针
    auto bound_print_sum = std::bind(&Printer::print_sum, &printer, _1, _2);

    // 调用 bound_print_sum，实际上是调用 printer.print_sum(10, 20)
    bound_print_sum(10, 20); // 输出 "Sum: 30"

    return 0;
}

std::bind被用作函数适配器，将Compare函数对象的第一个参数绑定为4，从而创建了一个新的函数对象newCompare。这个新的函数对象接受一个参数，并将其与4进行比较，然后返回比较结果。这样，我们就可以在不修改Compare函数对象代码的情况下，将其用于查找大于4的元素。

绑定函数对象

#include <iostream>
#include <functional> // std::bind, std::placeholders
struct Multiplier {
  int operator()(int a, int b) const {
    std::cout << "a: " << a << endl;
    std::cout << "b: " << b << endl;
    return a * b;
  }
};

int main() {
  using namespace std::placeholders;

  Multiplier multiplier;
  // 绑定第二个参数为 10
  auto multiply_by_10 = std::bind(multiplier, _1, 10);

  // 调用 multiply_by_10，传递一个参数，实际上是调用 multiplier(5, 10)
  std::cout << "Product: \n" << multiply_by_10(5) << endl;  // 输出 "Product: 50"

  return 0;
}

总结

• std::bind 用于将函数或成员函数与特定参数绑定，创建新的函数对象。
• 占位符 _1, _2, _3 等用于表示新函数对象调用时传递的参数。
• 可以用于绑定普通函数、成员函数和函数对象，简化代码，提高可读性和可维护性。