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

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

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

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

Pascal

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

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

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

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

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++

#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++

#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++

a[i,j]

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

C++

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++. Не вижу здесь вопросов совместимости.

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

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	20.12.2012, 11:30	21
	palva, не понял. Вы сказали, что Сообщение от palva в языке C есть двумерные массивы и есть массивы массивов. Но в С нет массива массивов. Да, можно объявить массив указателей, но это именно массив указателей. 0

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

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,882
	20.12.2012, 11:52	23
	Сообщение от palva char это не объект там поправка Двумерный массив это последовательное расположение в памяти его элементов и никаких дополнительных указателей Там используется арифметика указателей = указатели. Двумерный, трехмерный, тысячемерный - без разницы. 0

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

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

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

@palva 4240 / 2937 / 687 Регистрация: 08.06.2007 Сообщений: 9,817 Записей в блоге: 4
	20.12.2012, 12:47	28
	Сообщение от daslex Что значит могу так считать Это значит, что это вопрос терминологии, с которым я не берусь спорить. Я готов общаться с вами на вашем языке. Сообщение от daslex А вы докажите, что массив, который содержит массив - это не массив массивов. Я могу доказать обратное. Если массив содержит массив, то все его элементы содержат некоторый массив, (поскольку элементы массива имеют один и тот же тип.) Следовательно, это массив массивов. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,882
	20.12.2012, 12:54	29
	Сообщение от taras atavin А на c/c++ нет самого понятия многомерного массива Сообщение от daslex если массив содержит массив указателей, то значит он многомерный массив Сообщение от daslex А вы докажите, что массив, который содержит массив - это не массив массивов. Сообщение от palva Я могу доказать обратное. Если массив содержит массив, то все его элементы содержат некоторый массив, (поскольку элементы массива имеют один и тот же тип.) Следовательно, это массив массивов. стоило ТС шум поднимать. Вот и выводы можно сделать В С/С++ есть понятие массива массивов. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	20.12.2012, 13:55 [ТС]	31
	Сообщение от daslex Сколько угодно называйте бегемота гиппопотамом, от этого он не перестанет быть бегемотом Но и гиппопотамом тоже не перестанет. Добавлено через 2 минуты Сообщение от daslex В С/С++ есть понятие массива массивов. Как и в паскале. Но паскаль позволяет писать, как хочешь. 0

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

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

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,882
	20.12.2012, 15:06	34
	Сообщение от taras atavin Но паскаль позволяет писать, как хочешь. мне одно удобно делать в Паскале другое удобно в С++ Паскаль позволяет писать по другому, но ни в коем случае не как хочешь. Потому что это разные языки и каждый заточен под свои задачи. мотивация Страуструпа у Страуструпа в книжке написана. Там Введение есть 0

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

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	20.12.2012, 15:13	36
	Сообщение от taras atavin интересна именно мотивация Страуструпа Ну думаю она очевидна - совместимость с С - было бы странно, если бы массивы в С++ "работали" иначе, чем в С. 0

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

@palva 4240 / 2937 / 687 Регистрация: 08.06.2007 Сообщений: 9,817 Записей в блоге: 4
	20.12.2012, 15:43	39
	Сообщение от taras atavin a[i,j] Это означает одно и то же, что в C, что в C++. Не вижу здесь вопросов совместимости. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	20.12.2012, 15:47 [ТС]	40
	На паскале запятая тоже разделяет параметры. И она же разделяет индексы. Но в чём здесь отдельность? Два индекса - это два операнда, операнд есть параметр оператора, запятая на c/c++ разделяет параметры. Где же здесь намёк на отдельный случай? Добавлено через 45 секунд Сообщение от palva Это означает одно и то же, что в C, что в C++. Не вижу здесь вопросов совместимости. Оба языка прямо запрещают такой синтаксис. 0