模板化构造函数是否会覆盖C ++中的隐式复制构造函数？

Question

模板化构造函数（如下所示）是否会覆盖隐式复制构造函数？

template <class T>
struct Foo
{
    T data;

    // ...

    template <class U>
    Foo(const Foo<U> &other) : data((T)doSomethingWith(other.data)) {}

    // ...
};

如果是这样，如果通过值而不是常量引用传递other值，它是否仍会覆盖它？

如果是这样，有没有明确定义复制构造函数的方法呢？

Answer 1

不，那不是复制构造函数。 本标准第12.8节（ [class.copy] ）要求：

如果X类的第一个参数是X& ， const X& ， volatile X&或const volatile X& ，并且没有其他参数或者所有其他参数都有默认参数，则类X非模板构造函数是一个复制构造函数。

编译器仍将隐式生成默认值。

您可以通过显式（需要C ++ 11）

Foo(const Foo<T>&) = default;

Answer 2

模板化构造函数（如下所示）是否会覆盖隐式复制构造函数？

否。复制构造函数仍然是隐式声明的，并且优先于模板进行选择。

有没有明确定义复制构造函数的方法？

不。如果您不想要隐式复制构造函数，那么您必须自己定义一个。

Answer 3

用模板的构造函数或赋值运算符，它看起来像一个模板[默认构造函数/拷贝构造函数/移动构造函数/拷贝赋值运算符/移动赋值运算符]是不是一个真正的[默认构造函数/拷贝构造函数/移动构造函数/拷贝赋值运算符/移动赋值运算符并且不会替换它或阻止它被隐式生成。