复制构造函数不被继承

Question

我有以下代码：

class C {
public:
    C(int) {}
    C(const C&) {}
    C() {}
};  

class D : public C { 
public:
    using C::C;
};  

int main() {
    C c;
    D d_from_c(c); // does not compile, copy ctor is not inherited
    D d_from_int(1); // compiles, C(int) is inherited
}   

派生类应该继承除默认ctor之外的所有基础ctor（解释here）。但是为什么copy ctor也没有被继承呢？此处不接受来自相关问题的参数。

代码使用g++ 4.8.1编译。

Answer 1

因为标准是这样说的。 [class.inhctor]/p3，强调我的：

对于继承的候选集中的每个非模板构造函数 构造函数除了没有参数的构造函数或 具有单个参数的复制/移动构造函数，构造函数是 隐式声明具有相同的构造函数特征，除非 有一个用户声明的具有相同签名的构造函数 出现 using 声明或构造函数的完整类 将是该类的默认、复制或移动构造函数。

Answer 2

派生类应该继承base的所有ctors，除了默认的ctors

不，这不是真的，请参阅T.C.'s answer 了解真正的规则。

继承构造函数的目的是说“派生类型可以从与基类型相同的参数创建”，但这与基类的复制构造函数无关，因为复制构造函数不仅仅是一个表示如何从给定参数创建类型。

复制构造函数比较特殊，它是用来复制一个相同类型的对象。

构造函数D(const C&) 不会用于复制相同类型的对象，因为C 与D 的类型不同。

Answer 3

暂时，我们假设允许“复制构造函数继承”。 保持您的类结构完整，请考虑修改 main 方法的以下代码。

int main() {
    C c;
    D d;
    D d_from_d(d);
    D d_from_c(c); // does not compile, copy ctor is not inherited
    D d_from_int(1); // compiles, C(int) is inherited
}  

在D d_from_d(d)中，作为普通的构造函数调用，会有两次拷贝构造函数调用。一个用于 C::C(const C&)，另一个用于编译器为 D 生成的复制构造函数。在 D 中具有源对象类型（在本例中为 d），C 的复制构造函数可以复制 d 的 C 属性，而编译器生成 D 的复制构造函数可以复制d的D属性。

但是在D d_from_c(c)的情况下，C的拷贝构造函数没有问题，因为c的C属性可以被C的拷贝构造函数拷贝。但是编译器如何生成 D 的复制构造函数，知道如何从 C 的对象中复制“D 的属性”。这是一个应该避免的冲突。

但是，如果您提供某种“奇怪的复制构造函数”（您可能还需要默认构造函数），例如；

D(const C & c):C(c){} 

那么， 打电话给D d_from_c(c); 已验证。因为，现在我们已经显式地提供了一个匹配的“复制”构造函数。

因此，说“现在允许继承复制构造函数”是无效的。