数组指针

在 C++ 编程中，指针和数组是两个非常基础且重要的概念。数组指针（Pointer to Array）是指向数组的指针，它们在多维数组、动态内存分配、函数参数传递等场景中发挥了重要作用。

一、什么是数组指针？

数组指针是一个指向整个数组的指针，而不是单个元素的指针。它的用途在于处理更复杂的数组操作，尤其是多维数组和需要作为参数传递数组的场景。

与指向单个元素的指针不同，数组指针是指向数组类型的指针，而不是基本类型。例如，一个指向 int[10] 的数组指针并不是 int*，而是 int (*)[10]。这在需要处理多个维度的数据结构时尤为重要。

二、数组指针的声明

数组指针的声明形式比普通指针稍微复杂，需要同时指定数组的类型和维度。在声明时，需要通过括号明确指针与数组的关系，否则编译器将其解释为错误的类型。

2.1 一维数组指针的声明

1

int (*ptr)[10];  // 声明一个指向包含10个 int 类型元素的数组的指针

在这里，ptr 是一个指向包含 10 个 int 元素的数组的指针。括号 () 用于区分 ptr 是指向数组的，而不是指向单个 int 元素的普通指针 int* ptr。

2.2 多维数组指针的声明

当处理多维数组时，数组指针可以指向整个二维数组的一行或者整个数组：

1

int (*ptr2D)[4];  // 声明一个指向含有4个 int 元素的二维数组的指针

对于更高维的数组，声明时需要明确所有维度。

三、数组指针的初始化

数组指针的初始化是通过指向已有的数组进行的。这意味着在声明数组指针后，我们可以通过现有数组的地址进行初始化。

1
2

int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
int (*ptr)[10] = &arr;  // ptr 指向数组 arr 的地址

注意，这里使用 &arr 来获取数组的地址，而不是 arr。因为 arr 本身是指向数组第一个元素的指针，而 &arr 是整个数组的地址，符合 ptr 的类型 int (*)[10]。

四、使用数组指针

数组指针的主要作用是在操作数组时能够高效处理复杂的数据结构。数组指针可以用来访问、遍历数组元素，特别是在多维数组的场景中更加实用。

4.1 访问数组元素

通过数组指针访问数组元素时，使用解引用操作符 * 来获取数组，然后再通过索引来访问具体的元素。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

#include <iostream>

int main() {
    int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
    int (*ptr)[10] = &arr;

    std::cout << "Element at index 0: " << (*ptr)[0] << std::endl;
    std::cout << "Element at index 5: " << (*ptr)[5] << std::endl;

    return 0;
}

这里，(*ptr)[i] 用于访问数组 arr 中的元素。

4.2 遍历数组

数组指针可以用于遍历整个数组：

1
2
3

for (int i = 0; i < 10; ++i) {
    std::cout << (*ptr)[i] << " ";
}

这段代码遍历并输出数组中的每个元素。

五、多维数组与数组指针

数组指针在处理多维数组时显得尤为强大。多维数组实际上是数组的数组，数组指针的使用可以简化对多维数组的访问。

5.1 声明指向二维数组的指针

1
2
3
4
5
6
7

int arr[3][4] = {
    {1, 2, 3, 4},
    {5, 6, 7, 8},
    {9, 10, 11, 12}
};

int (*ptr)[4] = arr;  // 声明一个指向包含 4 个 int 元素的二维数组的指针

此时，ptr 是指向数组 arr 中每一行的指针，每一行包含 4 个 int 元素。

5.2 访问二维数组的元素

通过数组指针，遍历和访问二维数组变得更加方便。

1
2
3
4
5
6

for (int i = 0; i < 3; ++i) {
    for (int j = 0; j < 4; ++j) {
        std::cout << ptr[i][j] << " ";
    }
    std::cout << std::endl;
}

这种方式可以高效地处理二维数组中的每个元素。

六、将数组指针作为函数参数

在将多维数组作为参数传递给函数时，数组指针极为有用。通过数组指针传递多维数组，可以避免直接传递数组的复杂性，提高代码的灵活性。

6.1 将二维数组指针传递给函数

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

void printArray(int (*ptr)[4], int rows) {
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < 4; ++j) {
            std::cout << ptr[i][j] << " ";
        }
        std::cout << std::endl;
    }
}

int main() {
    int arr[3][4] = {
        {1, 2, 3, 4},
        {5, 6, 7, 8},
        {9, 10, 11, 12}
    };

    printArray(arr, 3);  // 将二维数组的指针传递给函数
}

在这个例子中，函数 printArray 接受一个指向包含 4 个 int 元素的数组的指针 int (*ptr)[4]，并使用该指针遍历二维数组的内容。

七、常见的错误与注意事项

• 指针与数组大小的匹配：数组指针在声明时必须包含数组的大小信息，例如 int (*ptr)[10]。如果数组的维度与指针声明不匹配，编译器会报错。

• 数组越界：在使用数组指针时，确保访问的索引在合法范围内，否则可能会导致内存访问错误，进而引发未定义行为。

• 内存布局的理解：理解数组在内存中的布局对于正确使用数组指针至关重要。特别是在多维数组中，数组指针操作的对象是整行或整列，而不是单个元素。