【起因】
在测试C++中通过基类引用做形参实现多态的时候,写过一段很挫的测试程序,如下:
Base b;
Derived1 d1;
Derived2 d2;
Derived3 d3;
vector<Base> base_vec;
base_vec.push_back(b);
base_vec.push_back(d1);
base_vec.push_back(d2);
base_vec.push_back(d3);
//通过基类引用做形参实现多态测试
for (int i = 0; i != base_vec.size(); ++i) {
Polymorphic1(base_vec[i]);
}
之所以说这段代码很挫,是因为本来利用for循环省事的,却忽略了把派生类存到vector的时候,派生类对象被自动转换为基类对象了,因为vector参数类型是基类的。所以vector里面保存的对象都是Base类型的,而不是派生类的了。再用这些对象进行多态测试,可想结果是怎么悲剧的了。
我们知道在把对象放入容器中保存的是对象的副本,而不是对象本身,会调用类的拷贝构造函数构造一个新的对象存放在容器里。本想确认下,上述把派生类对象存放到基类的容器中时,是调用派生类的拷贝构造函数?还是调用基类的拷贝构造函数? 当然,现在已经明确了是调用的基类的拷贝构造函数,也就是说先将派生类自动转换为基类对象,然后调用了基类的拷贝构造函数构造了一个新的基类对象存储到容器中的。
【正题】
然而,当时却有一个很不解的现象:当只想vector中插入一个基类对象或者一个派生类对象时,仅调用一次基类的拷贝构造函数,而当向vector中插入一个基类对象和一个派生类对象时,却调用了3次基类的拷贝构造函数,和一次基类的析构函数;为什么会多调用一次拷贝构造函数和一次析构函数呢?那么我们多向vector里面插入几个对象,是不是可以发现一些规律呢?
Base b;
vector<Base> base_vec;
fo