C++ primer 第四章--数组和指针

4.1 数组

（1）现代C++程序应尽量使用vector和迭代器类型，而避免使用低级的数组和指针。设计良好的程序只有在强调速度是才在类实现的内部使用数组和指针。

（2）与vector类型相比，数组的显著缺陷有：数组的长度是固定的，而且程序员无法知道一个给定数组的长度。数组没有获取其容量大小的size操作，也不提供push_back操作在其中自动添加元素。如果需要更改数组的长度，程序员只能创建一个更大的新数组，然后把原数组的所有元素复制到新数组空间去。

（3）与使用标准vector类型的程序相比，依赖于内置数组的程序更容易出错且难以调试。现代C++程序更多使用vector来取代数组，数组被严格限制在程序内部使用，只有当性能测试表明使用vector无法达到必要的速度要求时，才使用数组。

（4）数组的定义。数组的维数必须用值大于等于1的常量表达式定义。此常量表达式只能是：整型字面常量、枚举常量、用常量表达式初始化的整型const对象。非const变量要到运行阶段才知道其值的const变量都不能用于定义数组的维数。

（5）数组的初始化。

1、在函数体外定义的内置数组，其元素均初始化为0；

2、在函数体内定义的内置数组，其元素无初始化；

3、不管数组在哪里定义，如果数组元素为类类型，则自动调用该类的默认构造函数进行初始化化；如果该类没有默认构造函数，则必须为该数组提供显示初始化。

（6）字符数组大小=实际有效字符长度+1（‘\0’空字符）

4.2 指针

（1）指针保存的是另一个对象的地址。

（2）尽量避免使用数组和指针。指针和数组容易产生不可预料的错误，其中一部分是概念上的问题：指针用于低级操作，容易产生与繁琐细节相关的错误；其他错误则源于使用指针的语法错误，特别是声明指针的语法。

（3）建议采用以下指针的声明风格：string  *ps1,*ps2;    将符号*紧贴着指针变量名放置。

（4）很多运行时错误都源于使用了未初始化的指针。C++无法检测指针是否未被初始化，也无法区分有效地址和由指针分配到的存储空间中存放的二进制位形成的地址。

（5）指针初始化和赋值操作的约束：

1、0值常量表达式 ：  int *p = 0；  int *p1 = NULL;

2、同类型的另一个有效地址；

3、类型匹配的对象的地址。

（6）表达式中使用数组名，该名字会自动转换成指向数组第一个元素的指针。

（7）使用指针实现类似于迭代器的操作（有哨兵）

const size_t arr_size = 5;
int int_arr[arr_size] = {0,1,2,3,4};
for(int *pbegin = int_arr, *pend = int_arr + arr_size; pbegin != pend; ++pbegin){
cout << *pbegin << endl;
}

（8）指针和const限定符

**指向const对象的指针：

1、指向const对象的指针：不允许通过指针（ptr）来改变其所指的const值。

const int *p;
*p = 42;//error,试图通过指针修改指向的const对象

2、可以在定义时不进行初始化，允许给ptr重新赋值，使其指向另一个const对象。但不能通过cptr修改其所指向的对象的值。

3、不允许把一个const对象的地址赋值给一个普通的、非const对象的指针，会造成编译时错误；但允许将一个非const对象的地址赋值给指向const对象的指针。

const int i  = 55;
int *p = &i;//error

int j = 66;
const int *pp = &j;//正确

4、在实际程序中，指向const对象的指针常用作函数的形参，确保传递给函数的实际对象在函数中不因形参而修改。

**const指针：

1、本身的值不能改变。这意味着不能将const指针指向其他对象，且必须在定义时进行初始化（与const常量一样）。

int k = 0;
int *const p1 = &k;//定义时初始化

2、指针指向的值是否能修改取决于指向对象是否是const对象。

**指向const对象的const指针。

4.3 C风格字符串

1、C风格字符串：以空字符null(‘\0’)结束的字符数组。

2、尽可能使用C++的string，不用处理内存管理问题。
4.4 创建动态数组

（1）动态分配的数组将一直存在，知道程序显式释放它。

（2）用于存放动态分配对象的内存空间成为程序的自由空间区或堆(heap)。C语言一般使用malloc和free;C++使用new和delete。

（3）动态分配数组时，只需要制定类型和数组长度，不必为数组对象命名，new表达式返回指向新分配数组的第一个元素的指针；

int *pia = new int[10];

(4)动态分配数组时，如果数组元素具有类类型，将使用该类的默认构造函数实现初始化；如果数组元素是内置类型，则无初始化。也可以在数组长度后面跟一对圆括号，对数组元素做值初始化。

string *ps = new string[10];//初始化为10个空字符串
int *pi = new int[10];//无初始化。
int *pp = new int[10]();//初始化为0.

（5）动态分配的内存最后必须释放，否则内存最后会耗尽。使用delete []表达式释放数组空间。

delete  [] pp;

在关键字delete和指针之间的空方括号是必不可少的：它告诉编译器该指针指向的是自由存储区的数组，而非单个对象。如果缺少空方括号，至少会在运行时少释放了内存空间，从而产生内存泄漏，严重时会产生运行时错误。