Всем привет. Имеется Visual C++ 2015 и код:
#define SHOW_ME printf("%s\n", __FUNCSIG__)
template <class T>
struct wrapper {
int data = 10;
wrapper() = default;
template <class U> wrapper(const wrapper<U>&) { SHOW_ME; }
};
Пытаюсь спровоцировать его следующим образом:
wrapper<long> wp1;
wrapper<long> wp2{ wp1 };
Работает не как ожидалось. Почему - то вызывается дефолтный конструктор копирования вместо моего. Добавление:
wrapper(const wrapper<T>&) = delete;
не спасает положение. Ошибка компиляции, компилятор в упор не видит шаблонного конструктора и просит что - то более подходящее. Если же убрать квалификатор const, то всё работает:
template <class U> wrapper(wrapper<U>&) { SHOW_ME; }
методом тыка выявил следующий приоритет перегрузок
(wrapper<T>&) > (wrapper<U>&) > (const wrapper<T>&) > default_ctor > (const wrapper<U>&)
Пока отказался от const, но на этом проблемы не закончились. Если попытаться применить эту схему для operator= то получаем следующее:
template <class U>
wrapper<T>& operator=(wrapper<U>&)
{ SHOW_ME return *this; }
...
wrapper<long> wp1;
wrapper<long> wp2;
wp1 = wp2;
Опять вызыватся дефолтная версия, хотя const уже нет. Перебирая разные варианты случайно обнаружил что если в класс добавить определение
wrapper<T>& operator=(const wrapper<T>&);
То всё работает и вызывается вариант с class U но как?! Я же просто добавил определение которое в коде не используется. Я каким - то образом затер дефолтный оператор? Но даже если я добавлю тело в эту функцию, то всё равно компилятор предпочтет шаблонную, а без этого определения видеть её отказывался.
- Есть какое - то внятное объяснение всей логики работы этих перегрузок или это баги компилятора или я что - то делаю не так?
- Как эффективнее обезопасить классы от несанкционированного копирования?