第 9 章 内存模型和名称空间
9.1 单独编译
头文件中包含的内容:
- 函数原型
- 使用#define或const定义的符号常量
- 结构声明
- 类声明
- 模板声明
- 内联函数
在同一文件中只能将同一头文件包含一次
9.2 存储持续性、作用域和链接性
自动变量的作用域为局部,在类中声明的成员的作用域为整个类。在名称空间中声明的变量的作用域为整个名称空间(名称空间已经引入到C++中,因此全局作用域是名称空间作用域的特例)。
C++函数的作用域可以是整个类或者整个名称空间。
不同的C++存储方式是通过存储持续性、作用域和链接性来描述的。
自动存储持续性
在默认情况下,在函数中声明的函数参数和变量的存储持续性为自动,作用域为局部,没有链接性。
当程序开始执行这些变量所属的代码块时,将为其分配内存;当函数结束时,这些变量都将消失。
- 自动变量的初始化
可以使用任何在声明时其值为已知的表达式来初始化自动变量 - 自动变量和栈
自动变量的数目随函数的开始和结束而增减,常用方法是留出一段内存,并将其视为栈,以管理变量的增减。栈的默认长度取决于实现,但编译器通常提供改变栈长度的选项。程序使用两个指针来跟踪栈,一个指向栈底——栈的开始位置,一个指向栈顶——下一个可用内存单元。 - 寄存器变量
关键字register只是显式地指出变量是自动的,鉴于关键字register只能用于原本就是自动的变量,使用它的唯一原因是,指出程序员想使用一个自动变量,这与auto之前的用途完全相同。
保留关键字register的重要原因是,避免使用该关键字的现有代码非法
静态持续变量
5种变量储存方式
存储描述 | 持续性 | 作用域 | 链接性 | 如何声明 |
---|---|---|---|---|
自动 | 自动 | 代码块 | 无 | 在代码块中 |
寄存器 | 自动 | 代码块 | 无 | 在代码块中,使用关键字register |
静态,无链接性 | 静态 | 代码块 | 无 | 在代码块中,使用关键字static |
静态,外部链接性 | 静态 | 文件 | 外部 | 不在任何函数内 |
静态,内部链接性 | 静态 | 文件 | 内部 | 不在任何函数内,使用关键字static |
静态变量的初始化
除了默认的零初始化外,还可对静态变量进行常量表达式初始化和动态初始化。前两者称为静态初始化,意味着在编译器处理文件时初始化,动态初始化意味着变量将在编译后初始化。
#include <cmath>
int x;
int y = 5;
int z = 13 * 13;
const double pi = 4.0 * atan(1.0); //dynamic initialization
首先,x、y、z和pi被零初始化,要初始化pi,必须调用函数atan(),这需要等到该函数被链接且程序执行时。
常量表达式并非只能是使用字面常量的算术表达式。
int enough = 2 * sizeof(long) + 1; //constant expression initialization
静态持续性、外部链接性
链接性为外部的变量通常简称为外部变量,他们的存储连续性为静态,作用域为整个文件。
C++提供两种变量声明。
- 定义声明或定义,它给变量分配存储空间
- 引用声明或声明,引用已有变量
引用声明使用关键字extern,且不进行初始化
C++提供了作用域解析运算符(::),该变量表示使用变量的全局版本。
静态持续性、内部链接
将static限定符用于作用域为整个文件的变量时,改变量的链接性为内部的。
在多文件程序中,可以在一个文件(且只能在一个文件)中定义一个外部变量。使用该变量的其他文件必须使用关键字extern声它。
说明符和限定符
volatile
程序在几条语句中两次使用了某个变量的值,将把这个值存储到寄存器中,这种优化假设变量的值在这两次使用之间不会变化。将变量声明为volatile,将不进行这种优化。
使用mutable,即使结构或类变量为const,其某个成员也可以修改。
struct data
{
char name[30];
mutable int accesses;
...
};
const data veep = {"Claybourne Clodde", 0, ...};
因为mutable accesses 可以修改。
const
const全局变量的链接为内部,所以可以在所有文件中使用相同的声明。
可以使用extern关键字来覆盖默认的内部链接性:
extern const int states = 50;
在使用该变量的其他文件中必须使用extern,且只有一个文件可对其进行初始化。
函数的链接性
默认情况下,函数的链接性为外部的,使用关键字static可将链接性变为内部的。
语言链接性
为满足内部需要,C语言编译器可能将spiff这样的函数名翻译为_spiff。这种方法被称为C语言链接性。
但在C++中,同一名称可能对应多个函数,这种方法称为C++语言链接性。
extern "C" void spiff(int); //C语言链接性
extern void spoff(int); //默认方式指出C++语言链接性
extern "C++" void spaff(int); //显示指出C++语言链接性
存储方案和动态分配
虽然存储方案概念不适用于动态内存,但适用于用来跟踪动态内存的自动和静态指针变量。
float* p_fees = new float [20];
如果希望另一个函数能够使用这80个字节的内容,则必须将地址传递或返回给该函数。另一方面,如果将p_fees的链接性声明为外部的,则位于该声明后面的函数都可以使用它。通过在另一个文件中使用下述声明,便可在其中使用该指针:
extern float* p_fees;
使用new运算符初始化
如果为内置的标量类型(int或double)分配存储空间并初始化,可在类型名后面加上初始值,并将其用括号括起。
int* pi = new int (6);
这种括号语法也可用于有合适构造函数的类
初始化常规结构或数组,需要使用大括号的列表初始化:
struct where {double x; double y; double z};
where* one = new where {2.5, 5.3, 7.2};
int* ar = new int [4] {2, 4, 6, 7};
C++11,还可将列表初始化用于单值变量:
int* pin = new int {6};
double* pdo = new double {99.99};