Libreria di utilità C ++ - funzione move_if_noexcept

Descrizione

Restituisce un riferimento rvalue ad arg, a meno che la copia non sia un'opzione migliore rispetto allo spostamento per fornire almeno una forte garanzia di eccezione.

Dichiarazione

Di seguito è riportata la dichiarazione per la funzione std :: move_if_noexcept.

template <class T>
  typename conditional < is_nothrow_move_constructible<T>::value ||
                         !is_copy_constructible<T>::value,
                         T&&, const T& >::type move_if_noexcept(T& arg) noexcept;

C ++ 11

template <class T>
  typename conditional < is_nothrow_move_constructible<T>::value ||
                         !is_copy_constructible<T>::value,
                         T&&, const T& >::type move_if_noexcept(T& arg) noexcept;

Parametri

arg - È un oggetto.

Valore di ritorno

Restituisce un riferimento rvalue ad arg, a meno che la copia non sia un'opzione migliore rispetto allo spostamento per fornire almeno una forte garanzia di eccezione.

Eccezioni

Basic guarantee - Questa funzione non genera mai eccezioni.

Gare di dati

La chiamata a questa funzione non introduce gare di dati.

Esempio

Nell'esempio seguente viene illustrata la funzione 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;
   Good g2 = std::move_if_noexcept(g);
   Bad b2 = std::move_if_noexcept(b);
}

Compiliamo ed eseguiamo il programma sopra, questo produrrà il seguente risultato:

Non-throwing move constructor called
Throwing copy constructor called