1.面向过程和面向对象的初步认识
C语言是面向过程的,关注的是过程,分析出求解问题的步骤,通过函数逐步解决问题。
C++是基于面向对象的,关注的是对象,将一件事拆分成不同对象,靠对象之间的交互完成。
2.类的引入
C语言的结构体只能是定义变量,在C++中,结构体不仅可以定义变量,也可以定义函数。
3.类的定义
class classname
{
//成员函数和成员变量组成
};
class为定义类的关键字,classname为类的名字,{}中为类的主题,注意类定义结束时后面的分号不能省略。
类中的内容称为类的成员:类中的变量称为类的属性或成员变量;类中的函数称为类的方法或者成员函数。
类的两种定义方式:
1.声明和定义全部放在类中,注意:成员函数如果在类中定义,编译器可能会将其当成内联函数处理。
2.类声明放在.h文件中,成员函数定义放在.cpp文件中,注意:成员函数名前需要加类名::
.h文件:
class Date
{
public:
void ShowInfo();
int _name;
int _age;
};
.cpp文件
void Date::ShowInfo()
{
cout << _name << _age << endl;
}
4.类的访问限定符及封装
4.1访问限定符
C++实现封装的方式:用类将对象的属性与方法结合在一起,让对象更加完善,通过访问权限选择性的将其接口提供给外部的用户使用。
访问限定符:
1.public(公有)
2.protected(保护)
3.private(私有)
访问限定符说明:
1.public修饰的成员在类外可以直接被访问
2.protected和private修饰的成员在类外不能直接被访问
3.访问权限作用域从该访问限定符出现的位置开始知道下一个访问限定符出现为止
4.如果后面没有访问限定符,作用域到}也就是类的结束
5.class的默认访问权限为private,struct为public
注意:访问限定只在编译时有用,当数据映射到内存后,没有任何访问限定符的区别。
4.2封装
面向对象的三大特性:封装,继承,多态
封装:将数据和操作数据的方法有机结合,隐藏对象的属性和实现细节,仅对外公开接口来实现和对象交互。
封装的本质就是一种管理,为了让用户方便使用类。通过访问权限来隐藏对象内部实现细节,控制哪些方法可以在类外部直接被使用。
5.类的作用域
类定义了一个新的作用域,类的所有成员都在类的作用域中,需要使用::作用域操作符知名成员属于哪个类域。
6.类的实例化
用类的类型创建对象的过程称为类的实例化
1.类是对对象进行描述,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没有分配实际的内存空间来存储它;就好比学生信息表,表格可以看成类,来描述学生的具体信息。
2.一个类可以实例化多个对象,实例化出的对象占用实际的物理空间,存储类的成员变量
7.类对象模型
7.1类对象的存储方式
类的对象包含成员变量和成员函数,成员变量存储在对象中,而成员函数存储在公共的代码段。
7.2类的大小
//计算类的大小
class A
{
public:
void f1()
{
}
private:
int _a;
};
class B
{
public:
void f2()
{
}
};
class C
{
};
int main()
{
cout << "sizeof(A):" << sizeof(A) << endl;
cout << "sizeof(B):" << sizeof(B) << endl;
cout << "sizeof(C):" << sizeof(C) << endl;
return 0;
}
运行结果:
结论:一个类的大小,实际就是该类中成员变量之和,仍然要注意内存对齐,注意空类的大小,空类比较特殊,编译器给了空类一个字节来唯一标识这个类的对象。
7.3结构体内存对齐规则
1.第一个成员在与结构体偏移量为0的地址处
2.其它成员变量要对齐到某个数字(对齐数)的整数倍的地址处
注意:对齐数=编译器默认的一个对齐数与该成员大小的较小值
VS中默认的对齐数为8
3.结构体总大小为:最大对齐数(所有变量类型最大者与默认对齐参数去最小)的整数倍
4.如果嵌套了结构体的情况,嵌套结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数的整数倍
8.this指针
8.1this指针的引出
代码示例
class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1, d2;
d1.Init(2022, 1, 1);
d2.Init(2022, 1, 12);
d1.Print();
d2.Print();
return 0;
}
对于上述类,存在一个问题:
Date类中有Init和Print两个成员函数,函数体中没有关于不同对象的区分,当d1调用Init函数时,该函数如何知道应该是设置d1的对象,而不是设置d2对象呢?
C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态成员函数”增加了一个隐藏指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有“成员变量”的操作,都是通过该指针去访问。只不过所有的操作对用户时透明的,即用户不需要传递,编译器自动完成。
8.2this指针的特性
1.this指针的类型:类类型*const,即成员函数中,不能给this指针赋值
2.只能在“成员函数”内部使用
3.this指针本质上时“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针
4.this指针式”成员函数“第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户操作
this指针存在哪里?
存在栈中,一些对象不大的情况下是存在ecx寄存器中。
this指针可以为空吗?
示例
//this指针可以为空吗
class A
{
public:
void Print()
{
cout << "Print( )" << endl;
}
private:
int _a;
};
int main()
{
A* p = nullptr;
p->Print();
//这里会出现什么情况?
//编译器会先观察类成员函数是否需要传对象的地址,此处的Print函数是无参的
//所以不需要对p解引用,而是直接调用类成员函数
return 0;
}
//this指针可以为空吗
class A
{
public:
void PrintA()
{
cout << _a << endl;
}
private:
int _a;
};
int main()
{
A* p = nullptr;
p->PrintA();
//这里会出现什么情况?
//编译器先看类成员函数是否会用上对象的指针,此处会打印成员变量_a
//所以需要对this指针进行解引用,所以此处的p不能为空指针
return 0;
}
总结:->并不一定会解引用,是否解引用取决于你用来干什么
9.类的6个默认成员函数
如果一个类中什么成员都没有,简称空类。空类并不是什么都没有,编译器会自动生成6个默认成员函数。
默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。
6个默认成员函数:
1.构造函数,主要完成初始化工作
2.析构函数,主要完成清理工作
3.拷贝构造,主要使用同类创建对象初始化创建对象
4.赋值重载,主要是把一个对象赋值给另一个对象
5~6.取地址重载,主要是普通对象和const对象取地址,这两个默认成员函数很少会自己实现
10.构造函数
10.1概念
代码
class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "年" << _month << "月" << _day << "日" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
d1.Init(2024, 1, 25);
d1.Print();
Date d2;
d2.Init(2024, 1, 24);
d2.Print();
return 0;
}
对于Date类,可以通过Init共有方法给对象设置日期,但是如果每次创建对象时都调用该方法设置信息,未免有点麻烦,能否在创建对象时就将信息设置进去?
构造函数是一个特殊的成员函数,名字与类名相同,创建类类型对象时由编译器自动调用,以保证每个数据成员都有一个合适的初始值,并且在对象整个声明周期内只调用一次。
10.2特性
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象,而是初始化对象。
特征:
1.函数名与类名相同
2.无返回值
3.对象实例化时编译器自动调用对应的构造函数
4.构造函数可以重载
代码:
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();
}
5.如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成
代码
class Date
{
public:
//如果用户显式定义了构造函数,编译器将不再生成
/*Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}*/
void Print()
{
cout << _year << "年" << _month << "月" << _day << "日" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
//将Date类中构造函数屏蔽后,代码可以通过编译,因为编译器生成了一个无参的默认构造函数
//将Date类中构造函数放开,代码编译失败,因为一旦显式定义任何构造函数,编译器将不再生成
Date d1;
d1.Print();
return 0;
}
6.关于编译器生成默认成员函数,不实现构造函数的情况下,编译器会生成默认构造函数,但是看起来默认构造函数又每什么用?d1对象调用了编译器生成的默认构造函数,但d1对象的成员变量依旧是随机值。也就是说,编译器生成的默认构造函数没什么用吗?
并不是,C++把类型分成内置类型和自定义类型。内置类型就是语言提供的数据类型,例如int,char包括指针之类的类型,自定义类型就是我们使用的class,struct,union之类的自定义类型。
代码
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;
}
运行结果:
注意:C++11针对内置类型成员不初始化的缺陷打了补丁,即内置类型成员变量在类中声明时可以设置默认值(缺省值)
代码
class Time
{
public:
Time()
{
cout << "Time()" << endl;
_hour = 0;
_minute = 0;
_second = 0;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
public:
void Print()
{
cout << _year << "年" << _month << "月" << _day << "日" << endl;
}
private:
//内置类型
int _year = 1970;
int _month = 1;
int _day = 1;
//自定义类型
Time _t;
};
int main()
{
Date d;
d.Print();
return 0;
}
7.无参的构造函数和全缺省的构造函数都被称为默认构造函数,并且默认构造函数只能有一个。
注意:无参构造函数,全缺省构造函数,我们没写编译器默认生成的构造函数,都可以认为时默认构造函数。
代码
class Date
{
public:
Date()
{
_year = 1970;
_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;
};
int main()
{
Date d;
return 0;
}
11.析构函数
11.1概念
析构函数:与构造函数的功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
11.2特性
析构函数是特殊的成员函数,其特征如下:
1.析构函数名是在类名前加上字符~
2.无参数无返回值类型
3.一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。
注意:析构函数不能重载
4.对象生命周期结束时,C++编译系统系统自动调用析构函数
代码
typedef int DataType;
class Stack
{
public:
Stack(int capacity = 3)
{
_array = (DataType*)malloc(sizeof(DataType) * capacity);
if (_array == NULL)
{
perror("malloc申请空间失败");
return;
}
_capacity = capacity;
_size = 0;
}
void Push(DataType data)
{
_array[_size] = data;
_size++;
}
~Stack()
{
cout << "~Stack()" << endl;
if (_array)
{
free(_array);
_array = NULL;
_capacity = 0;
_size = 0;
}
}
void Print()
{
for (int i = 0; i < _size; i++)
{
cout << _array[i] << " ";
}
cout << endl;
}
private:
DataType* _array;
int _capacity;
int _size;
};
void TestStack()
{
Stack s;
s.Push(1);
s.Push(2);
s.Print();
}
int main()
{
TestStack();
return 0;
}
运行结果
当TestStack函数调用完成时,临时对象s就会自动调用析构函数去释放DataType* _array变量malloc申请来的空间。
5.编译器自动生成的析构函数作用是什么?
代码
class Time
{
public:
~Time()
{
cout << "~Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
运行结果:
运行结束后输出~Time(),在main函数中没有直接创建Time类的对象,为什么最后会调用Time类的析构函数?
因为main函数中创建了Date类对象d,而d中包含4个成员变量,其中_year,_month,_day时内置类型,销毁时不需要资源清理,最后系统直接将其内存回收即可,而_t时Time类型对象,所以在d销毁时,要将其内部包含的Time类的对象_t销毁,所以要调用Time类的析构函数。但是main函数中不能直接调用Time类的析构函数,实际要释放的是Date类对象,所以编译器会调用Date类析构函数,而Date没有显式提供,则编译器会给Date类生成一个默认的析构函数,目的是在其内部调用Time类的析构函数,当Date对象销毁时,要保证其内部每个自定义对象都可以正确销毁,main函数并没有直接调用Time类的析构函数,而是显式调用编译器未Date类生成的默认析构函数。
注意:创建哪个类的对象则调用该类的析构函数,销毁哪个类的对象则调用该类的析构函数。
不妨验证一下,在Date类中手动加入析构函数,并在其中输出Date析构函数名,观察是否是通过Date类析构函数去调用Time类析构函数实现销毁Time类的_t对象。
运行结果为先输出Date析构函数名再输出Time类析构函数名,由此可验证。
6.如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如Date类;有资源申请时,一定要写,否则会造成资源泄漏。
12.拷贝构造函数
12.1概念
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
12.2特征
拷贝构造函数也是特殊的成员函数,其特征如下:
1.拷贝构造函数是构造函数的一个重载形式
2.拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用。
代码
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
//错误写法:Date(const Date d)
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(d1);
return 0;
}
内置类型编译器可以直接拷贝,自定义类型需要调用拷贝构造。
传值拷贝需要将实参拷贝给形参,形参是一种自定义类型,会调用拷贝构造函数,而将实参拷贝给形参又是一次自定义类型拷贝,所以会无穷递归。而传引用拷贝不需要拷贝自定义类型,而是形参直接使用d1所以不会无穷递归。
而传自定义类型的值实现拷贝构造是显式编写的拷贝构造,也就是自己写的拷贝构造参数没有传引用才会反复递归拷贝构造,导致栈溢出。
3.若未显式定义,编译器会生成默认的拷贝构造函数。默认的拷贝构造函数对象按内存存储按字节序完成拷贝,这种叫做浅拷贝或者值拷贝。
class Time
{
public:
Time()
{
_hour = 1;
_minute = 1;
_second = 1;
}
Time(const Time& t)
{
_hour = t._hour;
_minute = t._minute;
_second = t._second;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
//基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
//自定义类型
Time _t;
};
int main()
{
Date d1;
Date d2(d1);
//用已经存在的d1拷贝构造d2,此处会调用Date类拷贝构造函数
//但是Date类并没有显式定义拷贝构造,则编译器会给Date类生成一个默认的拷贝构造函数
return 0;
}
4.编译器生成的默认拷贝构造函数已经可以完成字节序的值的拷贝了,就不需要自己显式实现了,当然像日期类这样的类是没必要的。但是像下列这种情况呢?
typedef int DataType;
class Stack
{
public:
Stack(int capacity = 10)
{
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (_array == nullptr)
{
perror("malloc fail");
exit(-1);
}
_size = 0;
_capacity = capacity;
}
void Push(const DataType& data)
{
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
DataType* _array;
int _size;
int _capacity;
};
int main()
{
Stack s1;
s1.Push(1);
s1.Push(2);
s1.Push(3);
s1.Push(4);
Stack s2(s1);
return 0;
}
对象s1和s2只是简单做了个浅拷贝,只是将s1的地址传给s2,那么两个对象共用同一块内存空间,当对象销毁时会重复析构,会报错。
注意:先创建的对象,后定义的对象先析构。
5.拷贝构造函数经典调用场景:
使用已存在对象创建新对象
函数参数类型为类类型对象
函数返回值类型为类类型对象
class Date
{
public:
Date(int year, int minute, int day)
{
cout << "Date(int, int, int):" << this << endl;
}
Date(const Date& d)
{
cout << "Date(const Date& d):" << this << endl;
}
~Date()
{
cout << "~Date():" << this << endl;
}
private:
int _year;
int _month;
int _day;
};
Date Test(Date d)
{
Date temp(d);
return temp;
}
int main()
{
Date d1(2022, 1, 13);
Test(d1);
return 0;
}
运行结果:
d1对象创建调用了构造函数,将实参d1传给形参d调用了拷贝构造,将形参d传给temp,再一次调用了拷贝构造
13.赋值运算符重载
13.1运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数的函数,也是具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号
函数原型:返回值类型operator操作符(参数列表)
注意:
不能通过链接其它符号来创建新的操作符:比如operator@
重载操作符必须有一个类类型参数
用于内置类型的运算符,其含义不能改变,例如内置的整形+,不饿能改变其含义
作为类成员函数重载时,其形参看起来比操作数数目少1,因为成员函数的第一个参数为隐藏的this
.*,::,sizeof,?:,. 以上5个运算符不能重载
class Date
{
friend bool operator==(const Date& d1, const Date& d2);
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
//此处发现运算符重载成全局就需要成员变量是公有的
//或者将该全局函数设置为类的成员函数,当设置为成员函数时,只需要传右操作数即可,因为有个隐含的参数
//或者将此重载设置为友元函数
bool operator==(const Date& d1, const Date& d2)
{
return d1._year == d2._year
&& d1._month == d2._month
&& d1._day == d2._day;
}
void Test()
{
Date d1(2024, 1, 25);
Date d2(2024, 1, 26);
cout << (d1 == d2) << endl;
}
int main()
{
Test();
return 0;
}
13.2赋值运算符重载
1.赋值运算符重载格式
参数类型:const T&,传递引用可以提高传参效率
返回值类型:T&,返回引用可以提高返回效率,有返回值目的时为了支持连续赋值
检测是否自己给自己赋值
返回*this:要符合连续赋值含义
2.赋值运算符只能重载成类的成员函数,不能重载成全局函数。
因为赋值运算符如果不显式实现,编译器会生成一个默认的。此时再在类外实现一个全局的赋值运算符重载,就和在编译器在类中生成的默认赋值运算符冲突了,使用赋值运算符重载只能是类的成员函数。
3.用户没有显式实现时,编译器会生成一个默认赋值运算符重载,以值的方式逐字节拷贝。
注意:内置类型成员变量是直接赋值的,而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。
既然编译器生成的默认赋值运算符重载函数已经可以完成字节序的值拷贝了,还需要自己实现吗?
像日期类这样的都是内置类型的成员变量是没有必要的,但是像下列情况就有必要了
typedef int DataType;
class Stack
{
public:
Stack(size_t capacity = 10)
{
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (nullptr == _array)
{
perror("malloc申请空间失败");
return;
}
//注意:如果类中未涉及到资源管理,赋值运算符是否实现都可以;一旦涉及到资源管理则必须要实现。
_size = 0;
_capacity = capacity;
}
void Push(const DataType& data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
DataType* _array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1;
s1.Push(1);
s1.Push(2);
s1.Push(3);
s1.Push(4);
Stack s2;
s2 = s1;
return 0;
}
注意:如果类中未涉及到资源管理,赋值运算符是否实现都可以;但是涉及到资源管理必须要实现。
13.3前置++和后置++重载
//前置++,后置++
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// 前置++:返回+1之后的结果
// 注意:this指向的对象函数结束后不会销毁,故以引用方式返回提高效率
Date& operator++()
{
_day += 1;
return *this;
}
// 后置++:
// 前置++和后置++都是一元运算符,为了让前置++与后置++形成能正确重载
// C++规定:后置++重载时多增加一个int类型的参数,但调用函数时该参数不用传递,编译器自动传递
// 注意:后置++是先使用后+1,因此需要返回+1之前的旧值,故需在实现时需要先将this保存一份,然后给this + 1
//而temp是临时对象,因此只能以值的方式返回,不能返回引用
Date operator++(int)
{
Date temp(*this);
_day += 1;
return temp;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d;
Date d1(2022, 1, 13);
d = d1++;
d = ++d1;
return 0;
}
14.const成员
将const修饰的成员函数称之为const成员函数,const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << "Print()" << endl;
cout << "year:" << _year << endl;
cout << "month:" << _month << endl;
cout << "day:" << _day << endl << endl;
}
void Print()const
{
cout << "Print()const" << endl;
cout << "year:" << _year << endl;
cout << "month:" << _month << endl;
cout << "day:" << _day << endl << endl;
}
private:
int _year;
int _month;
int _day;
};
void Test()
{
Date d1(2024, 1, 25);
d1.Print();
const Date d2(2024, 1, 26);
d2.Print();
}
int main()
{
Test();
return 0;
}
此处的两个Print函数构成重载,参数类型不同。所以此处d1调用的是Print,d2调用的是Print()const。
15.构造函数2
15.1构造函数体赋值
在创建对象时,编译器通过调用构造函数,给对象中各个成员变量一个合适的初始值。
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
虽然将上述构造函数调用之后,对象中已经有了一个初始值,但是不能将其称为对对象中成员变量的初始化,构造函数体中的语句只能将其称为赋初值,而不能乘坐初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值。
15.2初始化列表
初始化列表:以冒号开始,接着是一个逗号分割的数据成员列表,每个成员变量后面跟一个放在括号中的初始值或表达式。
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
}
private:
int _year;
int _month;
int _day;
};
注意
1.每个成员变量在初始化列表只能出现一次(初始化只能初始化一次)
2.类中包含以下成员,必须放在初始化列表位置进行初始化:
引用成员变量
const成员变量
自定义类型成员(且该类没有默认构造函数时)
尽量使用初始化列表初始化,不管是否使用初始化列表初始化,对于自定义类型成员变量,一定会先使用初始化列表初始化
成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后顺序无关。
class A
{
public:
A(int a)
:_a1(a)
, _a2(_a1)
{
}
void Print()
{
cout << _a1 << " " << _a2 << endl;
}
private:
int _a2;
int _a1;
};
int main()
{
A aa(1);
aa.Print();
}
运行结果是输出1和随机值。
类中声明顺序是先_a2再到_a1,所以_a2=_a1,但是此时的_a1还没初始化,所以_a2是随机值。
class A
{
public:
A()
:_x(1)
{
_a1++;
}
private:
int _a1 = 1;
int _a2 = 2;
const int _x;
};
构造函数初始化列表,即使此处给了_a1缺省值并且再初始化列表中没有标明给_a1初始化,但实际上还是初始化了。
哪个对象调用构造函数,初始化列表时给所有成员变量定义的位置,不管是否显示在初始化列表中,编译器还是会把每个成员变量初始化
类对象整体定义,但是const修饰的成员变量要在声明时初始化。
如果在const修饰变量的声明位置直接赋值,那也只是缺省值,而且是c++11才有的方式。
所以必须给每个成员变量找一个定义的位置,在构造函数上。
构造函数初始化列表,:开始,分割。即使此处给了_a1缺省值并且在初始化列表中没有标明给_a1初始化,但实际上还是初始化了。
哪个对象调用构造函数,初始化列表是给所有成员变量定义的位置
不管是否显示在初始化列表写,编译器还是会把每个成员变量初始化
这里主要针对单参数构造函数 C++98就支持了
这里将i赋值给d会产生一个double类型临时变量而且这个临时变量具有常性
同样的将1赋值给aa2,也会用1创建一个A类型临时对象,将 临时对象拷贝给aa2,在编译器的优化下变成直接用1构造对象aa2。
多参数情况下的构造函数
c++98不支持多参数类型隐式转换
c++11支持多参数类型隐式转换
用赋值运算符重载的初始化aa3的语法有误,正确的应该是
16.static成员
16.1概念
声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量,用static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化。
计算程序中创建了多少个对象?
方法1:
方法2:
打印结果都相同,因为count是属于这个类的所有对象,也就是所有对象共用一个count
ptr也可以打印,因为count在静态区中,并不会解引用ptr,所有不会报错
如果count是私有的话,可以在类中编写一个getcount函数返回count的值,此处的count只能读不能写。
方法3:
16.2特性
1.静态成员为所有类对象共享,不属于某个具体的对象,存放在静态区
2.静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
3.类静态成员即可用类名::静态成员或者对象.静态成员来访问
4.静态成员函数没有隐藏的this指针,不能访问任何非静态成员
5.静态成员也是类的成员,受访问限定符的限制
静态成员函数可以调用非静态成员函数吗?
不能
非静态成员函数可以调用类的静态成员函数吗?
可以
17.友元
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以 友元不宜多用。
友元分为:友元函和友元类
17.1友元函数
问题:现在尝试去重载operator<<,然后发现没办法将operator<<重载成成员函数。因为cout的 输出流对象和隐含的this指针在抢占第一个参数的位置。this指针默认是第一个参数也就是左操作 数了。但是实际使用中cout需要是第一个形参对象,才能正常使用。所以要将operator<<重载成 全局函数。但又会导致类外没办法访问成员,此时就需要友元来解决。operator>>同理。
class Date
{
public:
friend ostream& operator<<(Date& d,ostream& _cout);
Date(int year, int month, int day)
: _year(year)
, _month(month)
, _day(day)
{}
//1.设置成Date类的运算符重载
// d1 << cout; -> d1.operator<<(&d1, cout); 不符合常规调用
// 因为成员函数第一个参数一定是隐藏的this,所以d1必须放在<<的左侧
/*ostream& operator<<(ostream& _cout)
{
_cout << _year << "-" << _month << "-" << _day << endl;
return _cout;
}*/
private:
int _year;
int _month;
int _day;
};
//2.将该函数设置为全局函数,并设置为Date类的友元函数
ostream& operator<<(Date& d,ostream& _cout)
{
_cout << d._year << "-" << d._month << "-" << d._day << endl;
return _cout;
}
友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在 类的内部声明,声明时需要加friend关键字。
说明:
友元函数可访问类的私有和保护成员,但不是类的成员函数
友元函数不能用const修饰 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
一个函数可以是多个类的友元函数 友元函数的调用与普通函数的调用原理相同
17.2友元类
友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。
友元关系是单向的,不具有交换性。 比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接 访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。
友元关系不能传递
如果C是B的友元, B是A的友元,则不能说明C时A的友元。 友元关系不能继承
18.内部类
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类, 它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越 的访问权限。
注意:
内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。
特性:
1. 内部类可以定义在外部类的public、protected、private都是可以的。
2. 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
3. sizeof(外部类)=外部类,和内部类没有任何关系。
19.匿名对象
class A
{
public:
A(int a = 0)
:_a(a)
{
cout << "A(int a)" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
};
class Solution {
public:
int Sum_Solution(int n) {
//...
return n;
}
};
int main()
{
A aa1;
// 不能这么定义对象,因为编译器无法识别下面是一个函数声明,还是对象定义
//A aa1();
// 但是我们可以这么定义匿名对象,匿名对象的特点不用取名字,
// 但是他的生命周期只有这一行,我们可以看到下一行他就会自动调用析构函数
A();
A aa2(2);
return 0;
}