1、数组是由类型名、标识符和维数组成的复合数据类型,是一种存储单一数据类型对象的容器,其中每个对象都没有单独的名字。

没有所有元素都是引用的数组。

数组的维数必须用值大于等于1的常量表达式。此常量表达式只能包含整型字面值常量(如10)、枚举常量或者常量表达式初始化的整型const对象。非const对象以及要到运行阶段才知道其值的const变量都不能用于定义数组的维数。

除非显示地提供元素初值,否则内置类型的局部数组的元素没有初始化。

显示初始化的数组不需要指定数组的维数值(不完整类型),编译器会根据列出的元素个数来确定数组的长度。

2、指针的概念很简单:指针用于指向对象。具体来说,指针保存的是另一个对象的地址。

标准翻译版:一个指针类型可能来自于一个函数类型、一个对象类型或一个不完整的类型,以上统称为被引用类型。一个指针类型描述了一个对象,它的值提供了到一个被引用类型实体的引用。

参考资料:解密数组名本质

数组与指针的艺术——深入探索C/C++数组与指针的奥秘

若指针保存0值,表明它不指向任何对象。(把int型变量赋给指针是非法的,尽管此int型变量的值可能为0。)

如果必须分开定义指针和其所指向的对象,则将指针初始化为0。因为编译器可检查测出0值的指针,程序可判断该指针并未指向一个对象。

3、指针和引用有两个重要区别:第一个区别在于引用总指向某个对象:定义引用时没有初始化是错误的。第二个重要区别则是赋值行为的差异:给引用赋值修改的是该引用所关联的对象的值,而并不是使引用与另一个对象关联。引用一经初始化,就始终指向同一个特定对象(这就是为什么引用必须在定义时初始化的原因)。

4、在表达式中使用数组名时,该名字会自动转换为指向数组第一个元素的指针(左值转换成右值)。当数组名作为数组对象定义的标识符、初始化器以及作为sizeof、&的操作数时,代表数组对象本身。

数组名不是指针。数组名的内涵在于其指代实体是一种数据结构(数组);数组名的外延在于其可以转换为指向其指代实体的指针;指向数组的指针则是一种变量类型,仅仅意味着数组的存放地址。

5、使用下标访问数组时,实际上是使用下标访问指针。

C++允许计算数组或对象的超出末端的地址,但不允许对此地址进行解引用操作。而计算数组超出末端的位置之后或数组首地址之前的地址都是不合法的。

C++语言强制要求指向const对象的指针也必须具有const特性:

const typename *ptr;    // 指向typename类型const对象的指针

typename *const ptr;    // const指针

不能使用指向const对象的指针修改基础对象,然而如果该指针指向的是一个非const对象,可用其他方法修改其所指的对象。

如果把指向const的指针理解为“自以为指向const的指针”,这可能会对理解有所帮助。

6、typedef string *pstring;

const pstring cstr;

声明const pstring时,const修饰的是pstring的类型,这是一个指针。因此,该声明语句应该是把cstr定义为指向string类型对象的cosnt指针,这个定义等价于:

string *const cstr;

7、字符串字面值的类型就是const char类型的数组。

C++虽然不允许定义长度为0的数组变量,但明确指出,调用new动态创建长度为0的数组是合法的。用new动态创建长度为0的数组时,new返回有效的非零指针。该指针与new返回的其他指针不同,不能进行解引用操作,因为它毕竟没有指向任何元素。

c_str返回的数组(const char [])并不保证一定是有效的,接下来对st2的操作有可能会改变st2的值,使刚才返回的数组失效。如果程序需要持续访问该数据,则应该复制c_str函数返回的数组。

8、严格地说,C++中没有多维数组,通常所指的多维数组其实就是数组的数组。

多维数组转换而成的指针类型应该是指向第一个内层数组的指针。

9、typedef int int_array[4];

int_array *ip = ia;    // int_array指针指向包含四个int元素的数组一行

10、ptrdiff_t与size_t类型一样,也是一种与机器相关的类型,在cstddef头文件中定义。size_t是unsigned类型,而ptrdiff_t则是signed整型。