《C++ Primer》Chapter 7 [类]

前言

---

在C++中，我们使用类定义自己得数据类型/通过定义新的类型来反应待解决的题的各种概念，是我们更容易编写、调试和修改程序。

我们需要主要关注数据抽象的重要性。数据抽象能帮助我们将对象的具体实现与对象能执行的操作分离开来

类的基本思想是数据抽象和封装。

数据抽象是依赖接口和实现分离的编程&&设计技术；封装实现了类的接口和实现的分离。

笔记

---

因为老师最近讲的课其实在我看来跨度特别大，每个知识点都只是涉及，好像只挑重点讲，我看这章的时候还有很多不懂得地方需要去翻前面的（直接跳过了前面的章节，之后肯定是要看的），包括现在有的地方还不是很清楚，应该还是要多看、多查。

7.1定义抽象数据类型

---

$Note:$当我们设计类的接口的时候，应该考虑如何才能使得类易于使用；而当我们使用类时，不应当顾及类的实现机理

定义和声明成员函数的方式和普通函数差不多。成员函数的声明必须在类的内部，它的定义既可以在类的内部也可以在类的外部

$Note:$定义在类内部的函数隐式的$inline$函数（通常就是将它在每个调用点"内联地"展开）

#我们来思考个问题，当一个对象调用自己的成员函数时，如何保证成员函数中对数据成员的处理是针对自己的数据成员而不是其他对象的数据成员呢？ $this$指针

成员函数通过$this$这个额外的隐式参数来访问调用它的那个对象。

$e.g.$ 我们调用$total.isbn()$时，编译器负责把$total$的地址传递给$isbn$的隐式形参$this$。当$isbn$使用$bookNo$时，它隐式地使用this指向的成员，就跟书写了$this->bookNo$一样

要想存放常量对象的地址，只能使用指向常量的指针。但是这里的$this$指针默认是一个指针常量，例如在$Sale$_$data$的成员函数中，$this$的类型是$Sales$_$data$  $*const$，所以我们需要将$this$声明承指向常量的指针（常量指针），而紧跟在参数列表后面的$const$就表示$this$是个指向常量的指针

std::string isbn() const { return bookNo }

关于指针常量和常量指针，可以看这里，这里需要去理解清楚

编译器分两步处理类：首先编译成员的声明，然后才轮到成员函数体。因此，成员函数体可以随意使用类中的其他成员而舞需在一这些成员出现的次序。

当我们在类的外部定义成员函数时，成员函数的定义必须和它的声明匹配。

每个类都分别定义了它的对象被初始化的方式，类通过一个/几个特殊的成员函数来控制其对象的初始化工程，这些函数叫做构造函数。构造函数的任务是初始化类对象的数据成员。

构造函数的名字和类名相同，没有返回类型。类可以包含多个构造函数，不同的构造函数之间必须在参数数量或参数类型上有所区别

如果我们的类没有显式地定义构造函数，那么编译器就会为我们隐式地定义一个默认构造函数，又被称为合成的默认构造函数：

• 如果存在类的初始值，用它来初始成员
• 否则，默认初始化该成员

默认构造函数无需任何实参。但是需要注意的是某些类不能依赖合成的默认构造函数。

这里给出几种构造函数：

Sale_data()  = default;
Sale_data(const std::string &s): bookNo(s) { }
Sale_data(const std::string &s, unsigned n, double p):
                bookNo(s), units_sold(n), revenue(p*n) { }

当然我们也可以在类的外部定义构造函数

有个小细节是，不同于其他成员函数，构造函数不能被声明成$const$。

$this$是指向常量的指针，所以常量成员函数不能改变它调用的对象，而构造函数本身就是要构造对象，故不能是常量的