Многомерный массив и массив массивов

@taras atavin · Регистрация: 24.11.2009

Студворк — интернет-сервис помощи студентам

На паскале это синонимы. Например, всё валидно:

Pascal
1
2
3
4
5
6
7
var a:array[1..n]of array[1..n]of array[1..n] of real; {объявлен одномерный массив одномерных массивов одномерных массивов реалов}
begin
        a[1,2][3]:=2; {А обращаемся к нему как к двумерному массиву одномерных массивов реалов}
        a[1][2,3]:=2; {А здесь как к одномерном массиву двумерных массивов реалов}
        a[3,4]:=a[5,5]; {И здесь как к двумерному массиву одномерных массивов реалов}
        a[1]:=a[8]; {И здесь как к одномерном массиву двумерных массивов реалов}
        a[1,2,3]:=2; {А здесь как к трёхмерному реалов}

,

Pascal
1
2
3
4
5
6
var a:array[1..n]of array[1..n,1..n] of real; {Объявлен одномерный массив двумерных массивов реалов}
begin
        a[1,2][3]:=2; {А обращаемся к нему как к двумерному массиву одномерных массивов реалов}
        a[1]:=a[8]; {И здесь как к одномерном массиву двумерных массивов реалов}
        a[1,2,3]:=2; {А здесь как к трёхмерному реалов}
        a[6][8][4]:=2; {А здесь как к одномерному массиву одномерных массивов одномерных массивов реалов}

Pascal
1
2
3
4
5
6
var a:array[1..n]of array[1..n]of array[1..n] of real; {Объявлен одномерный массив двумерных массивов реалов}
begin
        a[1,2][3]:=2; {А обращаемся к нему как к двумерному массиву одномерных массивов реалов}
        a[1]:=a[8]; {И здесь как к одномерном массиву двумерных массивов реалов}
        a[1,2,3]:=2; {А здесь как к трёхмерному реалов}
        a[6][8][4]:=2; {А здесь как к одномерному массиву одномерных массивов одномерных массивов реалов}

,

Pascal
1
2
3
4
5
var a:array[1..n,1..n]of array[1..n] of real; {объявлен двумерный массив одномерных массивов реалов}
begin
        a[1][2,3]:=2; {А обращаемся к нему как к одномерном массиву двумерных массивов реалов}
        a[1,2,3]:=2; {А здесь как к трёхмерному реалов}
        a[6][8][4]:=2; {А здесь как к одномерному массиву одномерных массивов одномерных массивов реалов}

,

Pascal
1
2
3
4
5
6
7
var a:array[1..n,1..n,1..n]of real; {объявлен трёхмерный массив реалов}
begin
        a[1,2][3]:=2; {А обращаемся к нему как к двумерному массиву одномерных массивов реалов}
        a[1][2,3]:=2; {А здесь как к одномерном массиву двумерных массивов реалов}
        a[3,4]:=a[5,5]; {И здесь как к двумерному массиву одномерных массивов реалов}
        a[1]:=a[8]; {И здесь как к одномерном массиву двумерных массивов реалов}
        a[6][8][4]:=2; {А здесь как к одномерному массиву одномерных массивов одномерных массивов реалов}

. А на c/c++ нет самого понятия многомерного массива. А теперь вопрос: почему? Почему на паскале это синонимы и почему на c/c++ существует только одно из этих двух понятий?

@gray_fox · 20.12.2012, 11:30

palva, не понял. Вы сказали, что

Сообщение от palva

в языке C есть двумерные массивы и есть массивы массивов.

Но в С нет массива массивов. Да, можно объявить массив указателей, но это именно массив указателей.

@palva · 20.12.2012, 11:40

char это не объект и операции * и [] имеют в языке предопределенное значение, хотя их можно переопределить. Массив в языке всегда реализуется как указатель на первый элемент, а элементы массива располагаются в памяти последовательно. Массив массивов это массив указателей (указатели расположены в памяти последовательно). Двумерный массив это последовательное расположение в памяти его элементов и никаких дополнительных указателей. Если при имени массива указана только часть индексов (или их вовсе нет), то компилятор интерпретирует это как указатель.

@daslex · 20.12.2012, 11:52

Сообщение от palva

char это не объект

там поправка

Двумерный массив это последовательное расположение в памяти его элементов и никаких дополнительных указателей

Там используется арифметика указателей = указатели.

Двумерный, трехмерный, тысячемерный - без разницы.

@palva · 20.12.2012, 11:54

Хотя, я не совсем прав. Если не хватает только одного индекса, то интерпретируется как указатель. Попробовал такой пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
using namespace std;
int main() {
    int ia[3][3] = {{2,3,4},{5,6,7},{8,9,0}};
    int *ip;
    int **ipp;
    ip = ia[0];
    cout << ip[1] << endl; // 3
//  ip = ia;  // не компилируется
//  ipp = ia; // не компилируется
  return 0;
}

@daslex · 20.12.2012, 12:16

Не по теме:

Сколько угодно называйте бегемота гиппопотамом, от этого он не перестанет быть бегемотом

если массив содержит массив указателей, то значит он многомерный массив и хоть убейтесь об стену, ничего не изменится

@palva · 20.12.2012, 12:24

Ну можете так считать. В таком массиве не определен диапазон второго индекса. В C# это особый сорт двумерных массивов.
Ну а C существуют настоящие массивы, реализация которых не требует хранения в памяти указателей на каждую строку массива. В них все строки имеют одинаковую длину.

@daslex · 20.12.2012, 12:31

Что значит могу так считать
А вы докажите, что массив, который содержит массив - это не массив массивов.

@palva · 20.12.2012, 12:47

Сообщение от daslex

Что значит могу так считать

Это значит, что это вопрос терминологии, с которым я не берусь спорить. Я готов общаться с вами на вашем языке.

Сообщение от daslex

А вы докажите, что массив, который содержит массив - это не массив массивов.

Я могу доказать обратное. Если массив содержит массив, то все его элементы содержат некоторый массив, (поскольку элементы массива имеют один и тот же тип.) Следовательно, это массив массивов.

@daslex · 20.12.2012, 12:54

Сообщение от taras atavin

А на c/c++ нет самого понятия многомерного массива

Сообщение от daslex

если массив содержит массив указателей, то значит он многомерный массив

Сообщение от daslex

А вы докажите, что массив, который содержит массив - это не массив массивов.

Сообщение от palva

Я могу доказать обратное. Если массив содержит массив, то все его элементы содержат некоторый массив, (поскольку элементы массива имеют один и тот же тип.) Следовательно, это массив массивов.

стоило ТС шум поднимать. Вот и выводы можно сделать В С/С++ есть понятие массива массивов.

@palva · 20.12.2012, 12:59

Ну вот массив массивов, реализуется конечно с использованием указателей, то есть указатели явно хранятся в памяти и переставлять строки можно переставляя указатели. Это бывает полезно для реализации сортировки строк.

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
using namespace std;
int main() {
    typedef int arr[3];
    arr a[3];
    a[2][2] = 8;
    cout << a[2][2] << endl; // 8
  return 0;
}

В многомерном массиве переставить строки это целая история. Отсортировать сроки будет затратнее по процессору.

@taras atavin · 20.12.2012, 13:55 **[ТС]**

Сообщение от daslex

Сколько угодно называйте бегемота гиппопотамом, от этого он не перестанет быть бегемотом

Но и гиппопотамом тоже не перестанет.

Добавлено через 2 минуты

Сообщение от daslex

В С/С++ есть понятие массива массивов.

Как и в паскале. Но паскаль позволяет писать, как хочешь.

@ForEveR · 20.12.2012, 14:39

taras atavin, Короткий ответ прост: потому что С++ это не Паскаль. И не надо сравнивать. Изучайте спокойно язык, а не задавайтесь вопросом: "почему это есть в одном языке, а в другом нет?"

@taras atavin · 20.12.2012, 14:59 **[ТС]**

Я знаю язык и для меня не проблема сделать векторный индекс, интересна именно мотивация Страуструпа.

@daslex · 20.12.2012, 15:06

Сообщение от taras atavin

Но паскаль позволяет писать, как хочешь.

мне одно удобно делать в Паскале
другое удобно в С++

Паскаль позволяет писать по другому, но ни в коем случае не как хочешь.
Потому что это разные языки и каждый заточен под свои задачи.
мотивация Страуструпа у Страуструпа в книжке написана. Там Введение есть

@taras atavin · 20.12.2012, 15:09 **[ТС]**

Что за книжка?

@gray_fox · 20.12.2012, 15:13

Сообщение от taras atavin

интересна именно мотивация Страуструпа

Ну думаю она очевидна - совместимость с С - было бы странно, если бы массивы в С++ "работали" иначе, чем в С.

@taras atavin · 20.12.2012, 15:18 **[ТС]**

А в чём будет не совместимость? Если

C++
1
a[i,j]

будет синонимично

C++
1
a[i][j]

, то компилятор спокойно проглотит программу на чистых сях с адресацией только в раздельные скобки для разных индексов, но позволит юзать и альтернативный синтаксис. Обратной же совместимости нет всё равно из-за классов.

@gray_fox · 20.12.2012, 15:40

taras atavin, и зачем, если есть "неальтернативный" синтаксис? У запятой в С++, как и в С, другое значение, выделять отдельный случай для индексации - ИМХО просто лишняя нагрузка на компилятор, у языка и так грамматика не самая простая. Основной аудитории (знакомым с С) такой способ всё равно вряд ли был нужен. Вообщем, ИМХО, полезность крайне сомнительна. Про совместимость я пожалуй некорректно выразился, просто менять\добавлять что-то в отношении индексации имело бы мало смысла.

@palva · 20.12.2012, 15:43

Сообщение от taras atavin

a[i,j]

Это означает одно и то же, что в C, что в C++. Не вижу здесь вопросов совместимости.

@taras atavin · 20.12.2012, 15:47 **[ТС]**

На паскале запятая тоже разделяет параметры. И она же разделяет индексы. Но в чём здесь отдельность? Два индекса - это два операнда, операнд есть параметр оператора, запятая на c/c++ разделяет параметры. Где же здесь намёк на отдельный случай?

Добавлено через 45 секунд

Сообщение от palva

Это означает одно и то же, что в C, что в C++. Не вижу здесь вопросов совместимости.

Оба языка прямо запрещают такой синтаксис.

Новые блоги и статьи Все статьи Все блоги /
Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .

@palva 4278 / 2970 / 693 Регистрация: 08.06.2007 Сообщений: 9,931 Записей в блоге: 5
	20.12.2012, 11:40
	char это не объект и операции * и [] имеют в языке предопределенное значение, хотя их можно переопределить. Массив в языке всегда реализуется как указатель на первый элемент, а элементы массива располагаются в памяти последовательно. Массив массивов это массив указателей (указатели расположены в памяти последовательно). Двумерный массив это последовательное расположение в памяти его элементов и никаких дополнительных указателей. Если при имени массива указана только часть индексов (или их вовсе нет), то компилятор интерпретирует это как указатель. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	20.12.2012, 12:16
	Не по теме: Сколько угодно называйте бегемота гиппопотамом, от этого он не перестанет быть бегемотом если массив содержит массив указателей, то значит он многомерный массив и хоть убейтесь об стену, ничего не изменится 0

@palva 4278 / 2970 / 693 Регистрация: 08.06.2007 Сообщений: 9,931 Записей в блоге: 5
	20.12.2012, 12:24
	Ну можете так считать. В таком массиве не определен диапазон второго индекса. В C# это особый сорт двумерных массивов. Ну а C существуют настоящие массивы, реализация которых не требует хранения в памяти указателей на каждую строку массива. В них все строки имеют одинаковую длину. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	20.12.2012, 12:31
	Что значит могу так считать А вы докажите, что массив, который содержит массив - это не массив массивов. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	20.12.2012, 14:39
	taras atavin, Короткий ответ прост: потому что С++ это не Паскаль. И не надо сравнивать. Изучайте спокойно язык, а не задавайтесь вопросом: "почему это есть в одном языке, а в другом нет?" 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	20.12.2012, 14:59 [ТС]
	Я знаю язык и для меня не проблема сделать векторный индекс, интересна именно мотивация Страуструпа. 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	20.12.2012, 15:09 [ТС]
	Что за книжка? 0

@gray_fox What a waste! 1612 / 1304 / 180 Регистрация: 21.04.2012 Сообщений: 2,735
	20.12.2012, 15:40
	taras atavin, и зачем, если есть "неальтернативный" синтаксис? У запятой в С++, как и в С, другое значение, выделять отдельный случай для индексации - ИМХО просто лишняя нагрузка на компилятор, у языка и так грамматика не самая простая. Основной аудитории (знакомым с С) такой способ всё равно вряд ли был нужен. Вообщем, ИМХО, полезность крайне сомнительна. Про совместимость я пожалуй некорректно выразился, просто менять\добавлять что-то в отношении индексации имело бы мало смысла. 0