通过手撕std::bind来了解其工作原理

std::bind 是 C++11 中的一个函数模板，用于创建一个可调用对象（函数对象或者函数指针）的绑定副本，其中一部分参数被固定为指定值，从而生成一个新的可调用对象。

std::bind 的原理可以简单概括如下：

创建绑定副本：

当调用 std::bind 时，会生成一个新的可调用对象，其中一部分参数被绑定为指定值，剩余的参数保留为占位符（placeholder）。
占位符：

在 std::bind 中，占位符使用 _1, _2, _3 等进行表示，分别代表可调用对象的第一个、第二个、第三个参数，以此类推。在创建绑定副本时，可以通过占位符指定参数的位置。
生成新的可调用对象：

绑定副本可以作为一个新的可调用对象，可以直接调用，也可以传递给其他接受可调用对象的函数，从而实现部分参数固定的函数调用。
参数传递：

在调用绑定副本时，传递给绑定副本的参数会替换掉占位符，从而形成最终的参数列表，并调用原始函数或函数对象。
绑定对象的生命周期：

绑定副本会对传递给它的参数进行复制或者引用，因此绑定对象中的参数需要在绑定副本被调用时仍然有效。

以下是 std::bind 的一个简单示例：

cpp 复制代码

#include <iostream>
#include <functional>

void print_sum(int a, int b) {
    std::cout << a + b << std::endl;
}

int main() {
    auto f = std::bind(print_sum, 10, std::placeholders::_1);
    f(20); // 输出 30
    return 0;
}

在这个示例中，std::bind 生成了一个新的可调用对象 f，其中 print_sum 函数的第一个参数被绑定为 10，而第二个参数被保留为占位符 _1。当调用 f(20) 时，20 会替换占位符 _1，从而调用 print_sum(10, 20)，输出 30。

下面，我们来实现一个简化版的std::bind，以更加深入的了解std::bind的工作原理：

cpp 复制代码

#include <iostream>
#include <functional>

// 定义一个模板类 MyBind，用于实现类似 std::bind 的功能
template <typename Func, typename... Args>
class MyBind {
public:
    // 构造函数，接受一个函数对象和一系列参数，这里需要用&&，以实现完美转发
    MyBind(Func&& func, Args&&... args)
        : func_(std::forward<Func>(func)), args_(std::forward<Args>(args)...) {}

    // 重载 () 运算符，用于调用绑定的函数对象
    template <typename... OtherArgs>
    auto operator()(OtherArgs&&... other_args) {
        // 调用 call_func 函数，将传递给它的参数与绑定的参数一起传递给原始函数对象
        return call_func(std::index_sequence_for<Args...>(), std::forward<OtherArgs>(other_args)...);
    }

private:
    // call_func 函数用于将传递给它的参数与绑定的参数一起传递给原始函数对象
    template <size_t... I, typename... OtherArgs>
    auto call_func(std::index_sequence<I...>, OtherArgs&&... other_args) {
        // 调用原始函数对象，传递绑定的参数和其他参数
        return func_(std::get<I>(args_)..., std::forward<OtherArgs>(other_args)...);
    }

    Func func_;                         // 原始的函数对象
    std::tuple<Args...> args_;          // 绑定的参数
};

// 辅助函数，用于创建 MyBind 对象
template <typename Func, typename... Args>
MyBind<Func, Args...> my_bind(Func&& func, Args&&... args) {
    return MyBind<Func, Args...>(std::forward<Func>(func), std::forward<Args>(args)...);
}

// 测试函数
void print_sum(int a, int b) {
    std::cout << a + b << std::endl;
}

int main() {
    auto f = my_bind(print_sum, 10, std::placeholders::_1); // 创建 MyBind 对象 f，绑定 print_sum 函数和参数
    f(20); // 调用绑定对象 f，传递参数 20，输出 30
    return 0;
}