C++入门——类与对象(二)
this指针
this指针的引出
class Date
{
public :
void Print ()
{
cout <<_year<< "-" <<_month << "-"<< _day <<endl;
}
void SetDate(int year , int month , int day)
{
_year = year;
_month = month;
_day = day;
}
private :
int _year ; // 年
int _month ; // 月
int _day ; // 日
};
int main()
{
Date d1, d2;
d1.SetDate(2018,5,1);
d2.SetDate(2018,7,1);
d1.Print();
d2.Print();
return 0;
}
Date类中有SetDate与Print两个成员函数,函数体中没有关于不同对象的区分,那当s1调用SetDate函数时,该函数是如何知道应该设置s1对象,而不是设置s2对象呢?
C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有成员变量的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。
this指针的特性
- this指针的类型:类类型* const
- 只能在“成员函数”的内部使用
- this指针本质上其实是一个成员函数的形参,是对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
- this指针是成员函数第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递。
上面图是我们所写的内容,下方图是实际的内容。而且一定要记住,不要自作聪明自己把this指针加上,系统会报错(画蛇添足)。
这里有两个问题需要我们思考一下:
- this指针存在哪里?
- this指针可以为空吗?
this指针存储在栈中。
this指针可以为空,只要调用的函数只是单纯的调用,不需要*this有什么数据,就可以为空且调用。
class A
{
public:
void PrintA()
{
cout<<_a<<endl;
}
void Show()
{
cout<<"Show()"<<endl;
}
private:
int _a;
};
int main()
{
Date* p = NULL;
p->PrintA();
p->Show();
}
p->PrintA();直接崩溃了,因为cout<<_a<<endl;会被变成cout<< this ->_a<<endl;但是this=p=NULL,空不可以被解引用,随意崩溃了。
但是p->Show();就可以调用,因为没用用到this的解引用。
类的6个默认成员函数
这里只重点讲解四个默认成员函数(四大天王)。
构造函数
说明
构造函数是一个特殊的成员函数,名字与类名相同,且没有返回值,创建类类型对象时由编译器自动调用,保证每个数据成员都有 一个合适的初始值,并且在对象的生命周期内只调用一次。
特性
构造函数是特殊的成员函数,需要注意的是,构造函数的虽然名称叫构造,但是需要注意的是构造函数的主
要任务并不是开空间创建对象,而是初始化对象。
其特征如下:
- 函数名与类名相同。
- 无返回值。
- 对象实例化时编译器自动调用对应的构造函数。
- 构造函数可以重载。
class Date
{
public :
// 1.无参构造函数
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();
}
在这里
Date d1; // 调用无参构造函数
Date d2 (2015, 1, 1); // 调用带参的构造函数
注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了 ‘函数声明’
以下代码的函数:声明了d3函数,该函数无参,返回一个日期类型的对象
重点:如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定
义编译器将不再生成。
无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。
注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认成员函数。
// 默认构造函数
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 ;
};
// 以下测试函数能通过编译吗?
void Test()
{
Date d1;
}
C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语法已经定义好的类型:如
int/char…,自定义类型就是我们使用class/struct/union自己定义的类型。
也就是说自定义类型构造函数会默认自动初始化,而内置类型就不会初始化(未初始化就是随机值)。
说明已经调用了Time的构造函数。
这里发现年月日都没有初始化,因为是内置类型,时分秒如果不是我们给他初始化,他也是不会初始化的,因为它们也是内置类型,初始化的是Time类的 _t.
析构函数
概念
生命是一个轮回,有生就会有死,讲过了生(构造函数),就要讲死亡了。
析构函数:与构造函数功能相反,析构函数不是完成对象的销毁,局部对象销毁工作是由编译器完成的。而
对象在销毁时会自动调用析构函数,完成类的一些资源清理工作。
析构函数是特殊的成员函数。
其特征如下:
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值。
- 一个类有且只有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
- 下面的程序我们会看到,编译器生成的默认析构函数,对会自定类型成员调用它的析构函数。
typedef int DataType;
class SeqList
{
public :
SeqList (int capacity = 10)
{
_pData = (DataType*)malloc(capacity * sizeof(DataType));
assert(_pData);
_size = 0;
_capacity = capacity;
}
~SeqList()
{
if (_pData)
{
free(_pData ); // 释放堆上的空间
_pData = NULL; // 将指针置为空
_capacity = 0;
_size = 0;
}
}
private :
int* _pData ;
size_t _size;
size_t _capacity;
};
我这里把析构函数与构造函数放在一起说,因为两个函数特性非常相似。
相似点:
1.都是类默认生成的,如果你不写,也会默认生成,你写了,就不会在生成了——自动调用。
2.两者都是只对自定义类型进行处理,对内置类型不管不顾的。
3.无参数,无返回值。
可以把构造函数想象成之前写的Init()函数,析构函数想象成destory()函数。
拷贝构造
概念
构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象
创建新对象时由编译器自动调用。
我们要写两个日期d1和d2,让两个日期都一样,那怎么办呢,难道都要一个一个输入进去吗?不能够更简单一点吗?
其实有这样一种方式可以不用那么麻烦依次输入,只需要简单的一步就可以了。如下图:
这次就可以给大家介绍拷贝函数了
- 拷贝构造函数是构造函数的一个重载形式。
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
}
Date(const Date&d)
{
_year = d._year;
_month = d._month;
_day=d._day;
}
private:
// 基本类型(内置类型)
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022,2,8);
Date d2(2022, 2, 8);
Date d3(d1);
return 0;
}
-
拷贝构造函数的参数只有一个且必须使用引用传参,使用传值方式会引发无穷递归调用。
3.若未显示定义,系统生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷
贝,这种拷贝我们叫做浅拷贝,或者值拷贝。
重点:
不写拷贝构造,编译器会自动生成默认拷贝构造,拷贝方式为浅拷贝
默认构造函数:对于内置类型成员值拷贝,浅拷贝:按照字节序传值。
默认构造函数:对于自定义类型,去调用自定义类型的拷贝构造(不写会调用默认拷贝构造)。 -
那么编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了,我们还需要自己实现吗?当然像
日期类这样的类是没必要的。那么下面的类呢?验证一下试试?
// 这里会发现下面的程序会崩溃掉?这里就需要我们以后讲的深拷贝去解决。
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);
}
在这里会出现报错,因为是浅拷贝S1._str地址=S2._str地址。
这说明内置类型是浅拷贝,当S1被析构之后S1的地址所指的区域为空,S2指向的还是那个区域,此时再析构他,会报错,因为空指针不能再被析构了。
注意:
NULL可以被free,但是空指针不可以被free。
赋值构造
运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类
型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
函数原型:返回值类型 operator操作符(参数列表)。
注意:
1.不能通过连接其他符号来创建新的操作符:比如operator@
2.重载操作符必须有一个类类型或者枚举类型的操作数
3.用于内置类型的操作符,其含义不能改变,例如:内置的整型+,不 能改变其含义
4.作为类成员的重载函数时,其形参看起来比操作数数目少1成员函数的操作符有一个
默认的形参this,限定为第一个形参
5…* 、:: 、sizeof 、?: 、. 注意以上5个运算符不能重载。这个经常在笔试选择题中出现。
赋值重载的实现
class Date
{
public :
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
Date (const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
Date& operator=(const Date& d)//赋值重载的实现函数
{
if(this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
}
private:
int _year ;
int _month ;
int _day ;
};
这里的 Date& operator=(const Date& d)就是赋值重载函数。
赋值运算主要有以下几个特点:
- 参数类型
- 返回值
- 检测是否自己给自己赋值
- 返回*this
- 一个类如果没有显式定义赋值运算符重载,编译器也会生成一个,完成对象按字节序的值拷贝,
而且上文说过,构造函数都是默认生成的(不需要我们自己写)。
那么编译器生成的默认赋值重载函数已经可以完成字节序的值拷贝了,我们还需要自己实现吗?当然像
日期类这样的类是没必要的。那么下面的类呢?验证一下试试?
有时候还是需要自己写的,因为也会出现和拷贝构造类似的深浅拷贝问题。
// 这里会发现下面的程序会崩溃掉?这里就需要我们以后讲的深拷贝去解决。
class String
{
public:
String(const char* str = "")
{
_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("world");
s1 = s2;
}
const修饰类的成员函数
将const修饰的类成员函数称之为const成员函数,const修饰类成员函数,实际修饰该成员函数隐含的this
指针,表明在该成员函数中不能对类的任何成员进行修改。
const的书写位置必须在函数名的后面,这是一种规定。
const知识点的延伸:
既然讲到了const,那么就要扩展一个重点了,关于引用和指针要重点讲一个概念。
只有在引用和指针中才会有类型的放大、平移、缩小。
类型可以平移和缩小,但是绝不能放大。
在这里可以发现,当a被const int b引用时是可以的,权限缩小了。
但是当int c引用b是就会被报错,这就是因为从const int到int,全校被放大了,是不允许的。
d可以引用b,因为二者类型相同,平移也是可以的。
这个只适用于引用和指针哦,其他地方就不要多想了。
.取地址及const取地址操作符重载
这两个默认成员函数一般不用重新定义 ,编译器默认会生成。
class Date
{
public :
Date* operator&()
{
return this ;
}
const Date* operator&()const
{
return this ;
}
private :
int _year ; // 年
int _month ; // 月
int _day ; // 日
};
这两个运算符一般不需要重载,使用编译器生成的默认取地址的重载即可,只有特殊情况,才需要重载,比如想让别人获取到指定的内容!