заставляя Шаблонный конструктор над компилятором копиеем конструктора

Question

Возьмите следующий,

template<class T> 
struct Foo { 
    Foo(){} 

    // a template constructor "generalized" over related types 
    template<class U> 
    Foo(Foo<U> const&) { 
     std::cout << 1; 
    } 

    // copy constructor 
    Foo(Foo const&) { 
     std::cout << 2; 
    } 
}; 

и его пользователь:

void main() { 
    Foo<int> f1; 
    Foo<const int> f2(f1); // prints 1 
    Foo<const int> f3(f2); // prints 2 
} 

Даже без явного копирующего конструктора, компилятор генерирует один и использует для f3(f2).

Есть ли способ заставить шаблон перегружать? Например, может ли конструктор копирования быть SFINAE'd? Это делается для того, чтобы избежать дублирования кода, поскольку, как ни удивительно, не представляется возможным использовать делегирующие конструкторы (делегирование от конструктора копирования к шаблону).

Answer 1

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

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

template<class T> 
struct Foo { 
    Foo(){} 

    struct tag{}; 

    // a template constructor "generalized" over related types 
    template<class U> 
    Foo(Foo<U> const& f) 
    : Foo(tag{}, f) 
    { 
     std::cout << 1 << '\n'; 
    } 

    // copy constructor 
    Foo(Foo const& f) 
    : Foo(tag{}, f) 
    { 
     std::cout << 2 << '\n'; 
    } 

private: 
    template<class U> 
    Foo(tag, Foo<U> const&) 
    { 
     std::cout << 3 << '\n'; 
    } 
}; 

Live demo