std::move_only_function

template< class... >
class move_only_function; // not defined

template< class R, class... Args >
class move_only_function<R(Args...)>;
template< class R, class... Args >
class move_only_function<R(Args...) noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) &>;
template< class R, class... Args >
class move_only_function<R(Args...) & noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) &&>;
template< class R, class... Args >
class move_only_function<R(Args...) && noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const>;
template< class R, class... Args >
class move_only_function<R(Args...) const noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const &>;
template< class R, class... Args >
class move_only_function<R(Args...) const & noexcept>;
template< class R, class... Args >
class move_only_function<R(Args...) const &&>;
template< class R, class... Args >
class move_only_function<R(Args...) const && noexcept>;

类模板 std::move_only_function 是一种通用的多态函数包装器。 std::move_only_function 对象可以存储和调用任何可构造（不要求可移动构造）的可调用 目标——函数、lambda 表达式、绑定表达式或其他函数对象，以及指向成员函数的指针和指向成员对象的指针。

存储的可调用对象被称为 目标。如果 std::move_only_function 不包含目标，则称为std::move_only_function空。与 std::function 不同，调用空 会导致未定义行为。 std::move_only_function 支持其模板参数中提供的所有可能的

std::move_only_functioncv 限定符（不包括 ）、volatile引用限定符和noexcept 说明符组合。这些限定符和说明符（如果有）会添加到其调用签名operator()上。

std::move_only_function 满足 MoveConstructible 和 MoveAssignable 的要求，但不满足 CopyConstructible 或 CopyAssignable 的要求。

成员类型

成员函数

非成员函数

注释

实现可以在 std::move_only_function 对象内部存储小型可调用对象。这种小型对象优化对于函数指针和 std::reference_wrapper 特化实际上是必需的，并且仅适用于满足 std:: is_nothrow_move_constructible_v < T > 为 true 的类型 T 。

如果返回引用的 std::move_only_function 由返回纯右值的函数或函数对象（包括无尾随返回类型的 lambda 表达式）初始化，程序将处于非良构状态，因为禁止将返回的引用绑定到临时对象。另请参阅 std::function 说明。

示例

#include <functional>
#include <future>
#include <iostream>
int main()
{
    std::packaged_task<double()> packaged_task([](){ return 3.14159; });
    std::future<double> future = packaged_task.get_future();
    auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
//  std::function<void()> function = std::move(lambda); // 错误
    std::move_only_function<void()> function = std::move(lambda); // 正确
    function();
    std::cout << future.get();
}

3.14159

参见