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

Does a templated constructor override the implicit copy constructor in C++?

本文关键字：构造函数 复制 覆盖 是否 C++      更新时间：2023-10-16

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

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

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

如果是这样，在不显式定义复制构造函数的情况下有什么方法可以解决这个问题吗？

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

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

编译器

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

您可以通过以下方式明确（需要 C++11）

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

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

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

在不显式定义复制构造函数的情况下，有什么办法可以解决这个问题吗？

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

看起来像

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

相关文章：