Move Constructor senza puntatori

Question

So che questa domanda potrebbe sembrare molto semplice. Ma non riesco a trovare da nessuna parte un esempio di costruttore di movimento con no puntatori.

Ho una classe che contiene una variabile oggetto vettoriale. Non un puntatore a uno. Quindi la mia domanda: Questo significa che non ho bisogno di un costruttore di mosse? Oppure la mia implementazione è sbagliata e dovrei usare un puntatore a un vettore e quindi usare un costruttore di mosse?

Grazie

Answer 1

Se la classe contiene oggetti mobili (come ad esempio un vettore), poi basta lasciare che il compilatore genera le operazioni di spostamento implicite. Faranno la cosa giusta, spostando ogni sub-oggetto.

Dovrai scrivere da solo se stai manipolando i puntatori grezzi agli oggetti dinamici o ad altri handle di risorse non gestiti. L'approccio migliore consiste nel disporre di un oggetto correttamente copiabile/mobile (come un contenitore, un puntatore intelligente o un'altra classe RAII) per gestire ciascuno di questi; quindi un oggetto complesso costruito componendo questi avrà implicitamente la semantica di copia/spostamento corretta.

(Come indicato nei commenti: se la classe dichiara il proprio distruttore o le operazioni di copia, allora non otterrà operazioni di spostamento implicite, sarà necessario definirne di proprie, ma se si segue il consiglio di cui sopra, compilandolo da tipi gestiti correttamente che non necessitano di alcuna gestione speciale, non è necessario dichiarare nulla di tutto ciò.)

Answer 2

Il costruttore di movimento segue linee guida simili a quelle dei costruttori di copie. È necessario quando la classe tiene i membri per puntatore o altri campi di dati fragili (socket, connessioni db, ecc.), In modo che ne generi automaticamente uno che potrebbe rovinare il layout della memoria eliminando due volte lo stesso oggetto. Quindi, se non si dispone di campi di puntatori, non è necessario scrivere costruttore di mosse.

Answer 3

Il costruttore di spostamento predefinito e l'allineamento del movimento generato dal compilatore chiameranno il costruttore/assegno di spostamento per ciascun membro della classe.

Se la classe ha solo membri non elaborati, "char * buffer", ad esempio, è necessario scrivere le proprie operazioni di spostamento.

Se la classe ha solo "membri gestiti", "vettore", ad esempio, le operazioni di spostamento predefinite per la classe saranno ok perché delegano l'operazione a ciascun membro.

Se la classe è "gestito membri" mescolato con "membri prime", il vettore e int * ad esempio, le operazioni di movimentazione dovranno fare la mossa manuale delle risorse prime e chiamare operazioni di spostamento per gli oggetti gestiti:

class MyObject { 
public: 
    // ... 


    MyObject(MyObject&& other) : vector1(std::move(other.vector1)) { 
     // We use vector's move constructor^

     // and then move ourself the char* buffer 
     buffer1 = other.buffer1; 
     other.buffer1 = nullptr;   
    } 

    MyObject& operator=(MyObject&& other) { 
     // We use vector's move asignment operator 
     vector1= std::move(other.vector1); 

     // and then move ourself the char* buffer 
     std::swap(buffer1,other.buffer1); 
     return *this; 
    } 

    //... 
private: 
    vector<char> vector1; 
    char * buffer1; 
}; 

std :: move (other.vector1) è necessario perché all'interno di quella funzione other.vector1 è un lvalue. Dobbiamo dire al compilatore che non utilizzeremo il valore vector1 più avanti nel codice funzione in modo che il suo valore possa essere spostato.