std:: move_if_noexcept

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

Возвращаемый тип std::move_if_noexcept :

• T && если std:: is_nothrow_move_constructible < T > :: value || ! std:: is_copy_constructible < T > :: value равно true .
• В противном случае, const T & .

Параметры

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

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 << "Throwing move constructor called\n";
    }
    Bad(const Bad&) // также может выбрасывать исключение
    {
        std::cout << "Throwing copy constructor called\n";
    }
};
struct Good
{
    Good() {}
    Good(Good&&) noexcept // НЕ будет выбрасывать исключение
    {
        std::cout << "Non-throwing move constructor called\n";
    }
    Good(const Good&) noexcept // НЕ будет выбрасывать исключение
    {
        std::cout << "Non-throwing copy constructor called\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);
}

Non-throwing move constructor called
Throwing copy constructor called

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