派生类的拷贝构造问题
《Effective C++》中条款5到条款12是在讲述类中默认函数的一些书写“坑”,我总结一下,依照更为简便的Demo进行一个概括,并使用C++11的一些语法糖和新特性,更加容易的表现出这个注意事项。
贴一个简洁代码,可以直接下去看结论
#include<iostream>
using namespace std;
namespace D {
class Base {
public:
Base(int b1 = 0,int b2 = 0)
:_b1(b1),
_b2(b2),
_bP (make_shared<int>(10) )
{
cout << "基类构造" << "\n";
}
Base(const Base& copy)
:_b1(copy._b1),
_b2(copy._b2),
_bP(copy._bP)
{
cout << "基类拷贝构造 "<< "\n";
}
Base(const Base*copy)
:_b1(copy->_b1),
_b2(copy->_b2),
_bP(copy->_bP)
{
cout << "基类使用指针 拷贝构造 " << "\n";
}
Base& operator=(const Base& copy)
{
_b1 = copy._b1;
_b2 = copy._b2;
_bP = make_shared<int>(10);
cout<< "基类赋值拷贝构造 " << "\n";
return *this;
}
shared_ptr<int>& getPoint()
{
return this->_bP;
}
int _b1;
double _b2;
shared_ptr<int> _bP;
};
class Derive :public Base{//默认私有继承
public:
Derive(int d1=0,int b1=0,int b2=0)
:_d1(d1),
Base(b1,b2)
{
cout << "派生类构造" << "\n";
}
Derive( Derive& copy)
:Base(copy),
_d1(copy._d1)
{
cout << "派生类拷贝构造" << "\n";
}
private:
int _d1;
static int d2;
};
int Derive::d2 = 1;
void test()
{
Base B1;
Base *p = &B1;
Base B2(p);//这种写法很丑陋,只是为了测试
Base B3(B1);//拷贝构造
Base B4 = B1;//拷贝构造
cout << "浅拷贝: "<<B1._bP.use_count() << endl;//基于浅拷贝,B1,B2,B3,B4
B4 = B1;//赋值操作符重载,调用深拷贝,
cout<<"B4调用深拷贝后: "<<B1._bP.use_count() << endl;//基于浅拷贝,B1,B2,B3;;B4变为深拷贝
cout << "---------------" << endl;
Derive D1;
Derive D2(D1);
cout <<"派生类的智能指针:"<< D2.getPoint().use_count() << endl;;//基于浅拷贝,D1,D2继承的shared_ptr指向一段空间
cout << sizeof(B1);
}
}
int main()
{
D::test();
}
总而言之,拷贝构造和赋值操作符重载的注意事项在注释里,重点
先调用基类构造再调用派生类构造,和初始化列表顺序无关,析构则是先析构指向的对象(派生类),再析构基类;
多态中基类为vitual析构函数,这个另外讲。
条款10: operator = 返回 refercence to *this
条款11:operator =中处理自我赋值
那么我的基类中operator = 就必须加上一句
if (this==©) return *this;
条款12:赋值对象勿忘其每一个成分
故我的Derive类中拷贝构造都是在初始化列表使用Base(int,int)和Base(const Base&)
额外一点,拷贝构造的参数为什么是引用(可以是指针,但那很蠢也,可以说不叫拷贝构造了)
主要是考虑循环构造的问题
然后我的派生类和基类都测试了一下shared_ptr和深浅拷贝问题,可以看看我的这2篇文章
https://blog.****.net/weixin_41143631/article/details/88647951
https://blog.****.net/weixin_41143631/article/details/81486817