对象的初始化
某个类的对象之间都有哪些不同呢?首先是对象名不同,其次就是对象的数据成员的值不同。我们在声明一个对象时,也可以同时给它的数据成员赋初值,称为对象的初始化。
构造函数
我们在声明一个变量时,如果对它进行了初始化,那么在为此变量分配内存空间时还会向内存单元中写入变量的初始化。
声明对象有相似的过程,程序执行时遇到对象声明语句时会向操作系统申请一定的内存空间来存放这个对象,但是它能像一般变量那样初始化时写入指定的初始值吗?类的对象太复杂了,要实现这一点不太容易,这就需要构造函数来实现。
构造函数的作用就是在对象被创建时利用特定的初始值构造对象,把对象置于某一个初始状态,它在对象被创建的时候由系统自动调用,我们只需要使用默认的构造函数或者自己定义构造函数,而不用管怎么调用的。
构造函数也是类的成员函数,除了有成员函数的所有特征外,还有一些不同之处:构造函数的函数名跟类名一样,而且没有返回值。
构造函数一般被声明为公有函数,除非我们不允许某个类生成对象则将它声明为private或protected属性。
编译器碰到对象声明语句时,会自动生成对构造函数的调用语句,所以我们常说构造函数是在对象声明时由系统自动调用的。
上一讲那个时钟例子中,没有定义Clock类的构造函数,编译器编译时会自动生成一个默认形式的构造函数,这个构造函数不做任何事,那么为什么还要生成它呢?
因为C++在对象建立时都会调用构造函数,所以如果没有自己定义构造函数,那么即使是什么都不做的构造函数也是要有的。现在在Clock类中加入自己定义的构造函数:
class Clock
{
public:
Clock(int NewH, int NewM, int NewS); //构造函数
void SetTime(int NewH, int NewM, int NewS);
void ShowTime();
private:
int Hour, Minute, Second;
};
构造函数的实现:
Clock::Clock(int NewH, int NewM, int NewS)
{
Hour=NewH;
Minute=NewM;
Second=NewS;
}
建立对象时构造函数的作用:
int main()
{
Clock c(0,0,0); //隐含调用构造函数,将初始值作为实参。
c.ShowTime();
return 0;
}
main函数中,创建对象c时,其实隐含了构造函数的调用,将初始值0,0,0作为构造函数的实参传入。因为上面Clock类定义了构造函数,那么编译器就不会再为它生成默认构造函数了。这里的构造函数有三个形参,那么建立对象就必须给出初始值了。
因为构造函数也是一个成员函数,所以它可以直接访问类的所有数据成员,可以是内联函数,可以带有形参表,可以带默认的形参值,也可以重载,就是有若干个名字相同但形参个数或者类型不同的构造函数。
拷贝构造函数
我们可以将一个变量的值赋给另一个同类型的变量,那么可以将一个对象的内容拷贝给相同类的另一个对象吗?
可以,我们可以将第一个对象的数据变量的值分别赋给另一个对象的数据变量,但是,如果数据变量数很多的话那将是很麻烦的,这时候我们就需要有拷贝构造函数。
拷贝构造函数是一种特殊的构造函数,因为它也是用来构造对象的。它具有构造函数的所有特性。
拷贝构造函数的作用是用一个已经存在的对象去初始化另一个对象,这两个对象的类类型应该是一样的。定义拷贝构造函数的形式是:
class 类名
{
public :
类名(形参); //构造函数
类名(类名 &对象名); //拷贝构造函数
...
};
类名::类(类名 &对象名) //拷贝构造函数的实现
{
函数体
}
拷贝构造函数的形参是本类的对象的引用。
程序中如果没有定义拷贝构造函数系统会生成一个默认的拷贝构造函数,它会将作为初始值的对象的数据成员的值都拷贝到要初始化的对象中。
下面给大家一个坐标点类的例子,X和Y数据成员分别为点的横坐标和纵坐标:
class Point
{
public:
Point(int xx=0,int yy=0) {X=xx; Y=yy;}
Point(Point &p);
int GetX() {return X;}
int GetY() {return Y;}
private:
int X, Y;
};
此类中声明了内联构造函数和拷贝构造函数。拷贝构造函数的实现如下:
Point::Point(Point &p)
{
X=p.X;
Y=p.Y;
cout<<"拷贝构造函数被调用"<<endl;
}
拷贝构造函数在以下三种情况下会被调用:
a.当用类的一个对象去初始化该类的另一个对象时系统自动调用拷贝构造函数实现拷贝赋值。
int main()
{
Point A(1,2);
Point B(A); //拷贝构造函数被调用
cout<<B.GetX()<<endl;
return 0;
}
b.若函数的形参为类对象,调用函数时,实参赋值给形参,系统自动调用拷贝构造函数。
void fun1(Point p)
{
cout<<p.GetX()<<endl;
}
int main()
{
Point A(1,2);
fun1(A); //调用拷贝构造函数
return 0;
}
c.当函数的返回值是类对象时,系统自动调用拷贝构造函数。
Point fun2()
{
Point A(1,2);
return A; //调用拷贝构造函数
}
int main()
{
Point B;
B=fun2();
return 0;
}
最后这种情况怎么调用的拷贝构造函数呢?对象A是局部对象,在fun2函数执行完就释放了,那怎么将它拷贝给对象B呢?
编译器在执行B=fun2()时会创建一个临时的无名对象,在执行return A时实际上是调用了拷贝构造函数将A的值拷贝到了临时对象中,A就释放了,然后将临时对象的值再拷贝到对象B中。
析构函数
自然万物都是有生有灭的,类的对象也一样是有生命周期的,一样会消亡。
给大家讲一种情况:如果在函数中声明了一个对象,那么在这个函数运行完返回调用函数时,声明的对象也会释放,就像上面说的fun2函数中对象A那样。
在对象释放时都有什么工作要做呢?
我们经常遇到的情况就是:构造函数时动态申请了一些内存单元,在对象释放时就要同时释放这些内存单元。
析构函数和构造函数的作用是相反的,它会在对象被删除之前做一些清理工作。析构函数是在对象要被删除时由系统自动调用的,它执行完后对象就消失了,分配的内存空间也释放了。
析构函数是类的一个公有函数成员,它的名称是在类名前加“~”形成,不能有返回值,大家注意下,它和构造函数不同的是它不能有任何形参。
如果没有定义析构函数系统也会自动生成一个默认析构函数,默认析构函数也不会做任何工作。一般如果我们想在对象被删除之前做什么工作就可以把它写到析构函数里。
还是在上面那个坐标点类中加入析构函数给大家看下析构函数怎么用:
class Point
{
public:
Point(int xx, int yy);
~Point();
//...其他函数原型
private:
int X, int Y;
char *p;
};
下面是构造函数和析构函数的实现:
Point::Point(int xx,int yy)
{
X=xx;
Y=yy;
p=new char[20]; // 构造函数中动态分配char型内存
}
Point::~Point()
{
delete []char; // 在类析构时释放之前动态分配的内存
}
//...其他函数的实现略