模板化构造函数是否会覆盖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&的非模板构造函数是一个复制构造函数，并且没有其他参数，或者所有其他参数都有默认参数。

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

你可以通过

明确表达（需要C ++ 11）

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

Answer 2

  

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

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

  

如果没有明确定义复制构造函数，有没有办法解决这个问题？

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

Answer 3

模板化构造函数或赋值运算符看起来像模板[默认构造函数/复制构造函数/移动构造函数/复制赋值运算符/移动赋值运算符]不是真正 a [默认构造函数/复制构造函数/移动构造函数/复制赋值运算符/移动赋值运算符]，不会替换它或阻止它被隐式生成。