C++的类与对象
1:类的引入
在C语言中,C解决问题的方法是:分析解决问题的步骤,通过逐步调用函数来解决问题,C语言是面向过程的,关注的是解决问题的过程。在C++中,是基于面向对象的,是将问题拆分成不同的对象,通过对象之间的交互来解决问题的。
C语言的结构体中只能定义变量,不能定义函数,数据和方法是分离的,并且可以直接对结构体成员进行访问和修改。在C++中,结构体内不仅可以定义变量,还能定义函数,因为成员可以随意进行访问,所以在C++中可以使用class来进行代替,使用访问限定符来对成员变量和成员函数进行限定。
struct example
{
int a;
void print()
{
printf("%d\n", a);
}
};
2:类的定义
class为定义类的关键字,ClassName为类的名字,{}中为类的主体,注意类定义结束时后面分
号不能省略。
类体中内容称为类的成员:类中的变量称为类的属性或成员变量; 类中的函数称为类的方法或者
成员函数。
class className
{
// 类体:由成员函数和成员变量组成
}; // 一定要注意后面的分号
类的两种定义方式:
1:定义和声明全部放在类里,成员函数在类中定义编译器可能会将其作为内联函数处理。
class peopleinfo
{
public:
void Pprint()
{
cout << _name << "-" << _sex << "-" << _age << endl;
}
private:
char _name;//加_方便在后续的使用中进行区分
char _sex;
int _age;
};
2:类声明放在.h文件中,成员函数定义放在.cpp文件中,注意:成员函数名前需要加 类名::
class peopleinfo
{
public:
void Pprint();
private:
char _name;
char _sex;
int _age;
};//声明放在people.h中
#include "people.h"
void peopleinfo::Pprint()
{
cout << _name << "-" << _sex << "-" << _age << endl;
}//成员函数名前需要加 类名::
3:类的访问限定符和类的作用域
访问限定符的说明:public,private,protected
- public修饰的成员在类外可以直接被访问
- protected和private修饰的成员在类外不能直接被访问(此处protected和private是类似的)
- 访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止
- 如果后面没有访问限定符,作用域就到 } 即类结束。
- class的默认访问权限为private,struct为public(因为struct要兼容C)
类的作用域:类定义了一个新的作用域,类的所有成员都在类的作用域中。在类体外定义成员时,需要使用 ::作用域操作符指明成员属于哪个类域。
class Person
{
public:
void PrintPersonInfo();
private:
char _name[20];
char _gender[3];
int _age;
};
// 这里需要指定PrintPersonInfo是属于Person这个类域
void Person::PrintPersonInfo()
{
cout << _name << " "<< _gender << " " << _age << endl;
}
4:类的实例化和类的大小计算
用类类型创建对象的过程,称为类的实例化。类是对对象进行描述的,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没有分配实际的内存空间来存储它;一个类可以实例化出多个对象,实例化出的对象 占用实际的物理空间。
类中一般包括成员变量和成员函数,当我们在实例化对象的时候,如果成员函数存储在类中就会造成每实例化一个对象,每个对象中都会保存一份代码,相同代码保存多次,浪费空间,所以类中的成员函数会放在公共代码区域,一个类的大小,实际就是该类中”成员变量”之和,当然要注意内存对齐注意空类的大小,空类比较特殊,编译器给了空类一个字节来唯一标识这个类的对象。
5:this指针的引入
C++编译器给每个“非静态的成员函数“增加了一个隐藏
的指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有“成员变量”的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。
class Date
{
public:
void Dateprint()
{
cout << _year << _month << _day << endl;
//cout<<this._year<<this._month<<this._day<<endl;
}
private:
int _year = 0;
int _month = 0;
int _day = 0;
};
int main()
{
Date d1;
d1.Dateprint();
//此时d1的地址传递给this指针
return 0;
}
this指针的特性
- this指针的类型:类类型* const,即成员函数中,不能给this指针赋值。
- 只能在“成员函数”的内部使用
- this指针本质上是“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
- this指针是“成员函数”第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递
6:类的6个默认成员函数
★:构造函数
每个类都分别定义了它的对象被初始化的方式,类通过一个或几个特殊的成员函数来控制对象的初始化过程,这些函数被称为构造函数。构造函数的名字和类名相同,和函数不同的是构造函数没有返回值。一个类可以包括多个构造函数,构造函数的主要任务并不是开空间创建对象,而是初始化对象,在类的对象被创建时,会自动执行构造函数。
特征如下:
- 函数名与类名相同。
- 无返回值。
- 对象实例化时编译器自动调用对应的构造函数。
- 构造函数可以重载。
class Date
{
public:
// 1.无参构造函数
Date()
{}
// 2.带参构造函数
Date(int year, int month, int day)
{
_year = year;
}
private:
int _year = 0;
int _month = 0;
int _day = 0;
};
int main()
{
Date d1;//无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明
Date d2(2024, 9, 20);
return 0;
}
当我们不写构造函数时,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
默认构造函数的行为:
class Time
{
public:
Time()
{
cout << "Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
public:
void Dateprint()
{
cout << _year << _month << _day << endl;
}
private:
int _year ;
int _month ;
int _day ;
Time _time;
};
int main()
{
Date d1;
d1.Dateprint();
return 0;
}
此时程序的结果为调用一次Time的构造函数和输出随机值的年月日,说明编译器生成默认的构造函数对内置类型不做处理,对自定类型成员_time调用的它的默认构造函数。
C++11 中针对内置类型成员不初始化的缺陷,又打了补丁,即:内置类型成员变量在类中声明时可以给默认值。
class Time
{
public:
Time()
{
cout << "Time()" << endl;
}
private:
int _hour = 0;
int _minute = 0;
int _second = 0;
};//此时无参的构造函数初始化出来的对象的时分秒值为零。
注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数,并且默认构造函数只能有一个。
★:析构函数
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
析构函数的特性:
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值类型。
- 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载。
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
- 编译器默认生成的析构函数,对内置类型不作处理,对自定义类型调用对应自定义类型的析构函数。
- 如果类中没有动态申请内存时,构造函数可以不写,如果有申请,则需要手动写构造函数完成内存的释放。
typedef int DataType;
class Stack
{
public:
Stack(size_t capacity = 3)
{
_array = (DataType*)malloc(sizeof(DataType) * capacity);
if (NULL == _array)
{
perror("malloc申请空间失败!!!");
return;
}
_capacity = capacity;
_size = 0;
}
void Push(DataType data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);//如果不手动写,会造成内存泄漏
_array = NULL;
_capacity = 0;
_size = 0;
}
}
DataType* _array;
int _capacity;
int _size;
};
★:拷贝构造函数
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
拷贝构造的特性:
1.拷贝构造是构造函数的一种重载形式。
2.拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,传值传参会引发无穷递归调用。
3.若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按
字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。
4.拷贝构造函数典型调用场景:
使用已存在对象创建新对象
函数参数类型为类类型对象
函数返回值类型为类类型对象
为了提高程序效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能用引用
尽量使用引用。
默认构造函数值拷贝会出现的问题:当类中有动态申请的空间时,只完成值拷贝,就可能造成两个类中动态开辟的成员指向同一个空间的问题,当一个类析构之后,另一个类再次析构已释放的空间,就会出现报错。所以当类中没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
typedef int DataType;
class Stack
{
public:
Stack(const Stack& s)
{
_array = (DataType*)malloc(sizeof(DataType) * s._capacity);
_capacity = s._capacity;
_size = s._size;
memcpy(_array, s._array, s._size*sizeof(DataType));
}//对动态申请的空间,需要自己写
Stack(size_t capacity = 10)
{
_array = (DataType*)malloc(sizeof(DataType) * capacity);
if (NULL == _array)
{
perror("malloc申请空间失败!!!");
return;
}
_capacity = capacity;
_size = 0;
}
void Push(DataType data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);
_array = NULL;
_capacity = 0;
_size = 0;
}
}
private:
DataType* _array;
int _capacity;
int _size;
};
int main()
{
Stack d1;
Stack d2(d1);
return 0;
}
★:赋值运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号。
运算符重载特性:
1.不能通过连接其他符号来创建新的操作符:比如operator@
2.重载操作符必须有一个类类型参数
3.用于内置类型的运算符,其含义不能改变,例如:内置的整型+,不 能改变其含义
4.作为类成员函数重载时,其形参看起来比操作数数目少1,因为成员函数的第一个参数为隐
藏的this
5.{.* _:: _sizeof _?: _. }注意以上5个运算符不能重载。
当我们希望对两个日期类进行比较的时候,“== ”无法对自定义类型进行比较,我们可以使用operator对“== ”进行重载,实现日期类的比较;
class Date
{
public:
Date(int year = 0, int month = 0, int day = 0)
{
_year = year;
_month = month;
_day = day;
}
bool operator==(const Date& d1)
{
return _year == d1._year
&& _month == d1._month
&& _day == d1._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2024, 9, 21), d2(2024, 9, 22);
cout << (d1 == d2) << endl;
}
赋值运算符重载格式
参数类型:const T&,传递引用可以提高传参效率
返回值类型:T&,返回引用可以提高返回的效率,有返回值目的是为了支持连续赋值
检测是否自己给自己赋值
返回*this :要复合连续赋值的含义
Date& operator=(const Date& d)
{
if(this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;.
}
用户没有显式实现时,编译器会生成一个默认赋值运算符重载,以值的方式逐字节拷贝。内置类型成员变量是直接赋值的,而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。
赋值运算符不能重载为全局函数,因为赋值运算符如果不显式实现,编译器会生成一个默认的。此时用户再在类外自己实现一个全局的赋值运算符重载,就和编译器在类中生成的默认赋 值运算符重载冲突了,故赋值运算符重载只能是类的成员函数。
★:取地址和const取地址重载
这两个默认成员函数一般不用重新定义 ,编译器默认会生成。只有特殊情况,才需要重载,比如想让别人获取到指定的内容。