White OwlИмя массива любой размерности это константный указатель на первую ячейку массива. Функция должна принимать указать определенного типа, а в вызове просто указываешь имя массива. Функция сама должна знать сколькомерный он. Но с точки зрения компилятора он всегда будет одномерным.
Нет, массив и указатель это совершенно разные типы, которые не имеют ничего общего.
Тем не менее, компилятор всегда заменяет тип аргумента функции с "массив" на "указатель на элемент", сохраняя тип элемента. Так что если бы мы написали
1.
2.
3.
void foo(int arg[ 10 ][ 10 ]){
...
}
Компилятор заменит тип arg c int[10][10] на тип *int[10].
Но автоконверсия с типа на тип не означает идентичности типов. int в double тоже автоконвертируется, и что? int - это double?
Тем не менее массивы и указатели имеют разный linkage, так что мы не можем написать в *.h файле
а в *.cpp
Выскочит ошибка линковки, поскольку линкер не найдет символа foo, имеющего тип char[].
По поводу топика...
В общем, на эту тему есть два подхода - Pure C и C++
C не проверяет границы массива, так что можно нахимичить такую вешь:
struct IntegerArray {
int elementCount;
int arr[1];
};
Нам нужен массив со 100 элементами
struct IntegerArray* ia = (struct IntegerArray*)_alloca(sizeof(struct IntegerArray) + sizeof(int) * 100 )
ia->elementCount = 100;
Поскольку С не проверяет выхода за границы массива мы можем свободно юзать элементы с индексами 0 - 99, ибо свободная память есть. Для штампования таких структур можно написать макрос.
В С++ более предпочтителен строгий контроль, и лучше использовать чего - то типа std::vector, оверхед будет небольшой.
