Неясности в теории

@Benzema · Регистрация: 29.03.2015

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

Здравствуйте! Объясните пожалуйста почему в параметрах функции чаще всего используют указатель на массив, а не сам массив, например, void display(int *num).
И еще один вопрос, для чего нужен знак % в данной функции:rand()%1999-999. То, что это функция заполнения рандомными числами,я знаю, но вот для чего там знак % ?

@mporro · 12.10.2015, 11:42

Rius
Вот, правильные слова

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

Потому что в С++ обычные сишные массивы не являются объектами первого класса

По существу, в на низком уровне, на уровне C, вообще нет абстракции массива! Есть только последовательная память. И Вам остаётся только два варианта: обернуть эту память в свою абстракцию или оперировать низкоуровневыми возможностями -- адресами.

@sourcerer · 12.10.2015, 14:13

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

указатель на массив так же, как и ссылка на массив помнит размерности

hoggy, честно сказать, я тоже не понял, как указатель может хранить (помнить?) размер массива. Насколько я знаю, обычный сишный указатель хранит адрес и ничего более. И в случае передачи обычного сишного массива в функцию указатель хранит именно адрес первого элемента массива. Откуда ж там ещё возьмётся информация о размере массива? Вот это я никак в толк не возьму.

@DrOffset · 12.10.2015, 14:25

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

честно сказать, я тоже не понял, как указатель может хранить (помнить?) размер массива. Насколько я знаю, обычный сишный указатель хранит адрес и ничего более. И в случае передачи обычного сишного массива в функцию указатель хранит именно адрес первого элемента массива. Откуда ж там ещё возьмётся информация о размере массива? Вот это я никак в толк не возьму.

Он говорил о типизации, о времени компиляции, а не о времени исполнения.
Тип `указатель на массив` содержит в себе информацию о размере массива.

C++
1
T (*p)[N];

На основе этой информации можно, например, делать перегрузку, или выбирать специализацию шаблона.

@mporro · 12.10.2015, 17:30

DrOffset

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

Тип

К тому и вопросы пошли. Указатель -- это, всё-таки, указатель, адрес. А его типовая метка отвечает за проверку времени компиляции. Но никто ничего не хранит.

А если отвечать слишком приблизительно и расплывчато, то это всё равно, что и не отвечать.

@hoggy · 12.10.2015, 20:36

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

Как передать массив в функцию, чтобы все побочные эффекты работы с массивом внутри функции не затронули внешний контекст

там где то выше был пример передачи по значению за счет промежуточной структуры.

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

Либо пользоваться средствами нового стандарта (C++14), как это сделал hoggy (передавать ссылку или указатель и использовать ключевое слово auto).

не обязательно использовать auto.
auto - это лишь синтаксический сахар.
выше где то были мои примеры,
как получить такой же результат при помощи "классических" шаблонов.

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

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

Нет, это не то. Вы передали в функцию структуру, совершенно иной объект. Структура действительно скопируется, но это уже данные, определённые пользователем.

формально, нельзя передавать массивы по значению.
но это - не более чем формальность.

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

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

а заполнить массив новыми значениями в такой же манере получится?

в какой, в такой же?

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

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

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

верно.
ключевые слова "обычный сишный указатель".

"указатель на массив" - это не "обычный сишный указатель".

C++
1
2
3
int ar[] ={1,2};
int* p = ar; //<--- указатель на int (не намассив)
int (*pa)[2] = &ar ; //<--- указатель на массив

указатель на массив хранит информацию о природе массива в своем типе.

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

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

К тому и вопросы пошли. Указатель -- это, всё-таки, указатель, адрес. А его типовая метка отвечает за проверку времени компиляции. Но никто ничего не хранит.

указатель - это тип данных.
адрес - это значение объекта имеющего тип данных "указатель".

понятно, что "циферки" ничего не хранят.
но это не принципиально.

принципиально, что в статике можно пропасти тип указателя-на-массив,
и поиметь информацию о его размерностях.

с++ позволяет много различной нужной информации извлекать времени компиляции.

@mporro · 12.10.2015, 20:40

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

но это - не более чем формальность.

Это гораздо больше, чем формальность. Это следствие того, что абстракции массива в C просто нет. В Pascal есть массивы, например.
В C++, конечно, тоже есть массивы, выраженные уже в терминах новых для C методов "абстракции".

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

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

указатель - это тип данных.

Да, соглашусь.
Тем не менее, стоило сделать акцент именно на том, что разной длины массивы могут быть выражены разными типами данных, а не говорить, что кто-то что-то "хранит".

@hoggy · 12.10.2015, 20:44

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

что абстракции массива в C просто нет

есть там все.
есть моральный тип массива.
есть моральный тип указателя-на-массив.

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

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

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

тип данных именно хранит информацию о типе элементов,
и обо всех размерностях массива, на который он указывает

@mporro · 12.10.2015, 20:50

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

есть моральный тип указателя-на-массив.

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

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

тип данных именно хранит информацию о

В С тип данных ничего не "хранит". По факту Вы можете только сравнить типовые метки, может быть компилятор даже не использует чисел в описании этих меток. Употреблять столь сильное слово -- пагубная страсть.

@hoggy · 12.10.2015, 21:01

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

Но Ваши иллюзии точно не стоит транслировать новичкам, которые потом будут только путаться в относительно простом языке, выискивая там несуществующие массивы.

мои иллюзии описаны в стандарте языка си.

все что осталось понять новичку:

1.
что массив может неявно каститься к указателю на свой первый элемент.
но сам по себе такой указатель не имеет нималейшего отношения к массивам.

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

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

такой тип данных несет в себе информацию о природе массива,
на который он указывает.

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

В С тип данных ничего не "хранит"

все он хранит.
сишка в этом смысле отличается лишь раздолбайством:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include  <stdio.h>
 
// <--- expected ‘const int (*)[3]’ but argument is of type ‘const int (*)[2]’
void foo( const int (*pArr)[3] )
{
    for(size_t n=0;n<3;++n)
        printf("%d, ", (*pArr)[n] );    
}
 
int main(void)
{
    printf("Hello, world!\n");
    
    const int a[]={1,2};
    
    // <--- warning: passing argument 1 of ‘foo’ from incompatible pointer type
    foo(&a);
    
    return 0;
}

а так же невозможностью использовать статическую информацию времени компиляции.

Новые блоги и статьи Все статьи Все блоги /
Особенности gif сгенерированных в Си russiannick 21.10.2026 Рассмотрим генерацию gif файлов, которые в Си имеют свои особенности. Gif представляет собой графический формат популярный в интернете. Посмотрим на палитру. Gif файл сгенерированный в си отличается. . .	FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .

@Benzema 0 / 0 / 0 Регистрация: 29.03.2015 Сообщений: 58

	Неясности в теории 11.10.2015, 19:55. Показов 4604. Ответов 68 Метки нет (Все метки) Здравствуйте! Объясните пожалуйста почему в параметрах функции чаще всего используют указатель на массив, а не сам массив, например, void display(int *num). И еще один вопрос, для чего нужен знак % в данной функции:rand()%1999-999. То, что это функция заполнения рандомными числами,я знаю, но вот для чего там знак % ? 0