C/C++编程：std::bind_front

ゝ一世哀愁。 2023-02-22 05:09 113阅读 0赞

定义：

#include <functional>
    
    template <class F, class... Args>
    constexpr /*unspecified*/ bind_front( F&& f, Args&&... args );    (C++20起)

函数模板bind\_front为f生成**转发调用包装**。 调用此包装等价于绑定`sizeof...(Args)`个参数到args再调用f。

换言之 std::bind\_front(f, bound\_args…)(call\_args…) 等价于 std::invoke(f, bound\_args…, call\_args…) 。

若下列任一为 false 则程序为非良构：

*  `std::is_constructible_v<std::decay_t<F>, F>`
 *  `std::is_move_constructible_v<std::decay_t<F>>`
 *  `(std::is_constructible_v<std::decay_t<Args>, Args> && ...)`
 *  `(std::is_move_constructible_v<std::decay_t<Args>> && ...)`

参数：

*  f：将绑定某些参数到**可调用对象**（函数对象、指向函数指针、到函数的引用、指向成员函数指针或指向数据成员指针）
 *  args：参数列表，绑定首 sizeof…(Args) 个参数到 f

类型要求：

*  `std::decay_t<F>`与 `std::decay_t<Args>...`中的每个类型 必须满足可移动构造 (MoveConstructible) 的要求。

返回值：

*  未指定的 T 类型函数对象，除了二次以相同参数调用 std::bind\_front 返回的类型相同。

异常：

*  仅如果构造存储的函数对象或者任何绑定的参数是抛出才会抛出

注解：

*  有意令此函数取代`std::bind`。不同于 std::bind ，它不支持任意参数重排，而且不特别处理嵌套的 bind 表达式或 std::reference\_wrapper 。另一方面，它注重调用包装对象的值类别，并传播底层调用运算符的异常规定。
 *  如`std::invoke`中描述，调用指向非静态成员函数指针或指向非静态数据成员指针时，首参数必须是到要访问其成员的对象的引用或指针（可以包含智能指针，如 std::shared\_ptr 与 std::unique\_ptr ）
 *  复制或移动给 std::bind\_front 的参数，而决不按引用传递，除非用 std::ref 或 std::cref 包装它们。

示例：

#include <functional>
    #include <iostream>
    int minus(int a, int b)
    {
        
        return a - b;
    }
    int main()
    {
        
        auto fifty_minus = std::bind_front(&minus, 50);
        std::cout << fifty_minus(3);
    }

![在这里插入图片描述][20210415211816291.png]

![在这里插入图片描述][20210415211548548.png]

[20210415211816291.png]: https://img-blog.csdnimg.cn/20210415211816291.png
[20210415211548548.png]: https://img-blog.csdnimg.cn/20210415211548548.png