std::move_only_function<R(Args...) cv ref noexcept(noex)>::operator()

来自cppreference.com
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
函数对象
函数包装
(C++11)
(C++11)
部分函数应用
(C++11)
(C++20)
函数调用
(C++17)(C++23)
恒等函数对象
(C++20)
引用包装
(C++11)(C++11)
通透运算符包装
(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++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) 对象
(函数模板)