Почему передача по ссылке не работает, только по указателю?

@anti-k · Регистрация: 17.07.2015

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
#include<windows.h>
#include<ctime>
using namespace std;
void input(int*,int);
int main()
{
srand(time(0));
const int n=10;
int arr[n];
input(arr,n);
return 0;
}
void input(int arr[],int k){
    for(int i=0;i<k;i++){
    arr[i]=rand()%2;
    cout<<" "<<arr[i];
}
}

@ОгУрЕц · 06.08.2015, 20:59

Не по теме:

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

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

- когда ты вделяешь нью для строки память аллоцируется для этой строки совсем в другом месте чем предыдущая
hoggy, правда считаешь что стркои будут лежать по порядку в одном блоке

C++
1
2
3
int ** arr = new int*[5];
for( int i = 0; i < 5; i++ )
      arr[i] = new int[8];

?

hoggy, вот код чтобы снять дискуссию

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iomanip>
#include <iostream>
using namespace std;
 
int main(){
    int ** arr = new int*[5];
    for( int i = 0; i < 5; i++ ){
      arr[i] = new int[8];
      cout<<hex<<arr[i]<<endl;
    }
 
    return 0;
}

http://codepad.org/6L01ZOJ8

0x9985470
0x99855b8
0x99855f8
0x9985638
0x9985678

@DrOffset · 06.08.2015, 21:11

Не по теме:

ОгУрЕц, в твоем коде нет двумерных массивов. У тебя сначала выделяется память для одномерного массива указателей, а потом в него записываются значения адресов одномерных же массивов double. Это эмуляция двумерного массива. Вот, собственно, на эту тему уже было очень подробное объяснение: Работа с двухмерным динамеческим массивом через указатель, интересное начинается с 11 сообщения.

@castaway · 06.08.2015, 21:15

Не по теме:

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

в твоем коде нет двумерных массивов.

Немного отходя от темы, что по вашему есть двумерный массив?

@DrOffset · 06.08.2015, 21:31

Не по теме:

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

Немного отходя от темы, что по вашему есть двумерный массив?

Любой массив - это непрерывнй блок памяти, согласно стандарту С++.

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T.

Следовательно, двумерный массив с точки зрения языка С++ - это такой массив, где T (тип элемента) тоже является массивом. Отсюда следует, что языковые многомерные массивы, т.е. массивы, которые поддерживаются типизацией языка С++, всегда непрерывны в памяти.
А вот то, что выше привели, в пример языковым массивом не является, хотя обладает той же семантикой. Т.е. это многомерный массив только по поведению, но не по сути.
Об этом как раз TheCalligrapher в той теме говорил, не смотря на жесткое непонимание и троллинг со стороны оппонента.

@castaway · 06.08.2015, 21:34

Не по теме:

мой вопрос вроде немного иначе звучал.

@DrOffset · 06.08.2015, 21:36

Не по теме:

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

мой вопрос вроде немного иначе звучал.

Мое понимание совпадает с определением, которое дается в стандарте, п. 8.3.4.
Если я все еще не ответил на твой вопрос, то предлагаю его перефразировать, а то я пока что не вижу что еще можно добавить здесь.

@ОгУрЕц · 06.08.2015, 21:47

DrOffset, в моём коде из поста 61 динамический двумерный массив, мне интересно вы знаете иные способы его задания?Я лично нет.

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

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

Любой массив - это непрерывнй блок памяти, согласно стандарту С++.

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

Сообщение от ОгУрЕц

int * MyMatrix::operator[](size_t row){
* * * return ptr + n_in_row*row;
}
int p = matrix[y][x];

- у вас есть к этому замечания?Поясните вашу позицию.

@DrOffset · 06.08.2015, 22:00

Сообщение от ОгУрЕц

в моём коде из поста 61 динамический двумерный массив

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

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T

В многомерных массивах все тоже самое, но типом элемента являются другие массивы. Непрерывность не пропадает. Товарищ Hoggy знает это, поэтому сказал

двухмерные массивы и есть "один блок памяти".

Сообщение от ОгУрЕц

мне интересно вы знаете иные способы его задания

Да.

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iomanip>
#include <iostream>
using namespace std;
 
int main()
{
    int (*arr)[8] = new int[5][8];
    for( int i = 0; i < 5; i++ ){
      cout<<hex<< &arr[i]<<endl;
    }
    delete [] arr;
}

http://rextester.com/MCGBV32496
Вот это настоящий двумерный массив, выделенный в динамической памяти. И память его непрерывна.

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

Сообщение от ОгУрЕц

у вас есть к этому замечания?Поясните вашу позицию.

ОгУрЕц, у меня замечания только по форме. Когда Hoggy говорит о непрерывности многомерных массивов, он имеет в виду массивы языка С++, а не эмуляцию их в runtime. Вот и все. Поэтому возражать на его цитату о языковых массивах кодом с эмуляцией - не совсем справедливо.

@castaway · 06.08.2015, 22:08

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

Вот это настоящий двумерный массив, выделенный в динамической памяти.

Кхм.. по стандарту языка это не двумерный массив.

@DrOffset · 06.08.2015, 22:15

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

Кхм.. по стандарту языка это не двумерный массив.

Аргументы?

Я пока свои приведу:
5.3.4:

The new-expression attempts to create an object of the type-id (8.1) or new-type-id to which it is applied.

type-id в данном случае это int[5][8]
int[5][8] - это тип массива. Значит new в данном случае создает объект типа int[5][8] то есть multidimensional array c размерностями 5 и 8, проще говоря - двумерный массив.

@castaway · 06.08.2015, 22:29

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

Аргументы?

8.3.4.₃ When several “array of” specifications are adjacent, a multidimensional array is created;

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

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

Следовательно

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

Значит

Если уж и следовать стандарту, то до конца. Я в нём не заметил никаких "Следовательно" и "Значит".

@DrOffset · 06.08.2015, 22:35

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

Только это в стандарте определяет многомерный массив.

When several “array of” specifications are adjacent, a multidimensional array is created;

Ну и? Разве в записи

C++
1
int [5][8]

нет этого

several “array of” specifications are adjacent

?

@castaway · 06.08.2015, 22:40

В этой записи:

C++
1
int (*arr)[8]

нет этого.

@DrOffset · 06.08.2015, 22:42

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

В этой записи нет этого.

Конечно нет, это ведь не массив. Это указатель на массив.

@hoggy · 06.08.2015, 22:46

Сообщение от ОгУрЕц

- когда ты вделяешь нью для строки память аллоцируется для этой строки совсем в другом месте чем предыдущая
hoggy, правда считаешь что стркои будут лежать по порядку в одном блоке

когда я выделяю память по нью,
я правда не считаю это массивом.

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

@castaway · 06.08.2015, 22:46

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

Конечно нет, это ведь не массив. Это указатель на массив.

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

Вот это настоящий двумерный массив

Пожалуй на этом и закончим.

@hoggy · 06.08.2015, 22:47

Сообщение от ОгУрЕц

динамический двумерный массив

на языке с++ не существует "динамических массивов"

@DrOffset · 06.08.2015, 22:54

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

Пожалуй на этом и закончим.

Ты не прав. При чем тут указатель-то? Речь ведь о new.

Еще раз

The new-expression attempts to create an object of the type-id (8.1) or new-type-id to which it is applied.

Дословно: выражение new делает попытку создания объекта типа type_id или new-type-id
Естественно у объекта такого нет имени. А при возврате массив по правилам языка приводится к указателю. Что-то здесь новое я сказал? Ты должен это знать, я не верю, что ты этого не знаешь.

@ОгУрЕц · 06.08.2015, 22:55

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

на языке с++ не существует "динамических массивов"

- Святые угодники, я не хочу продолжать беседу дальше https://ru.wikipedia.org/wiki/Динамический_массив

@smartpointer · 06.08.2015, 22:57

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

на языке с++ не существует "динамических массивов"

разве std::vector нельзя назвать динамическим массивом ? Хогги у вас какой-то персональный подход к языку - бросьте вы это заучивание гуманитарно-технической лексики

Новые блоги и статьи Все статьи Все блоги /
Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .
Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .

@DrOffset
	06.08.2015, 21:11
	Не по теме: ОгУрЕц, в твоем коде нет двумерных массивов. У тебя сначала выделяется память для одномерного массива указателей, а потом в него записываются значения адресов одномерных же массивов double. Это эмуляция двумерного массива. Вот, собственно, на эту тему уже было очень подробное объяснение: Работа с двухмерным динамеческим массивом через указатель, интересное начинается с 11 сообщения. 0

@castaway
	06.08.2015, 21:34
	Не по теме: мой вопрос вроде немного иначе звучал. 0