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

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';
    }
};

现场演示