Costruttore di copia modello C++ su modello classe

Question

Ho una classe template che ha un costruttore di copia template. Il problema è quando istanzio questa classe usando un'altra istanza di questa classe con lo stesso tipo di template, il mio costruttore di copia template non viene chiamato. Perché non corrisponde? Ecco il frammento di codice:

#include <iostream> 

template <typename T> 
class MyTemplateClass 
{ 
    public: 
     MyTemplateClass() 
     { 
      std::cout << "default constructor" << std::endl; 
     } 

     /* 
     MyTemplateClass(const MyTemplateClass<T>& other) 
     { 
      std::cout << "copy constructor" << std::endl; 
     } 
     */ 

     template <typename U> 
     MyTemplateClass(const MyTemplateClass<U>& other) 
     { 
      std::cout << "template copy constructor" << std::endl; 
     } 
}; 

int main() 
{ 
    MyTemplateClass<int> instance; 
    MyTemplateClass<int> instance2(instance); 
    return EXIT_SUCCESS; 
} 

L'uscita è

default constructor 

Ma se scrivo esplicitamente il costruttore di copia di default (decommentando esso), allora l'uscita diventa

default constructor 
copy constructor 

Io davvero non capisco. L'ho provato con il mio compilatore locale (clang-500.2.79) e con this one (gcc 4.9.2) e ho ottenuto lo stesso risultato.

Answer 1

Un costruttore di copie ha il formato X(X&) o (X const&) e verrà fornito dal compilatore se non l'ha dichiarato (o alcune altre condizioni che non sono pertinenti qui). Non hai, così implicitamente abbiamo la seguente serie di candidati:

MyTemplateClass(const MyTemplateClass&); 
template <typename U> MyTemplateClass(const MyTemplateClass<U>&); 

Entrambi sono vitali per

MyTemplateClass<int> instance2(instance); 

Entrambi prendono gli stessi argomenti esatte. Il problema non è che il modello di costruttore di copia non corrisponde a corrisponde a. Il problema è che il costruttore implicito di copia non è un modello di funzione, e i non-modelli sono preferiti alle specializzazioni di modelli quando si tratta di risoluzione di sovraccarico. Da [over.match.best], omettendo i punti elenco non correlati:

Date queste definizioni, una funzione F1 praticabile è definita come una funzione migliore di un'altra funzione vitale F2 se per tutti gli argomenti i, ICS _I (F1) non è una sequenza di conversione peggio di ICS _i (F2), e poi
- [...]
- F1 non è una funzione di modello di specializzazione e F2 è un modello di specializzazione di funzione, o, in caso contrario,
- [...]

Ecco perché chiama il costruttore di copia implicito (e quindi, esplicito) sul modello di costruttore.

Answer 2

Quando non si dispone di un costruttore di copia nel codice, il compilatore lo genererà implicitamente. Perciò, quando si esegue questa riga:

MyTemplateClass<int> instance2(instance); 

un costruttore di copia è realizzazione, anche se ovviamente non il vostro. Penso che i modelli non abbiano niente a che fare con questo.

Per saperne di più su di esso qui: Implicitly-defined copy constructor

Answer 3

penso REACHUS è giusto, il compilatore genera un costruttore di copia di default (come si farebbe con una classe non-template troppo) e preferendo questo sopra il modello in quanto è più specializzato Dovresti rendere privato il tuo normale costruttore di copie, o meglio usare la parola chiave "cancellata" C++ 11 per contrassegnare la funzione come inutilizzabile. EDIT: Questo non si compila, mi dispiace, non ero in grado di testarlo al momento.