std::move_if_noexcept

template< class T >
/* see below */ move_if_noexcept( T& x ) noexcept;

std::move_if_noexcept obtient une référence rvalue sur son argument si son constructeur de déplacement ne lève pas d’exception ou s’il n’y a pas de constructeur de copie (type à déplacement seul), sinon obtient une référence lvalue sur son argument. Il est généralement utilisé pour combiner la sémantique de déplacement avec une forte garantie d’exception.

Le type de retour de std::move_if_noexcept est :

• T&& si std::is_nothrow_move_constructible<T>::value || !std::is_copy_constructible<T>::value est true.
• Sinon, const T&.

Paramètres

Valeur de retour

std :: move ( x ) ou x , selon les garanties d'exception.

Complexité

Constante.

Notes

Ceci est utilisé, par exemple, par std::vector::resize , qui peut devoir allouer un nouveau stockage puis déplacer ou copier les éléments de l'ancien stockage vers le nouveau. Si une exception se produit pendant cette opération, std::vector::resize annule tout ce qu'il a fait jusqu'à présent, ce qui n'est possible que si std::move_if_noexcept a été utilisé pour décider d'utiliser la construction par déplacement ou la construction par copie (sauf si le constructeur de copie n'est pas disponible, auquel cas le constructeur de déplacement est utilisé dans tous les cas et la garantie d'exception forte peut être levée).

Exemple

#include <iostream>
#include <utility>
struct Bad
{
    Bad() {}
    Bad(Bad&&) // peut lever une exception
    {
        std::cout << "Throwing move constructor called\n";
    }
    Bad(const Bad&) // peut également lever une exception
    {
        std::cout << "Throwing copy constructor called\n";
    }
};
struct Good
{
    Good() {}
    Good(Good&&) noexcept // ne lèvera PAS d'exception
    {
        std::cout << "Non-throwing move constructor called\n";
    }
    Good(const Good&) noexcept // ne lèvera PAS d'exception
    {
        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

Voir aussi