课堂笔记:
三个特殊函数:
String(const String& str);//拷贝构造函数
String& operator=(const String& str);//拷贝赋值函数
~String();//析构函数
在内外调用析构函数时,需要写全名;
析构函数起到关门清理函数的作用;
如果没有把内存释放掉的话,内存就会溢出
如果class里有指针,多半是要进行动态分配
动态创建对象的方式:
string *p = new String("Hello");
delete p;
String s2(s1);//以s1为蓝本创建对象s2
m_data = new char [ strlen(str.m_data)+1];
strcpy(m_data,str.m_data);//深拷贝
创造足够的空间给蓝本
拷贝赋值函数:
if(this == &str)
return *this;//检测自我赋值
output函数:
不能写成成员函数,写成全局函数,有两个参数
ostream& operator<<( ostream& os, const String& str );
stack(栈):是存在于某种作用域的一块内存空间。当调用函数,函数本身会形成一个stack用来放置它所接收的参数以及返回地址。在函数本体内声明的任何变量,其所使用的内存块都取自上述stack。只要离开作用域,其生命周期结束,自动调用析构函数。
{
Complex c1(1,2);
}
heap(堆):由操作系统提供的一块全局内存空间,程序可动态分配从中获得若干块。
{
Complex *p = new Complex(3);
}
要手动delete
可以在任何地方以new的方式,动态的获得
static object,其生命在作用域结束之后仍然存在,直到程序结束
static_cast 类型转换
array new 一定要搭配 array delete
static:
只能处理静态的数据
调用方式:1.通过object调用;2.通过class name调用
对operator = 中处理“自我赋值”进行深入学习:
例如下列代码:
class Comolex { . . . };
Conplex x;
. . .
x = x;//自己赋值给自己
这样看起来可能有点笨,但是编译是能通过的,此外赋值动作不是总是一眼就能被辨识出来:
a[i] = a[j] ; //自我赋值
如果i和j有相同的值,这就是个自我赋值。
*px = *py; //这也是自我赋值
如果px和py恰巧指向同一个东西,这也是自我赋值。这些自我赋值并不明显,但都是因为“别名”带来的结果。一班来说,如果某段代码操作pointers 或者 references 而它们被用来指向多个相同的类型的对象,就需要考虑这些对象是否是同一个。只要两个对象来自同一个继承体系,它们不需要进行声明成相同的类型就能造成“别名”的现象,这是因为,一个基类的引用或指针可以指向一个派生类对象:
class Base { . . . } ;
clase Derived : public Base { . . . } ;
void complex (const Base& x, Derived* y); //x和y有肯能其实是同一对象
下面是operator=实现代码,虽然表面上看起来合理,但是自我赋值出现时并不安全:
Widget& Widget::operator= ( const Widget& p)
{
delete q;
q = new Base(*p.q);
return *this;
}
这里的自我赋值的问题是,operator=函数内的*this和p有可能是同一个对象。在函数末尾,Widget中,它原本不该被自我赋值的动作改变的,因为发现自己有一个指针指向一个已经被删除的对象。
为了阻止这种自我赋值的错误,一般做法是operator=函数加一个“证同测试”,来达到“自我赋值”的检验目的:
Widget& Widget::operator= ( const Widget& p)
{
if(this == &p) return *this;
delete q;
q = new Base(*p.q);
return *this;
}