第4章 数组和指针

在函数体外定义的内置数组，其元素均初始化为0；
在函数体内定义的内置数组，其元素无初始化；
除非显示地提供元素初值，否则内置类型的局部数组的元素没有初始化。
字符串字面值包含一个额外的空字符（null）用于结束字符串。

用下标访问元素时，vector使用vector::size_type作为下标的类型，而数组下标的则是size_t。

指针是用于数组的迭代器。
区别：指针用于指向单个对象，而迭代器只能用于访问容器内的元素。

现代C++程序采用vector类型和迭代器取代一般的数组，采用string类型取代C风格字符串。

指针的声明风格
string* ps1, ps2; //ps1 is a pointer to string, ps2 is a string
实际上只把ps1定义为指针，而ps2并非指针。

void*指针只支持几种有限的操作：
与另一个指针进行比较；
向函数传递void*指针或从函数返回void*指针；
给另一个void*指针赋值。
不允许使用void*指针操纵它所指向的对象，只针对指针的操作。

无法确定某指针是否指向一个有效对象。

指针和引用的区别：
（1）引用总是指向某个确定对象，定义引用时没有进行初始化会出现编译错误。
（2）赋值行为上存在差异：给引用赋值修改的是该引用所关联的对象的值，而不是使该引用与另一个对象关联。引用一经初始化，就始终指向同一个特定对象。
给指针赋值修改的是指针对象本想，也就是使该指针指向另一对象，指针在不同时刻可指向不同的对象。

ptrdiff_t：表示两指针相减的结果，机器相关的signed整型。

只要指针指向数组元素，就可以进行下标操作。
int *p = &ia[2]; //ok: p points to the element indexed by 2
int k = p[-2]; //ok: p[-2] is the same element as ia[0]

指针和const限定符
1.指向const对象的指针
const double *cptr; //cptr may point to a double that is const
const限定了cptr指针所指向的对象类型，而并非cptr本身。cptr本身并不是const，在定义时不需要对它进行初始化。不能通过cptr修改其所指对象的值。
把一个const对象的地址赋给一个普通的，非const对象的指针会导致编译时的错误。
允许把非const对象的地址赋给指向const对象的指针。
如果const对象指向的是一个非const对象，可以用其他方法修改所指的对象。
2.const指针
int errNumb = 0;
int *const curErr = &errNumb; //curErr is a constant pointer
const指针的值不能修改，不能使curErr指向其他对象。
3.指向const对象的const指针
const double pi = 3.14159;
const double *const pi_ptr = π
既不能修改pi_ptr所指向对象的值，也不允许修改该指针的指向。

const int ic = i;
int *const cpi = ⁣
不合法，cpi是一个指向int型对象的const指针，不能用const int型对象ic的地址对其进行初始化。

指针和typedef
string s;
typedef string *pstring;
const pstring cstr1 = &s; //written this may the type is obscured
pstring const cstr2 = &s; //all three decreations are the same type
string *const cstr3 = &s; //they're all const pointers to string
const string *cstr4 = &s; //wrong interpretations of const pstring cstr

字符串字面值的类型就是const char类型的数组。
C风格字符串的标准库函数的字符串必须以结束符null结束。

在自由存储区中创建的数组对象是没有名字的，程序员只能通过其地址间接地访问堆中的对象。

C++虽然不允许定义长度为0的数组变量，但调用new动态创建长度为0的数组是合法的。
char *cp = new char[0];
允许的操作包括：比较运算；指针加（减）0；减去本身，得0值。

string转C风格字符串
char *str = st2.c_str(); //almost ok, but not quite
const char *str = st2.c_str(); //ok

使用数组初始化vector对象：必须指出用于初始化式的第一个元素以及数组最后一个元素的下一个位置的地址。
const size_t arr_size = 3;
int int_arr[arr_size] = {0, 1, 2};
vector<int> ivec(int_arr, int_arr + arr_size);

由多位数组转换而成的指针类型应是指向第一个内层数组的指针。
int *ip[4]; //array of pointers to int
int (*ip)[4]; //pointer to an array of 4 ints
*ip是int[4]类型，即ip是一个指向含有4个元素的数组的指针。