std::copyable_function
在标头 <functional> 定义
|
||
template< class... > class copyable_function; // 未定义 |
(1) | (C++26 起) |
template< class R, class... Args > class copyable_function<R(Args...)>; |
(2) | (C++26 起) |
类模板 std::copyable_function
是一种通用多态函数包装器。std::copyable_function
对象可以存储并调用任何可复制构造 (CopyConstructible) 的可调用 (Callable) 目标 — 函数、lambda 表达式、绑定表达式或其他函数对象,以及成员函数指针和成员对象指针。
所存储的可调用对象被称为该 std::copyable_function
的目标。如果 std::copyable_function
不含目标,则称它为空。和 std::function 不同,调用空 std::copyable_function
会导致未定义行为。
std::copyable_function
支持在其模板形参中提供的不含 volatile 的 cv 限定符、引用限定符 和 noexcept 说明符的每种可能的组合。这些限定符和说明符(如果有)都添加到它的 operator()
上。
std::copyable_function
满足可复制构造 (CopyConstructible) 和可复制赋值 (CopyAssignable) 的要求。
成员类型
类型 | 定义 |
result_type
|
R
|
成员函数
创建新 std::copyable_function 对象 (公开成员函数) | |
销毁 std::copyable_function 对象 (公开成员函数) | |
替换或销毁目标 (公开成员函数) | |
交换两个 std::copyable_function 对象的目标 (公开成员函数) | |
检查 std::copyable_function 是否有目标 (公开成员函数) | |
调用目标 (公开成员函数) |
非成员函数
(C++26) |
重载 std::swap 算法 (函数) |
(C++26) |
比较 std::copyable_function 与 nullptr (函数) |
注解
实现可以将小型可调用对象存储于 std::copyable_function
对象之内。这种小对象优化对于函数指针和 std::reference_wrapper 特化而言实际上很有必要,而且仅能应用于 std::is_nothrow_move_constructible_v<T> 为 true 的类型 T
。
功能特性测试宏 | 值 | 标准 | 功能特性 |
---|---|---|---|
__cpp_lib_copyable_function |
202306L | (C++26) | std::copyable_function
|
示例
本节未完成 原因:example |
参阅
(C++11) |
任意可复制构造的可调用对象的可复制包装 (类模板) |
(C++23) |
任意可调用对象的仅移动包装,支持给定调用签名中的限定符 (类模板) |