Errore di compilazione del compilatore di copiatura esplicita

Question

Stavo verificando il sovraccarico dell'operatore in C++ e ho trovato qualcosa che non mi aspettavo e ho qualche dubbio a riguardo.

mio costruttore di copia è dichiarata e implementato come come

explicit Vector(const Vector& v); 

Vector::Vector(const Vector& v) : 
_x(v._x), _y(v._y), _z(v._z) {} 

allora sto sovraccaricare gli operatori di assegnazione composti

Vector Vector::operator+(const Vector& v) const 
{ 
    Vector tmp(*this); 
    tmp += v; 
    return tmp; 
} 

Vector Vector::operator-(const Vector& v) const 
{ 
    Vector tmp(*this); 
    tmp -= v; 
    return tmp; 
} 

tuttavia, nei return dichiarazioni che ho ottenuto un errore che dice no matching constructor for initialization of 'Vector'.

Poiché l'unica cosa che ho aggiunto al mio costruttore era la parola chiave explicit, l'ho cancellata e il codice viene compilato bene, perché?

Ho anche stato il controllo novità da C++ 11 e si è verificato che posso dichiarare il mio costruttore come un movimento costruttore

explicit Vector(const Vector&& v); 

e il codice viene compilato bene. Se lo faccio, devo avere sia copia che muovere i costruttori?

explicit Vector(const Vector& v); 
explicit Vector(const Vector&& v); 

o semplicemente avere il costruttore di spostamenti funzionerà correttamente? Se voglio attenermi a C++ 11, qual è l'approccio corretto da seguire?

Answer 1

È definito un costruttore di copia esplicita, ma le funzioni

Vector Vector::operator+(const Vector& v) const 

e

Vector Vector::operator-(const Vector& v) const 

deve tornare per valore, e non può più, a causa di explicit (in altre parole, non possono copiare tmp nell'oggetto restituito).

Ho anche stato il controllo novità da C++ 11 e si è verificato che posso dichiarare il mio costruttore come un movimento costruttore explicit Vector(const Vector&& v); e il codice viene compilato bene. Se lo faccio, devo avere sia copia che muovere i costruttori?

Non sono sicuro di capire cosa intendi qui. Avrai lo stesso problema se dichiari solo un costruttore di spostamento esplicito (che impedirà al compilatore di generare un costruttore di copie predefinito). Non sono in grado di produrre un codice "compilabile".

Answer 2

Per restituire un oggetto in base al valore è necessario eseguire una costruzione di copia implicita. Rendere esplicito il costruttore della copia lo impedisce.

Questo è vero indipendentemente dal fatto che il compilatore scelga di non richiamare il costruttore di copie (ad esempio l'ottimizzazione del valore di ritorno).