详解std::placeholders

std::placeholders 是 C++ 标准库中的一个工具，用于在函数对象绑定时创建占位符。它通常与 std::bind 结合使用，允许你在绑定函数时指定某些参数在调用时再提供。

1. 基本概念

std::placeholders 定义了一组占位符（_1, _2, _3, ...），这些占位符表示在调用绑定的函数对象时，传递给它的参数。_1 表示第一个参数，_2 表示第二个参数，依此类推。

2. 使用场景

std::placeholders 主要用于以下场景：

部分参数绑定：当你只想绑定函数的部分参数，而将其他参数留到调用时再传递。
参数重排序：当你想要改变函数参数的顺序时。

3. 示例

示例 1：部分参数绑定

cpp 复制代码

#include <iostream>
#include <functional> // for std::bind and std::placeholders

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

int main() {
    // 绑定 print_sum 的第一个参数为 10，第二个参数使用占位符 _1
    auto f = std::bind(print_sum, 10, std::placeholders::_1);

    f(5);  // 输出 15，相当于调用 print_sum(10, 5)
    f(20); // 输出 30，相当于调用 print_sum(10, 20)

    return 0;
}

在这个例子中，std::bind 绑定了 print_sum 的第一个参数为 10，而第二个参数使用占位符 _1，表示在调用 f 时传递的第一个参数将作为 print_sum 的第二个参数。

示例 2：参数重排序

cpp 复制代码

#include <iostream>
#include <functional> // for std::bind and std::placeholders

void print_values(int a, int b, int c) {
    std::cout << "a: " << a << ", b: " << b << ", c: " << c << std::endl;
}

int main() {
    // 绑定 print_values 的参数顺序为 _2, _1, _3
    auto f = std::bind(print_values, std::placeholders::_2, std::placeholders::_1, std::placeholders::_3);

    f(1, 2, 3);  // 输出 a: 2, b: 1, c: 3

    return 0;
}

在这个例子中，std::bind 重新排列了 print_values 的参数顺序。_2 表示调用 f 时的第二个参数将作为 print_values 的第一个参数，_1 表示调用 f 时的第一个参数将作为 print_values 的第二个参数，依此类推。

4. 注意事项

占位符的数量：占位符的数量应该与调用时传递的参数数量相匹配。如果占位符数量多于实际传递的参数数量，会导致未定义行为。
占位符的顺序：占位符的顺序决定了调用时参数的传递顺序。你可以通过调整占位符的顺序来改变参数的传递顺序。

5. 总结

std::placeholders 提供了一种灵活的方式来部分绑定函数参数或重排序参数。它与 std::bind 结合使用，可以创建出更加灵活和可重用的函数对象。理解并掌握 std::placeholders 的使用，可以帮助你在 C++ 中编写更加通用和高效的代码。