c++ - 模板化构造函数可以代替已删除的复制构造函数吗？

Question

考虑

template<typename T>
struct Foo
{
    Foo(const Foo&) = delete;
    template <typename Y>
    Foo(const Foo<Y>&){}
};

模板构造函数的适当实例化是否代表复制构造函数？我知道它通常不会(因为复制构造函数不能是模板函数)但在这里我删除了复制构造函数。

Answer 1

这里的麻烦是删除的函数仍然参与重载决议。如此给定

Foo<int> a;
Foo<int> b{a};

可行的函数是删除的复制构造函数和带有推导的模板参数int 的模板构造函数。作为非模板，删除的复制构造函数获胜。并且使用删除的函数会使程序格式错误。

所以不，模板构造函数永远不能实例化为用于复制相同类型对象的复制构造函数。