一.类的6个默认成员函数
如果一个类中什么成员都没有,简称为空类。空类中什么都没有吗?并不是的,任何一个类在我们不写的情况下,都会自动生成下面6个默认成员函数.我们一个一个认识.
1,构造函数
1,1,概念
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
Date()
{
_year = 0;
_month = 1;
_day = 1;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d2;
d2.Print();
return 0;
}
对于Date类,可以通过SetDate公有的方法给对象设置内容,但是如果每次创建对象都调用该方法设置信息,未免有点麻烦,那能否在对象创建时,就将信息设置进去呢?
构造函数是一个特殊的成员函数,名字与类名相同,创建类类型对象时由编译器自动调用,保证每个数据成员都有 一个合适的初始值,并且在对象的生命周期内只调用一次
1.2,特性
构造函数是特殊的成员函数,需要注意的是,构造函数的虽然名称叫构造,但是需要注意的是构造函数的主要任务并不是开空间创建对象,而是初始化对象。
其特征如下:
1. 函数名与类名相同。
2. 无返回值。
3. 对象实例化时编译器自动调用对应的构造函数。
4. 构造函数可以重载。
class Date
{
public:
//带参构造函数
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
//无参构造函数
Date()
{
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d2;// 注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明
d2.Print();
Date d3(2022,4,8);
d3.Print();
return 0;
}
输出结果如下
无参构造函数生成随机值,带参构造函数输出实际值.
5. 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成
没有定义构造函数,对象也可以创建成功,因此此处调用的是编译器生成的默认构造函数
6. 无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认成员函数。
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;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private :
int _year ;
int _month ;
int _day ;
};
// 以下测试函数能通过编译吗?
//不能通过编译,由于全缺省和没有参数的构造函数形成函数重载,调用时不明确,所以不能通过编译
成员变量的命名风格一般加个前缀和后缀区分变量
总结:构造函数的细节很多,但在实际上我们建议一般都是写一个全缺省的构造函数,这种方式能够适应各种场景
2,析构函数
2.1,概念
析构函数与构造函数功能相反,析构函数不是完成对象的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成类的一些资源清理工作
2.2,特性
析构函数是特殊的成员函数。
其特征如下:
1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值。
3. 一个类有且只有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。
4. 对象生命周期结束时,C++编译系统系统自动调用析构函数
5. 关于编译器自动生成的析构函数,是否会完成一些事情呢?下面的程序我们会看到,编译器生成的默认析构函数,对会自定类型成员调用它的析构函数。
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
~Date()//析构函数
{
// 资源的清理
cout << "~Date()" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
return 0;
}
我们会看到,对于Date类析构函数没有毛用,
但在一些要开辟空间,比如栈,链表等需要开辟空间的地方,析构函数就有效的避免了内存泄露.
class Stack
{
public:
Stack(int capacity = 4)
{
_a = (int*)malloc(sizeof(int)*capacity);
_size = 0;
_capacity = capacity;
}
void Push(int x)
{}
// 像Stack这样的类,析构函数具有重大意义
~Stack()
{
cout << "~Stack()析构函数" << endl;
// 清理资源
free(_a);
_a = nullptr;
_size = _capacity = 0;
}
private:
int* _a;
int _size;
int _capacity;
};
int main()
{
//Date d1;
Stack st1;
st1.Push(1);
st1.Push(2);
st1.Push(3);
Stack st2;
st2.Push(10);
st2.Push(11);
st2.Push(12);
return 0;
}
可以看到,函数自动调用析构函数,实现对空间的释放,
3,拷贝构造函数
3.1,概念
拷贝构造函数只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
3.2,特征
拷贝构造函数也是特殊的成员函数,其特征如下:
1. 拷贝构造函数是构造函数的一个重载形式。
2. 拷贝构造函数的参数只有一个且必须使用引用传参,使用传值方式会引发无穷递归调用。
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// Date d4(d1);
Date(const Date& d)//使用const修饰,不改变d1的值,使用引用传参
{
/*d._year = _year;
d._month = _month;
d._day = _day;*/
_year = d._year;
_month = d._month;
_day = d._day;
}
void print()
{
cout<<_year<<"-"<<_month<<"-"<<_day<<endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022,4,8);
d1.print();
Date d4(d1);//拷贝调用
d4.print();
return 0;
}
当我们使用传值时,程序就会引发无穷递归,导致程序甭溃.
如下所示:
就会产生报错,不推荐使用.
针对Stack我们使用构造函数实现,发现就会报错,实际上我们可以推出,在调用时析构函数被调用两次,相当于对同一块内存空间进行释放两次,就会报错.
所以我们实现的拷贝构造函数实际上实现的是一个值拷贝,是一个浅拷贝,而当需要开辟空间的拷贝时,就不可以,所以我们需要深拷贝,(还没学到🐶)
总结:
1,Date这种类,需要的就是浅拷贝,实现值的复制,默认的拷贝构造就够用了.
2,Stack这种需要开辟空间的类,我们需要深拷贝,浅拷贝会导致析构两次,程序崩溃,需要自己写.
4,赋值运算符重载
4.1运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
函数原型:返回值类型 operator操作符(参数列表)
注意:
1,不能通过连接其他符号来创建新的操作符:比如operator@
2,重载操作符必须有一个类类型或者枚举类型的操作数
3,用于内置类型的操作符,其含义不能改变,例如:内置的整型+,不 能改变其含义
4.作为类成员的重载函数时,其形参看起来比操作数数目少1成员函数的
5.操作符有一个默认的形参this,限定为第一个形参
6. .* 、:: 、sizeof 、?: 、. 注意以上5个运算符不能重载。这个经常在笔试选择题中出现。
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// bool operator==(Date* this, const Date& d2)
// 这里需要注意的是,左操作数是this指向的调用函数的对象
bool operator==(const Date& d2)//关键字重载,判断两个变量是否相等
{
return _year == d2._year
&& _month == d2._month
&& _day == d2._day;
}
private:
int _year;
int _month;
int _day;
};
void Test ()
{
Date d1(2018, 9, 26);
Date d2(2018, 9, 27);
cout<<(d1 == d2)<<endl;
}
int main()
{
Test();
return 0;
}
运算符重载与函数重载,都用了重载这个词,但是这两个地方没有关联,
1,函数重载支持同名函数,通过参数类型识别
2,运算符重载为了让自定义类型与内置类型一样去使用运算符.
4.2,赋值运算符特性
主要有以下四个点:
1. 参数类型
2. 返回值
3. 检测是否自己给自己赋值
4. 返回*this
5. 一个类如果没有显式定义赋值运算符重载,编译器也会生成一个,完成对象按字节序的值拷贝
其具体示例:
Date& Date::operator+=(int day)//+=运算符重载,实际对传过来的值发生了改变,所以要传引用
{
if (day < 0)
{
*this -= -day;
}
else
{
_day += day;
// 天数不合法,不断进位,让日期(天数)合法
while (_day > GetMonthDay(_year, _month))
{
_day -= GetMonthDay(_year, _month);
_month++;
if (_month > 12)
{
++_year;
_month = 1;
}
}
}
return *this;
}
5,const成员
5.1,const修饰类的成员函数
将const修饰的类成员函数称之为const成员函数,const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。
就比如打印函数:
我们实际对类不改变,只是读出数据,输出,所以我们用const修饰.
void Date::Print() const
{
cout << _year << "年" << _month <<"月"<< _day <<"日"<< endl;
}
我们思考以下问题:
1. const对象可以调用非const成员函数吗?
不可以,const对象只能调用const成员函数,调用非const成员函数属于权限的放大,不可以
2. 非const对象可以调用const成员函数吗?
可以的,这种调用属于权限的缩小(大调小),可以.
3. const成员函数内可以调用其它的非const成员函数吗?
不可以,当调用其他函数时,其他函数也被认为时const函数,调不动(属于权限的缩小)
4. 非const成员函数内可以调用其它的const成员函数吗?
可以的,属于权限的缩小,所以可以调动.
6,取地址及const取地址操作符重载
这两个默认成员函数一般不用重新定义 ,编译器默认会生成
#include<iostream>
class Date
{
public :
Date(int year = 0, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
Date* operator&()
{
return this ;
}
const Date* operator&()const
{
return this ;
}
private :
int _year ; // 年
int _month ; // 月
int _day ; // 日
};
int main()
{
Date d1;
std::cout<<(&d1)<<std::endl ;
return 0;
}
可以看到取到d1的地址 ,但在实际中并没有多大用,类的默认取地址已经足够,但当我们不想别人取类的地址,就可以对引用进行重载
就可以实现对&的重载.
老铁,看到这里了,不点个关注,😄谢谢您.