std::move_only_function::operator()

来自cppreference.com
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
函数对象
函数调用
(C++17)(C++23)
恒等函数对象
(C++20)
通透运算符包装器
(C++14)
(C++14)
(C++14)
(C++14)  
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)

旧式绑定器与适配器
(C++17 前*)
(C++17 前*)
(C++17 前*)
(C++17 前*)
(C++17 前*)(C++17 前*)(C++17 前*)(C++17 前*)
(C++20 前*)
(C++20 前*)
(C++17 前*)(C++17 前*)
(C++17 前*)(C++17 前*)

(C++17 前*)
(C++17 前*)(C++17 前*)(C++17 前*)(C++17 前*)
(C++20 前*)
(C++20 前*)
 
 
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 refconstconst &,或
  • std::move(f),若 cv ref&&,或
  • std::move(std::as_const(f)),若 cv refconst &&

*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

参阅

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