@tnk500

Передача двумерного массива функции

Уже в который раз натыкаюсь на тему об ошибке передачи двумерного массива в функцию (либо при преобразовании типов, либо при индексации элементов). Так вот, сейчас я, фактически, перепишу страницу из "Языка программирования С++" от Сами-Знаете-Кого, так что если вы действительно хотите разобраться с фокусами С++, достаньте и прочтите эту книгу.

Когда вы пишите так:
Компилятор ожидает, что вы передадите указатель на указатель, но (во всяком случае у меня, а я пользуюсь VS 2013) передавая двумерный массив так:
Или так:
Компилятор откажется делать свою работу, в первом случае жалуясь на фактический аргумент типа int[3][3] (допустим, у нас матрица 3-го порядка), а во втором случае — на int(*)[3], которые пытаются выставить за int**.

Такое объявление тоже не сработает:
А вот такие вполне сработают:
Но ведь тогда нужно знать размер массива (или хотя бы всех кроме первой размерностей) до компиляции программы!

В общем, решением является следующее:
Теперь пара-тройка замечаний:

1. В ранних компиляторах и в языке Си передавать массивы через двойной указатель можно, но ошибку времени исполнения схватить можно запросто (из-за access violation, скорее всего).
2. А вообще вы пользуетесь языком С++, в котором есть прекрасный класс vector<>, так что если вы пишите обычную программу (у которой нет серьезных ограничений по памяти/времени), пользуйтесь им.
3. Массивы строк (char* strs[]) передавать через двойной указатель можно, поскольку там в качестве последнего элемента выступает '\0', а все функции обработки строк стандартной библиотеки обрабатывают строки до этого символа.

0

Croessmah

tnk500,

1

@tnk500

И разумеется, я забыл о динамических массивах. В них передача через двойной (в зависимости от размерности) указатель является по умолчанию.

0

Croessmah

Вы забыли не об этом, а о том, что МАССИВ ЭТО НЕ УКАЗАТЕЛЬ!

1

@Mr.X

Страуструп-то и одномерные в С++ не рекомендует использовать. Не понимаю этой любви к этому недотипу, да еще из другого языка, да еще и наворачиванию многомерных.

0

Croessmah

обратная совместимость и т.д.

0

@tnk500

Croessmah, конечно, иначе и ошибок, мною описанных, не было бы. И операция new возвращает указатель на выделенный элемент(-ы) в куче. Честно говоря, был бы благодарен, если бы вы пояснили смысл вашего высказывания

0

Croessmah

0

@tnk500

Croessmah, простите, но я где-то говорил, что массивы и указатели — одно и то же?) Я писал, что при передаче через обычный (общий) двойной указатель (int**) двойного массива выйдет ошибка компиляции, что чуть намекает на мою позицию. Ваш же пример специфицирует тип указателя до указателя на массив с тремя элементами, что вполне законно для целей указания на массив фиксированной длины. Этот же указатель можно передать функции, ожидающей указатель на массив такой длины.

0

@hoggy

речь не об этом.
речь о том, что когда заходит речь о передаче массивов,
то всегда заходит речь об указателях.

в итоге в неокрепших деццких мозгах формируется каша.

например такая:
а потом они вырастают,
но продолжают наивно верить в "динамические массивы",
подразумевая при этом указатель.

0

@tnk500

hoggy, но ведь не будете же вы называть динамический массив указателем на область памяти, выделенную во время исполнения? Да и называют скорее всего по привычке, в других распространенных ЯП динамический массив массивом и называется, вот и здесь указатель на дин. память дин. массивом и называют. А на что шарперам/явистам тонкости в типизации статических (обычных, не обязательно со словом static) и "динамических" массивов? Исправят параметризацию однажды, и забудут об этом.

0

@hoggy

я - нет.

но многие (особенно новички), в том числе, на этом форуме - называют.

0