std::move_only_function::operator()

R operator()( Args... args ) /cv/ /ref/ noexcept(/noex/);		(C++23 起)

以参数 args 调用存储的可调用对象。 operator() 的 /*cv*/、 /*ref*/ 及 /*noex*/ 部分等同于 std::move_only_function 的模板形参的这些部分。

等价于 return std::invoke_r<R>(/*cv-ref-cast*/(f), std::forward<Args>(args)...); ，其中 f 是指代 *this 的目标对象的无 cv 限定左值，而 /*cv-ref-cast*/(f) 等价于：

f ，若 cv ref 为空或 & ，或
std::as_const(f) ，若 cv ref 为 const 或 const & ，或
std::move(f) ，若 cv ref 为 && ，或
std::move(std::as_const(f)) ，若 cv ref 为 const && 。

若 *this 为空则行为未定义。

参数

args

-

传递给存储的可调用目标的参数

返回值

std::invoke_r<R>(/*cv-ref-cast*/(f), std::forward<Args>(args)...) 。

异常

传播底层函数调用所抛的异常。

示例

以下示例展示能如何按值传递 std::move_only_function 给其他函数。并且显示 std::move_only_function 能如何存储 lambda 。

运行此代码

#include <iostream>
#include <functional>
 
void call(std::move_only_function<int() const> f)  // 能按值传递
{ 
    std::cout << f() << '\n';
}
 
int normal_function() 
{
    return 42;
}
 
int main()
{
    int n = 1;
    auto lambda = [&n](){ return n; };
    std::move_only_function<int() const> f = lambda;
    call(std::move(f));
 
    n = 2;
    call(lambda); 
 
    f = normal_function; 
    call(std::move(f));
}

输出：

1
2
42

参阅

operator()	调用其目标 (`std::function<R(Args...)>` 的公开成员函数)
operator()	调用其所存储的函数 (`std::reference_wrapper<T>` 的公开成员函数)
invokeinvoke_r (C++17)(C++23)	以给定实参和可能指定的返回类型 (C++23 起)调用任意可调用 (Callable) 对象 (函数模板)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
move_only_function::move_only_function (C++23)
move_only_function::~move_only_function (C++23)
move_only_function::operator= (C++23)
move_only_function::swap (C++23)
move_only_function::operator bool (C++23)
move_only_function::operator() (C++23)
非成员函数
operator== (C++23)
swap(std::move_only_function) (C++23)

std::move_only_function::operator()

参数

返回值

异常

示例

参阅

导航