在编译器生成的复制构造函数上强制模板化构造函数

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 淘汰吗？这是为了避免代码重复，因为有趣的是，似乎也没有办法使用委托构造函数（从复制构造函数委托给模板构造函数）。

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