目录
类的六个默认成员函数
如果一个类中什么都没有,简称为空类。空类中真的什么都没有吗?并不是这样的,任何一个类在我们不写的情况下,都会自动生成一些默认的成员函数。我主要介绍C++98中的6个默认成员函数。
定义一个空类:
class Date{};
默认生成的六个成员函数:
class Date
{
public:
//构造函数
Date(){}
//析构函数
~Date(){}
//拷贝构造函数
Date(const Date& d){}
//赋值运算符重载
Date& operator=(const Date& d){}
//普通对象取地址
Date* operator&(){}
//const修饰对象取地址
const Date* operator&()const{}
}
构造函数
构造函数是一个特殊的成员函数,是公有函数,名字与类名相同,创建类类型对象时由编译器自动调用,保证每个数据成员都有 一个合适的初始值,并且在对象的生命周期内只调用一次。需要注意的是,构造函数的虽然名称叫构造,但是需要注意的是构造函数的主要任务并不是开空间创建对象,而是初始化对象。
其特征如下:
- 函数名与类名相同
- 无返回值
- 对象实例化时编译器自动调用对应的构造函数
- 构造函数可重载
class Date
{
public:
//无参构造函数
Date()
{}
//2.带参构造函数
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
}
void TestDate()
{
Date d1; // 调用无参构造函数
Date d2 (2015, 1, 1); // 调用带参的构造函数
// 注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明
// 以下代码的函数:声明了d3函数,该函数无参,返回一个日期类型的对象
Date d3();
}
//如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定
//义编译器将不再生成。
class Date
{
private:
int _year;
int _month;
int _day;
}
void Test()
{
// 没有定义构造函数,对象也可以创建成功,因此此处调用的是编译器生成的默认构造函数
Date d;
}
//无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。注意:无参
//构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认成员函数。
// 默认构造函数
class Date
{
public:
Date()
{
_year = 1900 ;
_month = 1 ;
_day = 1;
}
Date (int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
private :
int _year ;
int _month ;
int _day;
};
//下面测试不能通过编译,会报错:类 "Date" 包含多个默认构造函数、“Date::Date”: 对重载函数的调用不明确
void Test()
{
Date d;
}
关于编译器生成的默认成员函数,很多童鞋会有疑惑:在我们不实现构造函数的情况下,编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用?d对象调用了编译器生成的默认构造函数,但是d对象year/month/_day,依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么卵用??
解答:C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语法已经定义好的类型:如int/char...,自定义类型就是我们使用class/struct/union自己定义的类型,看看下面的程序,就会发现编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数。
#include "iostream"
using namespace std;
class Time
{
public:
Time()
{
cout << "Time()" << endl;
_hour = 0;
_minute = 0;
_second = 0;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year;
int _month;
int _day;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
对象d创建成功后d的内容:
析构函数
知道构造函数,我们知道了对象是怎么产生的,那么接下来要介绍对象是如何消失的。
与构造函数功能相反,析构函数不是完成对象的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成类的一些资源清理工作。
其特征如下:
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值。
- 一个类有且只有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
析构函数的本质不是删除对象,而是把对象的资源释放掉。如果定义类的时候,没有写析构函数,那么系统就会生成一个默认的析构函数。但是如果类中涉及到资源管理,析构函数一定要显示提供。
class String
{
public:
String(const char* str = "jack")
{
_str = (char*)malloc(strlen(str) + 1);
strcpy(_str, str);
}
~String()
{
cout << "~String()" << endl;
free(_str);
}
private:
char* _str;
};
class Person
{
/*~Person()
{
call::~String
}
*/
private:
String _name;
int _age;
};
int main()
{
Person p;
return 0;
}
很明显,在上面例子中没有显示定义~Person()这个析构函数,但是还是看到了,当return 0 后就要结束主函数时,系统调用了一个析构函数,这个就是系统默认生成的。
拷贝构造函数
拷贝构造函数也是构造函数的一种,只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
class Date
{
public:
Date(const Date& d)
{
_)year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
}
1.具有所有构造函数的特征。
2.拷贝构造函数是构造函数的一个重载形式。
3.拷贝构造函数的参数只有一个且必须使用引用传参,使用传值方式会引发无穷递归调用
--如果--
Date(const Date d)
{
}
传值过来就需要一个临时变量d1来接受这个值,而这个临时变量也是Date类型,需要调用拷贝构造函数来创建。而需要创建d1,就必须再调用拷贝构造函数,调用拷贝构造函数,就又需要创建临时变量d2.。。。。。。如此循环不断。
如果未显示定义,系统就会生成默认的拷贝构造函数。默认的拷贝构造函数是位拷贝或着叫做内存拷贝,属于浅拷贝。就是将A=B,即把B中的内容赋给A。这种拷贝有很大的隐患,如果char* a = malloc(。。。。);把a拷贝给b,其实只是把a里面存储的空间地址给了b,让b指向了malloc申请的空间,这样a就成了野指针,造成内存泄漏。而且,当生命周期结束时,系统调用析构函数清理时,由于栈上空间先入后出规则,会先释放b的空间,在释放a的空间,但是由于a和b管理同一块空间,会造成空间重复释放,导致程序崩溃。
所以说,当类中没有资源,不显示定义拷贝构造函数没有关系,不会造成不良后果;但当类中有资源,如果不显示定义,那么就可能造成内存泄漏或者资源被重复释放以至于程序崩溃。
如果一个类拥有资源(堆,或者其他系统资源),当这个类的对象发生复制过程的时候,复制了资源,这个过程叫做深拷贝。
如果一个类拥有资源(堆,或者其他系统资源),当这个类的对象发生复制过程的时候,没有复制资源,这个过程叫做浅拷贝。
无资源
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
// 这里d2调用的默认拷贝构造完成拷贝,d2和d1的值也是一样的。
Date d2(d1);
return 0;
}
有资源
//程序会崩溃
class String
{
public:
String(const char* str = "jack")
{
_str = (char*)malloc(strlen(str) + 1);
strcpy(_str, str);
}
~String()
{
cout << "~String()" << endl;
free(_str);
}
private:
char* _str;
};
int main()
{
String s1("hello");
String s2(s1);
return 0;
}
//在return之前不会出现任何问题,拷贝也显示成功了(其实只是改变了指针指向,没有真的拷贝),但当return 0运行完之后,程序立马崩溃,报错出现了一个断点。
赋值运算符重载
运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
operator==
函数原型:返回值类型 operator操作符(参数列表)
bool operator==(const Date& d);
注意
- 不能通过连接其他符号来创建新的操作符:比如operator@
- 重载操作符必须有一个类类型或者枚举类型的操作数
- 用于内置类型的操作符,其含义不能改变,例如:内置的整型+,不 能改变其含义 作为类成员的重载函数时,其形参看起来比操作数数目少1成员函数的操作符有一个默认的形参this,限定为第一个形参
- .* 、:: 、sizeof 、?: 、. 注意以上5个运算符不能重载。这个经常在笔试选择题中出现。
赋值运算符重载
class Date
{
public :
Date& operator=(const Date& d)
{
if(this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}
private:
int _year ;
int _month ;
int _day ;
};
赋值运算符主要有四点:
1. 参数类型
2. 返回值
3. 检测是否自己给自己赋值
4. 返回*this
5. 一个类如果没有显式定义赋值运算符重载,编译器也会生成一个,完成对象按字节序的值拷贝。
赋值运算符重载和拷贝构造函数功能相似,都是把一个对象赋给一个对象。其特点和拷贝构造函数也相似,作为6个默认成员函数之一,如果不显示定义,编译器会生成。如果类里有资源,也必须自己显示定义,不然后果和拷贝构造函数造成的结果一样。实例可以沿用拷贝构造函数的。
const修饰成员函数
将const修饰的类成员函数称之为const成员函数,const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。
普通成员函数中this指针类型:
Date* const this
const成员函数this指针类型:
const Date* const this
const修饰的对象只能调用const修饰的成员函数。如果调用普通成员函数,可能会修改const修饰对象的成员,违背了const的作用。
普通类型的对象既可以调用普通成员函数,也可以调用const成员函数,如果两种类型成员函数都存在于类中,那么优先调用普通类型成员函数。
在const成员函数中不能调用普通成员函数。
在普通成员函数中可以调用const成员函数。
cost成员函数,是个只读函数,只能访问当前对象中的成员变量,但不能修改成员变量。如果在成员变量声明时在前面加上关键字mutable,则就可以修改const成员函数中被mutable修饰过的成员变量。
取地址及const取地址操作符重载
这两个默认成员函数一般不用重新定义 ,编译器默认会生成。
class Date
{
public :
Date* operator&()
{
return this ;
}
const Date* operator&()const
{
return this ;
}
private :
int _year ; // 年
int _month ; // 月
int _day ; // 日
};
这两个运算符一般不需要重载,使用编译器生成的默认取地址的重载即可,只有特殊情况,才需要重载,比
如想让别人获取到指定的内容!