c++ - 模板化构造函数是否覆盖 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]) 要求:

A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&, volatile X& or const volatile X&, and either there are no other parameters or else all other parameters have default arguments.

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

您可以通过

使它显式(需要 C++11)

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