一、Big Three:拷贝构造函数,拷贝赋值函数,析构函数
1.拷贝构造函数
文字定义:拷贝构造函数,又称复制构造函数,是一种特殊的构造函数,它由编译器调用来完成一些基于同一类的其他对象的构建及初始化。其唯一的形参必须是引用,但并不限制为const,一般普遍的会加上const限制。
形式定义:string(const string& str);
调用形式:string s1("hello");
string s2(s1);//这里调用,在构造阶段
string s2 = s1;//和上面完全一样
2.拷贝赋值函数
文字定义:当两个对象之间相互赋值的时候调用,使左值对象拷贝一份右值对象的的数据并覆盖左值对象原来的数据。
形式定义:string operator= (const string& str) ;
调用形式:string s1("hello");
string s2;
s2 = s1;//这里调用,不构造,原对象已经存在
3.析构函数
文字定义:析构函数(destructor) 与构造函数相反,当对象结束其生命周期时(例如对象所在的函数已调用完毕),系统自动执行析构函数。
形式定义:~string();
调用形式:string *s = new string("hello");
delete s;//这里调用
注意:一定要在operator=中检测自我赋值!!!
二、堆、栈与内存管理
定义:
生命周期:
stack object会在其作用域(scope)结束之际结束,这种作用域内的object,又被称为auto object,因为它会被自动清理。
static object的生命在作用域结束之后仍然存在,直至程序结束。
global object的生命也是直至程序结束。
heap object的生命是在当它显示地调用new时,诞生,显示地调用delete的时候,结束。若调了new却不调delete,会造成内存泄漏。
关于new:
会经历:分配内存->强制类型转换->调用构造函数。
无指针类complex:
有指针类string:
关于delete []:
会经历:调用析构函数->delete函数释放该对象本身的空间。一般在析构函数中完成该对象指向的别处的空间。
无指针类complex:
有指针类string:
内存分配块:
调试模式下:首尾:2个cookie 调试模式下的占用:32+4 数据:4*2
以上合计52个字节。由于要保持与计算机寻址对齐,这里字符填充为16的倍数,即64个字节。
41中的4就表示64个字节,41中的1表示这片内存被占用着。
其它分析同理。
单独new:
array new:
调试模式下:首尾:2个cookie debugger header占用:32+4 数据:8*3
数组大小指示:4(下面的3)
合计72字节,对齐后变成80字节。51h的5代表80个字节数,1代表这块空间被占用着。
注意:array new一定要搭配array delete
三、string的实现
四、类模板,函数模板及其它
static:
一个使用static数据成员的例子:银行利率
单例模式的例子:
另一种写法:
类模板:
template<typename T>
这里定义一个复数类......
complex<int> c1(2.5, 1.5);
complex<double> c2(2, 5);
函数模板:
namespace std//可能是多个地方糅合到一起的。
{
...
}
其它细节:
五、组合、委托与继承
1.组合(composition)
定义:在一个类中以另一个类的对象作为数据成员的,称为类的组合(composition)
替换掉上面默认的模板参数后变成:
一个组合的空间大小分析:
Adapter设计模式:
现在需要的功能已经有完整的实现了,只是名称和接口不一样,重新写一个改造一下就行了。这个就叫改造器(Adapter)。
组合构造析构顺序:
组合当中的构造先后顺序:由内而外,先构造组合对象,再构造自己。
组合当中的析构先后顺序:以外而内,先析构自己,再析构组合对象。
2.委托(delegation):composition by reference
编译防火墙:
左边的内容不用变,不用再次编译,右边的内容可以变。
注意点:
引用计数(reference counting)
n那里是一块共享内存,a,b,c不要轻易把控全局。
当a,b,c需要改变内容时,单独给它拷贝一份,另外两个继续共享。这个叫copy on write.
3.继承(inheritance)
继承:通过继承机制,可以利用已有的数据类型来定义新的数据类型。所定义的新的数据类型不仅拥有新定义的成员,而且还同时拥有旧的成员。我们称已存在的用来派生新类的类为基类,又称为父类。由已存在的类派生出的新类称为派生类,又称为子类。
继承的三种方式:
公有继承(public):公有继承的特点是基类的公有成员和保护成员作为派生类的成员时,它们都保持原有的状态,而基类的私有成员仍然是私有的,不能被这个派生类的子类所访问。
在公有继承时,派生类的对象可以访问基类中的公有成员;派生类的成员函数可以访问基类中的公有成员和保护成员。这里,一定要区分清楚派生类的对象和派生类中的成员函数对基类的访问是不同的。
protect:保护继承的特点是基类的所有公有成员和保护成员都成为派生类的保护成员,并且只能被它的派生类成员函数或友元访问,基类的私有成员仍然是私有的。
这种继承方式与私有继承方式的情况相同。两者的区别仅在于对派生类的成员而言,对基类成员有不同的可见性。
private:私有继承的特点是基类的公有成员和保护成员都作为派生类的私有成员,并且不能被这个派生类的子类所访问。
在私有继承时,基类的成员只能由派生类中的成员函数访问,而且无法再往下继承。
继承的构造析构顺序:
继承的构造顺序:由内而外,先父类再子类。
继承的析构顺序:由外而内,先子类再父类。
注意:父类的析构函数最好写成virtual。
六、虚函数和多态
1.虚函数(virtual):
template method设计模式:
写好固定的部分(Application framework),留出自己实现的部分。