C++ template copy constructor on template class

by

A copy constructor is of the form X(X& ) or (X const&) and will be provided for you by the compiler if you didn’t declare one yourself (or a few other conditions which are not relevant here). You didn’t, so implicitly we have the following set of candidates:

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

Both are viable for

MyTemplateClass<int> instance2(instance);

Both take the same exact arguments. The issue isn’t that your copy constructor template doesn’t match. The issue is that the implicit copy constructor is not a function template, and non-templates are preferred to template specializations when it comes to overload resolution. From [over.match.best], omitting the unrelated bullet points:

Given these definitions, a viable function F1 is defined to be a better function than another viable function
F2 if for all arguments i, ICSi(F1) is not a worse conversion sequence than ICSi(F2), and then
— […]
— F1 is not a function template specialization and F2 is a function template specialization, or, if not that,
— […]

That’s why it calls your implicit (and then, your explicit) copy constructor over your constructor template.

More Related Contents:

  1. overloading friend operator
  2. Why should the implementation and the declaration of a template class be in the same header file? [duplicate]
  3. Variadic template pack expansion
  4. initializer_list and template type deduction
  5. How do I explicitly instantiate a template function?
  6. C++ Get name of type in template
  7. Implicit type conversion with template
  8. Why doesn’t a derived template class have access to a base template class’ identifiers?
  9. C++ SFINAE examples?
  10. What are Mixins (as a concept)
  11. Template partial ordering – why does partial deduction succeed here
  12. Matching alias template as template argument
  13. multiple definition of template specialization when using different objects
  14. Why is this code trying to call the copy constructor?
  15. Undefined reference error for template method [duplicate]
  16. How do compilers treat variable length arrays
  17. Can class template constructors have a redundant template parameter list in c++20
  18. Practical Uses for the “Curiously Recurring Template Pattern”
  19. Why can I call base template class method from derived class
  20. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  21. How to create a template function within a class? (C++)
  22. Why am I not provided with a default copy constructor from a volatile?
  23. Returning a void?
  24. Is casting std::pair const& to std::pair const& safe?
  25. Why do the usual access control checking applies to names used to specify explicit instantiation when accessed through template parameters?
  26. Local type as template arguments in C++ [duplicate]
  27. Switch passed type from template
  28. pointer as non-type template argument
  29. Const and non const template specialization
  30. Why are iostreams not copyable?

Leave a Comment