Во-первых, массив - это не указатель, массив - это массив. Хотя он может в некоторых ситуациях неявно преобразовываться к указателю на свой первый элемент.
Во-вторых, n
-мерный массив, n > 1
, на самом деле является одномерным массивом, элементами которого являются n-1
-мерные массивы.
int arr[2][5]={{0, 1, 2, 3, 4}, {5, 6, 7, 8, 9}};//Массив из двух элементов типа (массив из пяти элементов типа int)
int (*p1)[2][5]; //Указатель на массив из двух элементов типа (массив из пяти элементов типа int)
int (*p2)[5]; //Указатель на массив из пяти элементов типа int
int* p3; //Указатель на int
p1 = &arr; //p1 указывает на массив arr;
p2 = &arr[0]; //p2 указывает на первый элемент массива arr, т.е. на массив из пяти элементов типа int
p3 = &arr[0][0]; //p3 указывает на первый элемент первого подмассива массива arr
cout << sizeof(arr) << " " << sizeof(*p1) << endl; //2 * 5 * sizeof(int)
cout << sizeof(arr[0]) << " " << sizeof(*p2) << endl; //5 * sizeof(int)
cout << sizeof(arr[0][0]) << " " << sizeof(*p3) << endl; //sizeof(int)
cout << sizeof(p1) << " " << sizeof(p2) << " " << sizeof(p3) << endl; //Вывод зависит от реализации. Как вариант, "8 8 8" или "4 4 4".
//Массив может быть неявно преобразован к указателю на свой первый элемент:
arr + 1; //Указатель на второй подмассив массива arr
*(arr + 1) + 4; //Указатель на 5 элемент второго подмассива массива arr
cout << *(*(arr + 1) + 4) << endl; //9
В-третьих, массив не может быть параметром функции. Всё что похоже на массив в параметре функции на самом деле интерпретируется как указатель на элемент массива.
void f(int* arr0, int arr1[], int arr2[5], int arr3[2][5], int (* arr4)[2][5])
{
//arr0, arr1 и arr2 имеют одинаковый тип - указатель на int
//arr3 - указатель на массив из пяти элементов типа int.
//arr4 - указатель на массив из двух элементов типа (массив из пяти элементов типа int)
cout <<
is_same<decltype(arr0), int *>::value << //1
is_same<decltype(arr1), int *>::value << //1
is_same<decltype(arr2), int *>::value << //1
is_same<decltype(arr3), int (*)[5]>::value << //1
is_same<decltype(arr4), int (*)[2][5]>::value << endl; //1
}