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 могут хранить и вызывать любую конструируемую цель Callable (конструирование перемещением не является обязательным) — функции, лямбда-выражения, выражения bind или другие функциональные объекты, а также указатели на функции-члены и указатели на объекты-члены.

Сохранённый вызываемый объект называется целью std::move_only_function. Если std::move_only_function не содержит цели, оно называется пустым. В отличие от std::function, вызов пустого std::move_only_function приводит к неопределённому поведению.

std::move_only_functions поддерживает все возможные комбинации cv-квалификаторов (кроме volatile), ref-квалификаторов и спецификаторов noexcept, указанные в параметре шаблона. Эти квалификаторы и спецификатор (если он есть) добавляются к operator().

std::move_only_function соответствует требованиям MoveConstructible и MoveAssignable, но не соответствует требованиям CopyConstructible или CopyAssignable.

Типы-члены

Функции-члены

Функции, не являющиеся членами

Примечания

Реализации могут хранить вызываемый объект небольшого размера непосредственно в объекте std::move_only_function. Такая оптимизация для небольших объектов фактически обязательна для указателей на функции и специализаций std::reference_wrapper; её можно применять только к типам T, для которых std::is_nothrow_move_constructible_v<T> имеет значение true.

Если std::move_only_function, возвращающая ссылку, инициализируется функцией или функциональным объектом, возвращающим prvalue (включая лямбда-выражение без завершающего типа возвращаемого значения), программа некорректна, поскольку привязка возвращаемой ссылки к временному объекту запрещена. См. также примечания к 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); // Error
    std::move_only_function<void()> function = std::move(lambda); // OK

    function();

    std::cout << future.get();
}

3.14159

См. также