多级类层次结构中拷贝构造函数最佳匹配顺序的疑问

哈哈，这个问题我当初刚学C++继承的时候也踩过坑！咱们把核心规则掰扯清楚，你立马就能明白为啥所有编译器都这么干了。

首先得先理清两个关键前提：

• C++的重载决议只认静态类型，编译器不管变量实际指向的是哪个派生类对象，只看你代码里写的声明类型。
• 你说Base2定义了“针对自身和Base1的拷贝构造”，其实这里有个概念误区：只有参数是自身类引用的构造函数才叫拷贝构造函数（比如Base2(const Base2&)），而Base2(const Base1&)只是个转换构造函数，用来把Base1对象转成Base2对象，算不上拷贝构造。

回到你的场景，你说line(1)里拷贝构造选了Base1的版本，大概率代码是类似这样的：

Derived d1;
Base1& b_ref = d1; // b_ref的静态类型是Base1&
Derived d2 = b_ref; // 这就是你说的line(1)

这时候重载决议的流程是这样的：

1. 因为Derived没写自己的拷贝构造，编译器会自动生成一个，这个生成的构造函数首先要调用直接基类Base2的构造函数。
2. 现在要给Base2选匹配的构造函数：我们手里的是Base1类型的引用，能匹配的只有你写的Base2(const Base1&)转换构造。
3. 接着这个Base2的构造函数会调用Base1的拷贝构造函数——这就是你看到“选了Base1的拷贝构造”的原因。

那为啥普通函数重载会选最派生的版本？比如你在Base2里写void func(Base2&)，Base1里写void func(Base1&)，用Derived对象调用时会选Base2的版本，这是因为普通函数重载中，派生类类型的实参匹配派生类参数的优先级更高。但在你这个场景里，问题出在初始化用的变量静态类型是Base1，编译器编译期看不到它实际是Derived对象，只能匹配Base1对应的构造入口。

还有一种可能：你是不是把Base2的拷贝构造写错了？比如写成了Base2(const Base1&)而不是Base2(const Base2&)？如果是这样，Base2会自动生成默认的拷贝构造函数，当你用Derived对象拷贝构造Base2时，编译器会优先匹配自动生成的Base2(const Base2&)（因为Derived可以隐式转成Base2&），只有用Base1对象初始化时才会触发你写的转换构造。

最后再敲个重点：

• 别指望编译器在编译期就知道运行时的动态类型，重载决议只看静态类型；
• 转换构造和拷贝构造是两回事，别搞混；
• 派生类自动生成的拷贝构造只会调用直接基类的拷贝构造，你看到Base1的构造被调用，是因为Base2的构造触发了它，不是跳过了Base2直接选的Base1。

内容来源于stack exchange