Инициализация игнорирует шаблоны конструктора

Question

Выполняя некоторые ошибки, я наткнулся на следующее поведение инициализации, которое кажется мне странным: при инициализации для существующих конструкторов, похоже, были случаи, когда шаблоны для установки конструкторов игнорируются. Рассмотрим, например, следующую программу:

#include <iostream> 

template<class T> 
struct A { 
A() {}; 
template<class S> 
A(const A<S>& a) {std::cout << "constructor template used for A" << std::endl;}; 
}; 

template<class T> 
struct B{ 
B() {}; 
B(const B<int>& b) {std::cout << "constructor used for B" << std::endl;}; 
}; 

int main() { 
A<int> a; 
B<int> b; 
A<int> aa = a; 
B<int> bb = b; 
A<double> aaa = a; 
} 

Для меня это производит вывод

constructor used for B 
constructor template used for A 

это означает, что он не использует конструктор в третьей строке основной. Почему нет? Есть ли причина? Или где-то мой синтаксис? Шаблон, похоже, работает, так как он успешно используется в последней строке.

Я знаю, что пример кажется слишком сложным, но различные упрощения привели к тому, что поведение, которое я хотел отобразить, исчезло. Кроме того: при инициализации будет использоваться специализированная специализация по шаблону, и именно так я предотвращаю это в результате ошибок (где это вызвало ошибки в первую очередь).

Прошу прощения, если мой вопрос отключен, я не программист, я не носитель языка, и это мой первый вопрос, пожалуйста, простите меня.

Answer 1

компилятор обеспечивает неявно объявленную без шаблона конструктор копирования с подписью, эквивалентной

A(const A& a); 

потому конструктор шаблона не рассматривается как определенный пользователем конструктор копирования, то есть конструктор копирования должен быть без шаблона.

Неявно объявленный конструктор копирования является лучшим совпадением в разрешении перегрузки, чем версия шаблона, и является тем, который вызывается при копировании конструкции A<T> из A<T>. Это можно проиллюстрировать с помощью простого примера, с определяемым пользователем A(const A&):

#include <iostream> 

template<class T> 
struct A 
{ 
A() {}; 

A(const A& a) { 
    std::cout << "copy constructor used for A" << std::endl; 
} 

template<class S> 
A(const A<S>& a) { 
    std::cout << "constructor template used for A" << std::endl; 
} 
}; 

int main() 
{ 
    A<int> ai; 
    A<double> ad = ai;/calls template conversion contructor 
    A<int> ai2 = ai; // calls copy constructor A(const A&); 
} 

Answer 2

Это потому, что templated ctor не является копией ctor. См. Также https://stackoverflow.com/a/1249848/341065.

Answer 3

в соответствии с пунктом 12.8/7 C++ 11 стандарта на:

Если определение класса не явно объявлять copy, один объявлен неявно.

Кроме того, в соответствии с пунктом 12.8/2:

без шаблона конструктор для класса X является конструктор копирования, если первый параметр имеет тип X &, сопзЬ Х &, летучее X & или const volatile X &, либо других параметров нет, либо все остальные параметры имеют аргументы по умолчанию (8.3.6).

Таким образом, компилятор генерирует неявный конструктор копирования здесь, которая вызывается во время выполнения этой строки:

A<int> aa = a; 

Это объясняет, почему вы не видите соответствующий вывод.