std::bind_front

定义于头文件 `<functional>`
template <class F, class... Args> /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	-	将绑定某些参数到的可调用 (Callable) 对象（函数对象、指向函数指针、到函数的引用、指向成员函数指针或指向数据成员指针）
args	-	参数列表，绑定首 `sizeof...(Args)` 个参数到 `f`
类型要求
- `std::decay_t<F> 与 std::decay_t<Args>... 中的每个类型` 必须满足可移动构造 (MoveConstructible) 的要求。

返回值

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

返回的对象（调用包装）有下列属性：

std::bind_front 返回类型

成员对象

返回的对象表现为如同它保有从 std::forward<F>(f) 直接非列表初始化的 std::decay_t<F> 类型成员对象 fd ，以及用 std::tuple<std::decay_t<Args>...>(std::forward<Args>(args)...) 构造的 std::tuple 对象 tup （这会解包任何 std::reference_wrapper ），除了返回对象的赋值行为未指定，且名称只为说明。

构造函数

std::bind_front 的构造函数表现为其赋值/移动构造函数进行逐成员复制/移动。若其所有成员对象（指定如上）为可复制构造 (CopyConstructible) )则它为 CopyConstructible ，否则为可移动构造 (MoveConstructible) 。

成员函数 `operator()`

给定从先前调用 bind_front(f, args...) 获得的对象 G ，在函数调用表达式 g(call_args...) 中调用指代 G 的泛左值 g 时，发生存储对象的调用，如同用

std::invoke(g.fd, std::get<Ns>(g.tup)..., call_args...)

，其中

Ns 是整数包 0, 1, ..., (sizeof...(Args) - 1)
g 若在调用表达式中是左值，则在 std::invoke 表达式中是左值，否则是右值。从而 std::move(g)(call_args...) 能移动绑定的参数到调用中，而 g(call_args...) 会复制。

若 g 拥有 volatile 限定类型则行为未定义。

若其所调用的 std::invoke 表达式为 noexcept 则成员 operator() 为 noexcept （换言之，它保持底层调用运算符的异常规定）。

异常

仅若构造存储的函数对象或任何绑定的参数时抛出才会抛出。

注解

有意令此函数取代 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);
}

输出：

参阅

bind (C++11)	绑定一或多个实参到函数对象 (函数模板)
mem_fn (C++11)	从成员指针创建出函数对象 (函数模板)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
输入/输出库
本地化库
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
文件系统库 (C++17)
技术规范

std::bind_front

参数

返回值

std::bind_front 返回类型

成员对象

构造函数

成员函数 operator()

异常

注解

示例

参阅

导航

成员函数 `operator()`