Possiamo creare un costruttore di copia di classe virtuale in C++

Question

Possiamo creare un costruttore di copia di classe virtuale in C++? Come usare?

Answer 1

No, non è possibile, i costruttori non possono essere virtuali.

C++ 03 - 12.1 Costruttori

4) Un costruttore non deve essere virtual (10.3) o static (9.4). [...]

Se avete bisogno di qualcosa di simile, potete cercare l'idioma del costruttore virtuale here.

Answer 2

Mai, non sarà possibile in C++.

Answer 3

No. C++ essendo un linguaggio tipizzato statico, non ha alcun significato per il compilatore C++ per creare un oggetto in modo polimorfico. Il compilatore deve essere consapevole del tipo di classe per creare l'oggetto. In altre parole, il tipo di oggetto da creare è una decisione in fase di compilazione dalla prospettiva del compilatore C++. Se rendiamo virtuale il costruttore, il compilatore segnala un errore.

Answer 4

No, non è possibile.

Inoltre, l'intero concetto non ha senso. Le funzioni virtuali sono funzioni che vengono inviate in base al valore di un oggetto (il tipo dinamico dell'oggetto). Quando viene chiamato un costruttore, l'oggetto non ha ancora un valore (perché non è stato ancora creato). Pertanto, non è possibile che si verifichi alcuna spedizione virtuale.

Pensaci. Quale semantica avrebbe un simile costruttore?

Answer 5

Non è possibile perché la memoria viene allocata prima che il costruttore venga chiamato in base alle dimensioni del nuovo tipo e non all'operando di copia. E se funzionasse, sarebbe un caso speciale quello del polimorfismo invertito per un numero di costrutti linguistici.

Ma questo non significa che non possa essere fatto con un po 'di magia C++. :)

Ci sono alcuni casi in cui è incredibilmente utile, Serializzare classi non POD per esempio. In questo esempio viene creato un costruttore di copia virtuale che funziona utilizzando il posizionamento nuovo.

Avvertenza: questo è un esempio che può aiutare alcuni utenti con problemi specifici. Non farlo nel codice di scopo generale. Arresto anomalo se la memoria allocata per la nuova classe è inferiore alla classe derivata. Il modo migliore (e il solo) sicuro per usarlo è se gestisci la tua memoria di classe e usi il posizionamento nuovo.

class VirtualBase 
{ 
public: 
    VirtualBase() {} 
    virtual ~VirtualBase() {} 

    VirtualBase(const VirtualBase& copy) 
    { 
     copy.VirtualPlacementCopyConstructor(this); 
    } 

    virtual void VirtualPlacementCopyConstructor(void*) const {} 
}; 

class Derived :: public VirtualBase 
{ 
public: 
    ... 

    Derived(const Derived& copy) : ... don't call baseclass and make an infinite loop 
    { 
    } 

protected: 
    void VirtualPlacementCopyConstructor(void* place) const 
    { 
     new (place) Derived(*this); 
    } 
};