Kopiuj konstruktor szablonu klasy

Question

Przeczytałem, że szablon copy-con nigdy nie jest domyślną kopią onstructor, a szablon przypisania-op nigdy nie jest operatorem przypisania kopii.

nie mogłem zrozumieć, dlaczego takie ograniczenie jest potrzebne i od razu poszedł online ideone i zwracają test program ale tutaj skopiować konstruktor nigdy nie jest wywoływana na dalsze googlowania natknąłem templatized konstruktora i próbowałem tego, ale jeszcze nigdy nie domaga skopiować konstruktora .

#include <iostream> 
using namespace std; 

template <typename T> class tt 
{ 
    public : 
    tt() 
    { 
     std::cout << std::endl << " CONSTRUCTOR" << std::endl; 
    } 
    template <typename U> const tt<T>& operator=(const tt<U>& that){std::cout << std::endl << " OPERATOR" << std::endl;} 
    template <typename U> tt(const tt<U>& that) 
    { 
     std::cout << std::endl << " COPY CONSTRUCTOR" << std::endl; 
    } 
}; 


tt<int> test(void) 
{ 
    std::cout << std::endl << "  INSIDE " << std::endl; tt<int> a; return a; 
} 

int main() { 
    // your code goes here 
    tt<int> a ; a = test(); 

    return 0; 
} 

Może ktoś wyjaśnić mi całą powodem wprowadzenia tego ograniczenia, a także jak napisać konstruktor kopiujący klasy szablonu.

Dzięki

Answer 1

Istnieją ścisłe zasady co stanowi konstruktor kopiujący (por C++ 11, 12.8):

• To nie jest szablon.

• Dla klasy T, jej pierwszy argument musi mieć typ T & lub T const & lub T volatile & lub T const volatile &.

• Jeśli ma więcej niż jeden argument, dalsze argumenty muszą mieć wartości domyślne.

Jeśli nie zadeklarować konstruktor kopiujący, konstruktor kopię formularza T::T(T const &) jest niejawnie zadeklarowana dla Ciebie. (To może, ale nie musi być zdefiniowane, a jeśli jest zdefiniowane, to może być zdefiniowane jako usunięte.)

(Standardowe reguły dotyczące przeciążania oznaczają, że możesz mieć maksymalnie czterech konstruktorów kopii, po jednym dla każdej kwalifikacji CV .)

Istnieją analogiczne reguły dla konstruktorów ruchu, z && w miejsce &.

Answer 2

nie mogę wypowiedzieć się na temat, dlaczego tak jest, jak to jest, ale tutaj jest jak piszesz konstruktor kopiujący i operator przypisania dla szablonu Klasa:

template <class T> 
    class A 
    { 
     public: 
     A(const A &){} 
     A & operator=(const A& a){return *this;} 
    }; 

i to wszystko.
Podejście polega na tym, że nawet jeśli A jest szablonem, jeśli odwołasz się do niego w klasie jako A (na przykład w podpisach funkcji), jest on traktowany jako pełny typ A<T>.