std::move_only_function
| Определено в заголовочном файле <functional>
|
||
| template< class... > class move_only_function; // не определено |
(1) | (начиная с C++23) |
| template< class R, class... Args > class move_only_function<R(Args...)>; |
(2) | (начиная с C++23) |
Шаблонный класс std::move_only_function это универсальная полиморфная оболочка функции. Объекты std::move_only_function могут хранить и вызывать любые конструируемые объекты (не обязательно должны быть конструируемыми для перемещения) Callable цели -- функции, лямбда-выражения, выражения привязки или другие объекты-функции, а также указатели на функции-элементы и указатели на объекты-элементы.
Сохранённый вызываемый объект называется целью класса std::move_only_function. Если std::move_only_function не содержит цели, он называется пустым. В отличие от std::function, вызов пустого std::move_only_function приводит к неопределённому поведению.
std::move_only_function поддерживает все возможные комбинации cv-квалификаторов, ссылочных-квалификаторов и noexcept-квалификаторов не включая volatile, указанных в его параметре шаблона. Эти квалификаторы и спецификатор (если есть) добавляются к его operator().
std::move_only_function соответствует требованиям MoveConstructible и MoveAssignable, но не соответствует CopyConstructible или CopyAssignable.
Содержание |
[править] Типы элементы
| Тип | Определение |
result_type
|
R
|
[править] Функции-элементы
| (C++23) |
создаёт новый объект std::move_only_function (public функция-элемент) |
| (C++23) |
уничтожает объект std::move_only_function (public функция-элемент) |
| (C++23) |
заменяет или уничтожает цель (public функция-элемент) |
| (C++23) |
меняет местами цели двух объектов std::move_only_function (public функция-элемент) |
| (C++23) |
проверяет, есть ли у std::move_only_function цель (public функция-элемент) |
| (C++23) |
вызывает цель (public функция-элемент) |
[править] Функции, не являющиеся элементами
| перегружает алгоритм std::swap (функция) | |
| (C++23) |
сравнивает std::move_only_function с nullptr (функция) |
[править] ��римечание
Реализации могут хранить вызываемый объект небольшого размера в объекте std::move_only_function. Такая оптимизация небольших объектов фактически необходима для указателей на функции и специализаций std::reference_wrapper и может применяться только к типам T, для которых std::is_nothrow_move_constructible_v<T> равно true.
Если std::move_only_function, возвращающий ссылку, инициализируется из функции или объекта функции, возвращающих значение prvalue (включая лямбда-выражение без завершающего возвращаемого типа), программа некорректна, поскольку привязка возвращаемой ссылки на временный объект запрещена. Смотрите также примечания std::function.
| Макрос Тестирования функциональности | Значение | Стандарт | Функциональность |
|---|---|---|---|
__cpp_lib_move_only_function |
202110L | (C++23) | std::move_only_function
|
[править] Пример
#include <iostream> #include <functional> #include <future> 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); // OK function(); std::cout << future.get(); }
Вывод:
3.14159
[править] Смотрите также
| (C++11) |
обёртывает вызываемый объект любого конструируемого копированием типа с указанной сигнатурой вызова функции (шаблон класса) |
