链接类型、作用域以及名称空间,这是第九章的核心内容,对象、类以及类的基本定义,是第十章的核心内容。
第九章:内存模型和名称空间
单独编译
程序一般可以分成三个部分:
- 头文件:包含结构声明和使用这些结构的函数原型
- 源代码文件:包含与结构有关函数的代码
- 源代码文件:调用函数的代码
这种组织策略很便捷,一个文件包含用户定义类型,一个文件包含调用用户定义类型的函数,两个文件组成了一个软件包。
头文件
头文件中通常包含:
在包含头文件时使用 “ ” 而不是 <>。如果文件名包含在尖括号中,会从标准头文件目录查找,而双引号的情况则会先从当前工作目录或者源代码目录进行查找,因此在包含自己的头文件时应该使用引号而不是尖括号。
同一个文件中头文件只能包含一次,#ifndef 指令可以有效防止将头文件包含多次的情况,将声明现在 #ifndef 和 #endif 之间,可以让程序忽略第一次包含以外的所有内容。
存储连续性、作用域和连接性
c++11 使用四种不同方案存储数据,方案的区别在于数据保留在内存中的时间:
- 自动存储持续性:在函数定义中声明的变量的存储持续性是自动的,执行完代码块以后内存释放
- 静态存储持续性:函数外定义的变量和使用关键字 static 定义的变量的存储持续性均为静态
- 线程存储持续性:如果变量使用关键字 thread_local 声明,生命周期和所属的线程一样长
- 动态存储持续性:用 new 分配的内存一直存在,直到使用 delete 运算符进行释放
作用域和链接
作用域描述名称在文件中的可见范围,链接性描述名称如何在不同单元间共享,链接性为外部表示可在文件间共享,为内部表示只能由一个文件中的函数共享,自动变量不能共享,因此没有链接性。
自动存储持续性
作用域为局部的变量只在定义它的代码块中可用,作用域为全局的变量在定义位置到文件结尾间都可以用。
自动变量的管理方式为栈,还有一种形式为寄存器变量,使用关键字 register,它建议编译器使用 CPU 寄存器来存储自动变量,关键字可以显式的指出变量是自动的,并且只能用于原本就是自动的变量。
静态持续变量
静态持续变量有三种链接性,外部(可在其他文件中访问)、内部(仅在当前文件中访问)以及无链接性(在函数或者代码块中访问)。三种链接性都在整个程序执行期间存在,因此程序不需要特殊的如栈的装置来管理它们,将分配固定的内存块来存储所有的静态变量。
链接性为外部的静态变量需要在代码块外直接声明,为内部的需要在代码块外通过限定符 static 来声明,没有链接性的则是在代码块内部并使用 static 限定符。
初始化问题
零初始化和常量表达式初始化统称为静态初始化,表示编译器处理文件时进行初始化,动态初始化意味着编译后进行初始化。
所有静态变量被零初始化,如果使用常量表达式初始化变量,将执行简单计算完成常量表达式初始化,如果没有足够的信息,则执行动态初始化。(往往是指涉及到函数的情况)
静态持续性与链接性
静态持续、外部链接
链接性为外部的变量通常简称为外部变量或全局变量,C++ 有“单定义规则”,该规则指出变量只能有一次定义。因此变量声明要么是定义声明,要么是引用声明。
引用声明使用关键字 extern,不进行初始化,多个文件中使用外部变量只需要定义一次,在其他文件中则使用关键字 extern 进行声明。
c++ 提供作用域解析运算符(::),放在变量名前面时表示使用该变量的全局版本。
静态持续、无链接
无连接性的静态变量只在启动时进行一次初始化,之后再调用函数时不会像自动变量一样初始化。
说明符和限定符
c++ 关键字中的存储说明符或 cv-限定符的 C++ 关键字提供了其他有关存储的信息。
存储说明符如下所示:
- auto(在 c++11 中不再是说明符)
- register
- static
- extern
- thread_local
- mutable
在同一个声明中不能使用多个说明符,但 thread_local 除外,它可以与 static 或者 extern 结合。
c++11 之前,auto 指出变量为自动变量,11 之后用于自动类型推断。register 用于在声明中指示寄存器存储,在 c++11 中仅用于显式地指出变量为自动变量。mutable 可以用来指出即使结构(或类)变量为 const,其某个成员也可以被修改。
cv-限定符
cv 表示 const 和 volatile,关键字 volatile 表示即使程序代码没有对内存单元进行修改,其值也可能发生变化。
在默认情况下全局变量的链接性是外部的,但 const 全局变量的链接性是内部的,就像使用了 static 限定符一样。这样的目的是方便多个文件使用常量,而不用去一一引用,只要在两个源代码文件中包括同一个头文件,则它们将获得同一组常量。
如果希望某个常量的链接性为外部,则可以使用 extern 关键字来覆盖默认的内部链接性:
1 | extern const int states = 50; |
这样所有使用该常量的文件中都需要使用 extern 关键字来声明它。
函数和链接性
一般情况下,所有函数的存储持续性为静态,链接性为外部。可以使用 static 将函数的链接性设置为内部,使之只能在一个文件中使用,那就必须同时在原型和函数定义中使用该关键字。
名称空间
声明区域是指可以在其中进行声明的区域,如可以在函数外面声明全局变量,其声明区域为所在文件;对于在函数中声明的变量,其声明区域为所在的代码块。
变量的潜在作用域从声明点开始,到其声明区域的结尾。变量的作用域是指变量对程序而言可见的范围,这一范围可能会比潜在作用域小,因为全局变量有可能被局部同名变量短暂覆盖。
新的名称空间特性
c++ 可以通过定义一种新的声明区域来创建命名的名称空间,这样做的目的之一是提供一个声明名称的区域。一个名称空间中的名称不会与另一个名称空间的相同名称发生冲突,同时允许程序的其他部分使用该名称空间中声明的东西。
名称空间可以是全局的,也可以位于另一个名称空间中,但不能位于代码块中。名称空间中的声明和定义规则同全局声明和定义规则相同。
访问给定名称空间中的名称需要使用作用域解析运算符 ::,未被装饰的名称称为未限定的名称,包含名称空间的名称称为限定的名称。
using 声明和 using 编译指令
using 声明使特定的标识符可用,using 编译指令使整个名称空间可用:
1 | using rbr::fetch;//using 声明 |
名称空间可以嵌套,也可以创建别名。可以通过省略名称空间名称来创建未命名的名称空间,但是不能在未命名名称空间之外的其他文件中使用该空间,这提供了链接性为内部的静态变量的替代品。
名称空间相关原则
- 使用在已命名的名称空间中声明的变量,而不是使用静态全局变量或者外部全局变量。
- 函数库、类库应该放到名称空间中
- 导入名称时首选使用作用域解析运算符或者 using 声明。
第十章:对象和类
最重要的面向对象编程特性:抽象、封装和数据隐藏、多态、继承、代码的可重用性。
本章主要内容:类的定义、抽象、封装、数据隐藏、构造函数和析构函数、this 指针。
面向过程和面向对象编程
面向过程编程先考虑步骤,再考虑如何表示数据,而面向对象编程不仅要考虑数据的表示,还要考虑使用数据的方式,即数据存储和用户接口。这种处理方式将数据以及处理数据的基本方法集合在一个对象中。
抽象和类
类型本身就是抽象的类设计,基本类型如 int、float 这些在声明时不仅仅分配了内存,还规定了可对变量执行的操作,基本类型就是系统内置的封装好的类。而用户自定义的类型需要自己提供定义以及方法,这换来了强大的功能和灵活性。
类的基本概念
类是将抽象转换成用户定义类型的工具,将数据表示和操纵数据的方法组合成一个整洁的包。类规范由两个部分组成:
- 类声明:以数据成员的方式描述数据部分,以成员函数的方式描述公有接口
- 类方法:描述如何实现类成员函数
接口是一个共享框架,供两个系统交互使用,类的接口就是设计的方法,供程序使用与类对象进行交互。
通常将接口(类定义)放在头文件中,并将实现(类方法的具体代码)放在源代码中。
1 | class Stock |
通常使用class
指出代码定义了一个类设计,此处 Stock 是这个新类的类型名,我们能够声明 Stock 类型的变量,称为对象或者实例。
存储的数据构成类数据成员部分,要执行的操作以类函数成员的形式出现,可以就地定义,也可以用原型表示。(一般就地定义在私有部分,原型在公有部分。)
访问控制
关键字 private
和 public
描述了对类成员的访问控制,使用类对象的程序都可以直接访问公有部分,但只有公有成员函数能够访问对象的私有成员,所以说公有成员函数提供了对象和程序之间的接口。这种阻止程序直接访问数据的操作被称为数据隐藏。
数据隐藏是一种封装,封装的另一个例子是将类函数定义和类声明放在不同的文件中。
无论是成员函数还是数据项,都可以放在公有或私有任意一处,但是由于隐藏数据,通常来说数据放在私有部分,组成类接口的成员函数放在公有部分。通常程序员使用私有成员函数来处理不属于公有接口的实现细节。
private
是类对象的默认访问控制。**类和结构的唯一区别是结构的默认访问类型是 public
。
实现类成员函数
为类声明中的原型表示的成员函数提供代码时,成员函数定义和常规函数定义非常相似,但有两个特殊特征:
- 定义成员函数时,使用作用域解析运算符(::)来标识函数所属的类
- 类方法可以访问类的 private
acquire() 函数的函数头如下:
1 | void Stock::acquire(const string &co,long n,double pr); |
同一个类下的其他成员函数不必使用作用域解析运算符就可以使用该类下的其他方法。**Stock::acquire() 是函数的限定名,而简单的 acquire() 是全名的缩写,只能在类作用域中使用。
类的构造函数和析构函数
构造函数
类的构造函数专门用于构造新对象、将值赋给它们的数据成员,并且构造函数的名称与类名相同。(因为类的数据部分是私有,因此无法像基本类型一样直接初始化)
声明和定义
构造函数同样需要函数原型,并且可以使用默认参数来完成参数赋值,没有返回类型,原型位于类声明的共有部分。
1 | Stock(const string &co,long n=0,double pr=0.0); |
构造函数的参数表示的不是类成员,而是赋给类成员的值,因此参数名不能和类成员相同。
使用构造函数
类构造函数的初始化方式有显式和隐式两种:
1 | Stock food = Stock("balll",250,1.25); |
构造函数被用来创建对象,但是不能通过对象来调用。
默认构造函数
如果没有提供任何构造函数,则 C++ 将自动提供默认构造函数,其声明中不包含值,因此也没有参数。
当且仅当没有定义任何构造函数时,编译器才会提供默认构造函数。如果定义了构造函数,那么就必须提供默认构造函数,定义默认构造函数的方式有两种,一种是给已有构造函数的所有参数提供默认值,另一种是通过函数重载来定义另一个构造函数 —— 一个没有参数的构造函数。
析构函数
对象过期时将自动调用析构函数完成清理工作,析构函数的名称是在类名前加~,析构函数没有返回值和声明类型,也没有参数。
通常析构函数出现在需要使用 delete 来释放内存的情况下。
const 成员函数
将类对象声明为 const 类型时,所调用的函数必须确保不会修改调用对象,但是编译器无法自动判断调用对象不被修改,因此需要对成员函数增设新语法。C++ 的解决办法是将 const 关键字放在函数的括号后面。
1 | void show() const; |
函数定义和函数声明都应该如此,这种被称为 const 成员函数,只要类方法不修改调用对象,就应该将其声明为 const。
this 指针
每个类成员函数不止设计到调用它的对象,也可能需要涉及到多个对象,在这个过程中,函数如何表示调用自身的对象?
C++ 提出使用 this 指针来指向用来调用成员函数的对象,一般来说,所有的类方法都将 this 指针设置为调用它的对象的地址。
对象数组
在创建同一个类的多个对象时,比较合适的做法是创建对象数组,声明对象数组的方法和声明标准类型的方法相同。
类作用域
在类中定义的名称的作用域为整个类,可以在不同类中使用相同的类成员名而不会引起冲突。
在类声明或者成员函数定义中,可以使用未修饰的成员名称,在其他情况下使用类成员名时,必须根据上下文使用直接成员运算符(.)、间接成员运算符(->)或作用域解析运算符(::)。
无法直接使符号常量的作用域为类,因为声明类只是描述了对象形式,并没有创建对象。有两种方式可以实现这一目标,一种是在类中声明一个枚举,另一种是使用关键字 static。
1 | //第一种方式,枚举 |