## C++基础2:类与对象
### 1.认识类与对象
* 基本概念
|概念|比喻|
|:-|
|对象/实例|楼房|
|实例化|建造|
|类|建筑图纸|
* 面向对象四大特征
|特征|说明|类比|
|:-|
|抽象|抽出具体事物的普遍性的本质|分门别类:鸟类、哺乳类、鱼类|
|封装|把数据与处理(函数)包在一起|通信录(增加、删除)|
|继承|数据与处理(函数)的传承|财富与绝技、混血儿(肤色/头发)|
|多态|同一个事物(函数)的多种形态|手机键盘数字与字母|
### 2.类的定义与对象创建
#### 2.1 类的定义:与'struct'相似(C++)
``````
class 类名{
成员变量成员函数声明
};
``````
*'class'定义最后的';'一定不要忘记。*
* 构成
|构成|作用|
|:-|
|数据成员(data member)/成员变量/属性|对象内部数据和状态,只能在类定义中声明,可以在成员函数中直接调用。|
|成员函数/方法|对象相关的操作,可以在类内实现或类外实现。|
* 实例:复数'Complex'
* 作用域运算符'::' -- 函数归属
* 访问限定符
|限定符|作用|
|:-|
|'private'[默认]|私有|
|'public'|公开|
|'protected'|保护|
> 实践中,成员变量多数情况使用'private'或者'protected',成员函数多数情况使用'public'。通常,通过成员函数改变对象的成员变量。
* 声明与实现分离
* 头文件 -- 声明
方式:'#pragma once'或者'#ifnde...#endif'
作用:防止头文件二次编译
* 源文件 -- 实现
引用头文件:'#include <>'(标准库函数)/'#include ""'(自定义/第三方函数)
* 'class'与'struct'区别
'struct_class.cpp'
``````
#include <iostream>
using std::cout;
using std::endl;
struct SPos{
int x,y,z;
};
class CPos{
int x,y,z;
};
int main(){
#ifdef STRUCT
SPos spos = {1,1,1};
cout << "{" << spos.x << "," << spos.y << "," << spos.z << "}" << endl;
#else
CPos cpos = {1,1,1};
cout << "{" << cpos.x << "," << cpos.y << "," << cpos.z << "}" << endl;
#endif
}
``````
`class`与struct`区别是:
1.默认的访问控制不同
* `struct`是`public`
* `class`是`private`
2.`struct`可以使用花括号内的初始值列表'{...}'初始化,'class'不可以(C++98不可以,C++11可以)。
>注意
* C++的'struct'可以有成员函数,而C不可以
* C++的'struct'可以使用访问控制关键字('public' 'protected'),而C不可以
* 成员变量默认初始化为随机值(主要影响指针)。
##### 2.2 对象创建
* 直接定义 -- 类作为类型定义变量 -- 栈上创建
``````
类名 对象1;//调用默认构造函数
类名 对象2 = 对象1;//调用复制构造函数
类名 对象3(对象1); //调用复制构造函数
``````
* 动态创建 -- 堆上创建
``````
类名* 对象指针 = new 类名;// 调用默认构造函数
delete 对象指针;
``````
``````
int* p = new int[10];
delete p; //只释放p[0]
delete [] p; // 释放全部数组
``````
实例:账单
> 基本类型的初始化新增语法;
``````
int a(0);// 等价 int a = 0;
const float b(1.0);// 等价 const float b = 1.0;
``````
> 空结构体与空类的大小('sizeof')为'1',主要在于初始化/实例化时,编译器给变量/对象分配内存(地址),内存最小单位为1个字节。
通常,'sizeof(类型) == sizeof(变量)'。
> 注意:C++除了特殊情况,很少直接使用'malloc()/free()'申请释放内存,取而代之的时'new/delete'。
### 3. 'this'指针
* 作用域 -- 类内部
* 特点
* 类的一个自动生成、自动隐藏的私有成员
* 每个对象仅有一个'this'指针
* 当一个对象被创建时,'this'指针就存放指向对象数据的首地址
* 不是对象本身的一部分,不会影响sizeof(对象)的结果
> 如果成员函数形参与成员变量同名,使用'this->'做为前缀区分。
### 4.方法
#### 4.1 构造函数
* 语法
``````
类名(参数){
函数体
}
``````
* 在对象被创建时自动执行
* 构造函数的函数名与类名相同
* 没有返回值类型,也没有返回值
* 可以有多个构造函数
* 调用时机
* 对象直接定义创建--构造函数不能被显式调用
* 'new'动态创建
* 默认构造函数
类中没有显式的定义任何构造函数,编译器就会自动为该类型生成默认构造函数
* 构造函数的三个作用
* 给创建的对象建立一个标识符
* 为对象数据成员开辟内存空间
* 完成对象数据成员的初始化
* 初始化列表
* 语法
``````
类名(参数):成员变量(参数){
函数体
}
``````
* 作用
初始化非静态成员变量
* 说明
从概念上来讲,构造函数的执行可以分成两个阶段,初始化阶段和计算阶段,初始化阶段先于计算阶段。
* 必须使用初始化列表的情况
1.常用成员,因为常量只能初始化不能赋值,所以必须放在初始化列表里面。
2.引用类型,引用必须在定义的时候初始化,并且不能重新赋值,所以也要写在初始化列表里面。
3.没有默认构造函数的类类型,因为使用初始化列表可以不必调用默认构造函数来初始化,而是直接调用拷贝构造函数初始化。
* 初始化列表与构造函数内部成员变量赋值的区别
成员变量初始化与成员变量赋值
> 能使用初始化列表的时候尽量使用初始化列表
* 成员变量的初始化顺序
``````
#include <iostream>
using std::cout;
using std::endl;
class Member1{
public:
Member1(){
cout << "Member1 Init" << endl;
}
};
class Member2{
public:
Member2(){
cout << "Member2 Init" << endl;
}
};
class Member3{
public:
Member3(){
cout << "Member3 Init" << endl;
}
};
class Test{
public:
Test():m3(),m2().m1(){}; //初始化成员列表顺序
private:
Member1 m1; //定义成员变量
Member2 m2;
Member3 m3;
};
int main{
Test test;
}
``````
成员变量在使用初始化列表初始化时,与构造函数中初始化成员列表的顺序无关,只与定义成员变量的顺序有关。
> C++的函数可以增加默认参数。
写法:
1.默认参数必须写在函数声明中,不能写在函数实现的参数列表中。
2.默认参数必须写在所有非默认参数的后面。
3.默认参数可以写任意多个。
使用:
默认参数可以不用传递值,此时,使用默认值。
默认参数可以传值,此时,使用实参值。
#### 4.2 析构函数
* 语法:
``````
~类名(){
函数体
}
``````
* 析构函数的函数名与类名相同
* 函数名前必须有一个'~'
* 没有参数
* 没有返回值类型,也没有返回值
* 只能有一个析构函数
* 调用时机
* 对象离开作用域
* 'delete'
* 默认析构函数
类中没有显式的定义析构函数,编译器就会i自动为该类型生成默认析构函数
* 作用
释放对象所i申请占有的资源
#### 4.3 引用(别名)
* 语法
声明:'const 类型名& 对象名'/'类型名& 对象名'
使用:与对象变量、基本类型变量一样
* 如何使用引用
* 函数参数列表
* 成员变量 -- 对象初始化时,必须显示初始化的变量
* 为何使用引用
* 避免对象复制
* 避免传递空指针
* 使用方便
> 类型:
* 基本类型('bool','char','int','short','float')
* 复合类型(指针、数组、引用)
* 自定义类型('struct','union','class')
引用作用:取代指针
> 引用与指针的区别
* 指针申请一块内存,它的内容是值内存的地址;引用是某块内存的别名,不申请内存。
* 引用只能在定义时被初始化一次,之后不可变;指针可变;
* 引用不能为空,指针可以为空;
* 引用使用时无需解引用`*`,指针需要解引用;
* `sizeof 引用`得到的是所值向的变量/对象的大小,而`sizeof 指针`得到的是指针本身的大小;
引用通常用于两种情况:成员变量和函数的参数列表。
##### 4.4 拷贝/复制构造函数
* 语法:
``````
类名(类名& 形参){
函数体
}
``````
或者
``````
类名(const 类名& 形参){
函数体
}
``````
或者
``````
类名(const 类名 形参){
函数体std:swap();
}
``````
* 调用时机
* 一个对象作为函数参数,以值传递的方式传入函数体
* 一个对象作为函数返回值,以值从函数返回
* 一个对象用于给另外一个对象进行初始化(赋值初始化)
> 实践说明:
* gcc自动NRV(name return value)优化,不执行拷贝构造函数,需要在编译命令添加选项禁止'-fno-elide-constructors';
* vs执行拷贝构造函数
总之,尽量不要返回局部对象。
#### 4.5 默认拷贝构造函数
* 本质:内存拷贝
* 作用:复制一个已经存在的对象
> 如何禁用默认拷贝构造函数?在类定义,添加私有的复制构造函数的声明,但不实现。
#### 5.赋值运算符重载函数
* 语法
``````
类名& operator=(const 类名& 形参){
//赋值操作
return *this;
}
``````
* 调用时机:赋值
* 默认赋值运算符重载函数:内存拷贝
* 作用:赋值
> 如何禁用默认赋值运算符重载函数?在类定义,添加私有的赋值运算符重载函数的声明,但不实现。
> 拷贝构造函数与赋值操作符的区别
* 拷贝构造函数:当一个已经存在的对象来初始化一个未曾存在的对象
* 赋值操作符:当两个对象都已经存在
#### 6. 深拷贝与浅拷贝
* 浅拷贝:只拷贝指针地址
* 深拷贝:重现分配堆内存,拷贝指针指向内容
#### 7.友元细说
* 作用:非成员函数访问类中的私有成员* 分类
* 全局友元函数:将全局函数声明成友元函数
* 友元成员函数:类的提前引用声明,将一个函数声明为多个类的友元函数
* 友元类:将整个类声明为友元
* 特点
* 友元关系单向性
* 友元关系不可传递
#### 8. `const`限定符
* 本质:不可修改
* `const`与变量/对象
``````
const 类型 变量 = 初始值;
const 类型 对象;
``````
例如:
``````
const int size = 4;
``````
现在比较前卫写法
``````
类型 const 变量 = 初始值;
类型 const 对象;
``````
例如:
``````
int const size = 4;
``````
* 定义时必须初始化
* 全局作用域声明的'const'变量默认作用域是定义所在文件
* `const`对象只能调用`const`成员函数
* `const`与宏定义`#define`的区别
||`const`|宏定义`#define`|
|:-|
|编译器处理方式|编译运行阶段使用|预处理阶段展开/替换|
|类型|有具体的类型|没有类型|
|安全检查|编译阶段会执行类型检查|不做任何类型检查|
|存储方式|分配内存|不分配内存|
* `const`与指针
|No.|类型|语法|作用|
|:-:|
|1|`const`指针|`类型* const 变量 = 初始值;`|指针指向地址不能改变|
|2|指向`const`对象的指针|`const 类型* 变量 = 初始值;` `类型 const* 变量 = 初始值;`|指针指向对象不能改变|
|3|指向`const`对象的`const`指针|`const 类型* const 变量 = 初始值;`|指针指向地址和对象不能改变|
> No.2 是使用最频繁的方式。
* `const`与函数的参数和返回值
|类型|语法|作用|说明|
|:-|
|`const`参数|`返回值类型 函数(const 类型 形参)`|函数内部不能改变参数的值|这样的参数的输入值|
|`const`返回值|`const 返回值类型 函数(形参列表)`|函数的返回值不能改变|常用于字符串/指针|
* `const`成员变量
* 不能在类声明中初始化`const`数据成员
* `const`成员变量只能在类构造函数的初始化列表中初始化
``````
class 类名{
public:
类名(类型 形参):成员变量(形参){}
private:
const 类型 成员变量;
}
``````
> 如果使用`const`成员变量不能使用赋值运算符重载函数
* `const`成员函数
成员函数不能修改类中任何成员变量。一般写在成员函数的最后来修饰。
* 声明
``````
class 类名{
public:
返回值类型 函数名(形参列表)const;
}
``````
* 定义
``````
返回值类型 函数名(形参列表)const;
``````
> 必须在成员函数的声明和定义后都加上`const`
|const修饰位置|作用|
|:-|
|变量|变量不可修改,通常用来替代`#define`|
|对象/实例|对象的成员变量不可修改,只能调用`const`成员函数|
|函数参数|参数不能在函数内部修改,只作为入参|
|函数返回值|返回的结束不能被修改,常用于字符串|
|成员变量|只能在初始化列表中初始化|
|成员函数|不改变成员变量|
> 只要能够使用`const`,尽量使用`const`。
#### 9.`static`限定符
本质:
* 生存周期:整个程序的生存周期。
* 作用域:属于类,不属于对象。
语法
* 声明
``````
class 类名{
static 返回类型 函数(形参列表);
};
``````
* 定义
``````
返回类型 类名::函数(形参列表){
函数体;
};
``````
* 调用
``````
类名::函数(实参列表);
``````
* 规则
* `static`只能用于类的声明中,定义不能标示为`static`。
* 非静态是可以访问静态的方法和函数
* 静态成员函数可以设置`private`,`public`,`protected`访问权限
* 禁忌
* 静态成员函数不能访问非静态函数或者变量
* 静态成员函数不能使用`this`关键字
* 静态成员函数不能使用cv限定符(`const`与`virtual`)
> 因为静态成员函数是属于类而不是某个对象。
静态成员变量
语法:
* 在类定义中声明,但是在类实现中初始化。
* 在声明时需要指定关键字`static`,但是实现时不需要指定`static`。
* 对象的大小不包含静态成员变量
> 因为静态成员变量是属于类而不是某个对象。静态成员变量所有类的对象/实例共享。
|`static`修饰位置|作用|
|:-|
|变量|静态变量|
|函数|只源文件内部使用的函数|
|成员变量|对象共享变量|
|成员函数|类提供的函数,或者作为静态成员对象的接口|
> 单例模式:使用静态成员变量和静态成员函数。
---
#### 10. `const static`限定符
``````
#include <iostream>
using std::cout;
using std::endl;
class StaticConstTest{
public:
void print(){
cout << test1 << " " << test2 << endl;
}
private:
static const int test1 = 1; //ok
static const int test2; //ok
static const char* test3 = "abcd"; //NG
static const char* test4; //ok
};
/* static */ const int StaticConstTest::test2 = 2; //ok
/* static */ const char* StaticConstTest::test4 = "abcd"; //ok
int main(){
StaticConstTest sct;
sct.print();
}
``````
|变量类型|声明位置|
|:-|
|`const`成员变量|必须在构造函数初始化列表中初始化|
|`static const`/`const static`成员变量|变量声明处或者类外初始化|
> 注意:`static const`/`const static`在类定义中成员变量中成员变量只能初始化整型数据。
#### 11. 函数的调用优化
`inline` -- 宏定义的接班人
* 条件
一般用在代码比较简单的函数
* 语法
* 关键字`inline`必须与函数实现/定义体放在一起才能使函数成为内联,将`inline`放在函数声明前面不起任何作用
* 定义在类声明之中的成员函数将自动地成为内联函数
* 慎用内联
如果函数体内的代码比较长,使用内联将导致内存消耗代价较高
如果函数体内出现循环,那么执行函数体代码的时间要比函数调用的开销大
不要随便地将构造函数和析构函数的定义体放在类声明中
* 本质
内联函数的代码直接替换函数调用,省去函数调用的开销
#### 12. 运算符重载
案例:实例复数类
* 语法
运算符重载主要有两种方式实现:
* 成员函数运算符重载
``````
返回值类型 operator 运算符(参数){
函数体
}
``````
* 友元函数运算符重载
``````
* 分类
|No.|类型|运算符|成员函数|友元函数|
|:-|
|1|双目算术运算符|`+` `-` `*` `/` `%`|`类名 operator 运算符(const 类名&) const`|`类名 operator 运算符(const 类名&, const 类名&)`|
|2|关系运算符|`==` `!=` `>` `>=` `<` `<=`|`bool operator 运算符 (const 类名& ) const`|`bool operator 运算符 (const 类名&,const 类名&)`|
|3|双目逻辑运算符|`&&` `¦¦` |`bool operator 运算符 (const 类名& ) const`|`bool operator 运算符 (const 类名&,const 类名&)`|
|4|单目逻辑运算符|`!`|`bool operator !() const`|`bool operator ! (const 类名&)`|
|5|单目算术运算符|`+` `-`|`类名& operator 运算符 ()`|`类名& operator 运算符 (const 类名&)`|
|6|双目位运算符|`&` `¦`|`类名 operator 运算符 (const 类名& ) const`|`类名 operator 运算符 (const 类名& ,const 类名& )`|
|7|单目位运算符|`~`|`类名 operator ~ ()`|`类名 operator ~ (类名&)`|
|8|位移运算符|`<<` `>>`|`类名 operator 运算符 (int i) const`|`类名 operator 运算符 (const 类名&,int i)`|
|9|前缀自增减运算符|`++` `--`|`类名& operator 操作符 ()`|`类名& operator 操作符 (类名&)`|
|10|后缀自增减运算符|`++` `--`|`类名 operator 操作符 (int)`|`类名 operator 操作符 (类名&,int)`|
|11|复合赋值运算符|`+=` `-=` `*=` `/=` `%=` `&=` `¦=` `^=` |`类名& operator 运算符 (const 类名& )`|`类名& operator += (类名&,const 类名&)`|
|12|内存运算符|`new` `delete`|参见说明|参见说明|
|13|流运算符|`>>` `<<`|-|参见说明|
|14|类型转换符|`数据类型`|参见说明|-|
|15|其他运算符重载|`=` `[]` `()` `->`|参见说明|-|
* 说明
* 内存运算符比较复杂
成员函数
``````
void *operator new(size_t size);
void *operator new[](size_t size);
void operator delete(void* p);
void operator delete[](void* p);
``````
友元函数
``````
void *operator new(类名,size_t size);
void *operator new[](类名&,size_t size);
void operator delete(类名&,void* p);
void operator delete[](类名&,void* p);
``````
* 流运算符
流运算符只能使用友元函数实现。
``````
inline ostream &operator << (ostream&,类名&)
inline istream &operator >> (istream&,类名&)
``````
* 类型转换符
这些运算符只能使用成员函数实现。
``````
operator char* () const;
operator int ();
operator const char () const;
operator short int () const;
operator long long () const;
``````
* 类型转换符
这些运算符只能使用成员函数实现。
``````
类名& operator = (const 类名&);
char operator [] (int i);//返回值不能作为左值
const char* operator () ();
T operator -> ();
``````
* 规则
* 五个不能重载的运算符:成员运算符`.`、指针运算符`*`、作用域运算符`::`、`sizeof`、条件运算符`?:`
* 不允许用户自定义新的运算符,只能对已有的运算符进行重载
* 重载运算符不允许改变运算符原操作数的个数
* 重载运算符不能改变运算符的优先级
* 重载运算符函数不能有默认的参数,会导致参数个数不匹配
* 本质
函数重载