Quando dovrei dichiarare un costruttore di mosse senza alcuna eccezione?

Question

Lo standard non impone noexcept sui costruttori di movimento. In quali circostanze è accettabile/necessario un costruttore di mosse da lanciare?

Answer 1

La regola d'oro qui è: Dipende dallo.

Ecco un esempio in cui forze ha senso:

// A lock_guard template somewhere up here... 

template<typename mutex_t> 
class shared_lock_guard 
{ 
    mutex_t *mtx_ptr; 

public: 

    shared_lock_guard(lock_guard<mutex_t> &&other) : 
    mtx_ptr{other.mtx_ptr} 
    { 
     if(this->mtx_ptr){ 

      // this might throw a system_error 
      // if the syscall fails or if the 
      // lock state was corrupted. 
      // 
      this->mtx_ptr->shared_relock(); 
     } 

     other.mtx_ptr = nullptr; 
    } 

    // rest of implementation, etc... 
}; 

Answer 2

Quando hai davvero altra scelta. La maggior parte delle volte il tuo costruttore di movimento dovrebbe essere noexcept. E sono di default.

vedere questo: http://www.codingstandard.com/rule/12-5-4-declare-noexcept-the-move-constructor-and-move-assignment-operator/

È particolarmente importante utilizzare noexcept per i tipi che sono destinati ad essere utilizzati con i contenitori della libreria standard. Se il costruttore di movimento per un tipo di elemento in un contenitore non è nient'altro che il , il contenitore utilizzerà il costruttore di copia anziché il costruttore di spostamento .