Kiedy powinienem zadeklarować konstruktor ruchu bez żadnego wyjątku?

Question

Standard nie wymusza żadnego wyjątku na konstruktorach ruchu. W jakich okolicznościach jest to dopuszczalne/konieczne, aby konstruktor ruchu mógł rzucić?

Answer 1

Złotą zasadą tutaj jest: Zależy od.

Oto przykład, gdzie potęga sens:

// 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

Kiedy naprawdę nie mają wyboru. Najczęściej konstruktor ruchu powinien być noexcept. I są domyślnie.

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

Szczególnie ważne jest, aby używać noexcept dla typów, które są przeznaczonych do stosowania ze standardowymi pojemnikami bibliotecznych. Jeśli przenoszenie konstruktora dla typu elementu w kontenerze nie jest równe zeru, to wówczas kontener użyje konstruktora kopiującego, a nie konstruktora przemieszczania .