【笔试/面试】数组及其内存结构

从变量到数组

一个 int 类型变量，占有 4 个字节的内存（32 位机），其中第一个字节的位置，我们成为该变量的内存地址。而且，一个 int 类型的变量，它的内存结构就是“4 个 连续的字节”，如下图所示：

int main()
{   
    int a;
    cout << &a << endl;
                    // 0017FB38
}

数组变量占用内存的大小是不定的，因为不同的数组变量除了类型可以不同，还可以拥有不同个数的元素，这两点都影响它的大小。因此我们在声明一个数组变量时，除了指定其元素类型外，还需指定其长度，否则编译器无法为其分配内存空间。

如果我们要查看数组变量的地址，其实是首地址，直接输出数组名即可：

int arr[10];
cout << arr << endl;
                                // 001EFE74

我们还可以继续对数组名取地址，发现除了类型外，二者指向的内容是相同的（但意义大相径庭）：

cout << &arr << endl;
cout << boolalpha << (arr == (int* )&arr) << endl;
                                // 001EFE74
                                // true
cout << typeid(arr).name() << endl;
                                // int [10]
cout << typeid(&arr).name() << endl;
                                // int (*)[10]                              

数组内存结构

我们可以数组每一元素的地址，进而获得其内存组织的信息：

int main(int, char**)
{
    int arr[5];
    cout << "arr:\t" << arr << endl;
    for (int i = 0; i < 5; ++i)
        cout << "arr[" << i<< "]:\t"<<  &arr[i] << endl;
    return 0;
}

• （1）首先，数组名和数组第一个元素同地址
• （2）数组占据的是一段连续的线性空间（&arr[i] = arr+i*4）

数组访问越界

int arr[5] = {1, 2, 3, 4, 5};
cout << arr[5] << endl;
                             // -858993460

数组访问越界不仅没有造成编译错误，运行时也未发生程序崩溃的现象（vs2013），只不过输出的值为垃圾值。

二维数组

int arr[][3] = {{0, 1, 2}, {3, 4, 5}};
int m = sizeof(arr)/sizeof(arr[0]);
                                    // 二维数组的行数
int n = sizeof(arr[0])/sizeof(arr[1]);
                                    // 二维数组的列数

我们接着输出每一个元素的地址，进而获悉其内存组织信息：

for (int i = 0; i < m; ++i)
    for (int j = 0; j < n; ++j)
        cout << "arr[" << i << "][" << j << "]:\t" << &arr[i][j] << endl;

也即二维数组仍然是一段连续的线性空间，且以行序优先进行的组织；