std::move_if_noexcept

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>

Определено в заголовочном файле <utility>
template< class T > typename std::conditional< !std::is_nothrow_move_constructible<T>::value && std::is_copy_constructible<T>::value, const T&, T&& >::type move_if_noexcept(T& x) noexcept;		(начиная с C++11) (до C++14)
template< class T > constexpr typename std::conditional< !std::is_nothrow_move_constructible<T>::value && std::is_copy_constructible<T>::value, const T&, T&& >::type move_if_noexcept(T& x) noexcept;		(начиная с C++14)

std::move_if_noexcept получает ссылку rvalue на свой аргумент, если его конструктор перемещения не генерирует исключений или если конструктор копирования отсутствует (тип только для перемещения), иначе получает ссылку lvalue на свой аргумент. Обычно она используется для объединения семантики перемещения с надёжной гарантией исключений.

Параметры

x

—

объект, который нужно переместить или скопировать

Возвращаемое значение

std::move(x) или x, в зависимости от гарантий исключений.

Сложность

Константная

Примечание

Это используется, например, std::vector::resize, которому может потребоваться выделить новое хранилище, а затем переместить или скопировать элементы из старого хранилища в новое хранилище. Если во время этой операции возникает исключение, std::vector::resize отменяет всё, что было сделано до этого момента, что возможно только в том случае, если std::move_if_noexcept использовалась для принятия решения о том, следует ли использовать конструктор перемещения или конструктор копирования. (если конструктор копирования недоступен, в этом случае конструктор перемещения используется в любом случае, и сильная гарантия исключения может быть отменена)

Пример

Запустить этот код

#include <iostream>
#include <utility>

struct Bad
{
    Bad() {}
    Bad(Bad&&)  // может сгенерировать исключение
    {
        std::cout << "Вызывается конструктор перемещения, генерирующий исключение\n";
    }
    Bad(const Bad&) // тоже может сгенерировать исключение
    {
        std::cout << "Вызывается конструктор копирования, генерирующий исключение\n";
    }
};

struct Good
{
    Good() {}
    Good(Good&&) noexcept // НЕ будет генерировать исключение
    {
        std::cout << "Вызывается конструктор перемещения, не генерирующий исключение\n";
    }
    Good(const Good&) noexcept // НЕ будет генерировать исключение
    {
        std::cout << "Вызывается конструктор копирования, не генерирующий исключение\n";
    }
};

int main()
{
    Good g;
    Bad b;
    [[maybe_unused]] Good g2 = std::move_if_noexcept(g);
    [[maybe_unused]] Bad b2 = std::move_if_noexcept(b);
}

Вывод:

Вызывается конструктор перемещения, не генерирующий исключение
Вызывается конструктор копирования, генерирующий исключение

Смотрите также

forward (C++11)	пересылает аргумент функции (шаблон функции)
move (C++11)	получает ссылку на rvalue (шаблон функции)