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

@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;
}

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

Новые блоги и статьи Все статьи Все блоги /
Сукцессия 20. Война автоботов. Делаем ставки. Лёд против "пш-пш!". anaschu 11.07.2026 Битва ИИ в ризосфере: Как мы скрестили жесткие ОДУ, закон Фика и «подземный шантаж» Уважаемые коллеги! Хочу поделиться уникальным опытом ведения междисциплинарной компьютерной разработки. Прямо. . .	Сукцессия 19. Какие выводы я сделал из модели? Часть 2.Внутримикоризный стехиометрический буфер и хроно-дискретные зоны экспансии anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования	Сукцессия 18. Какие выводы я сделал из войны грибов с деревьями? Часть 1- рассказ и немного про термины anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования Система ОДУ описывает динамику изменения массы различных компонентов системы во времени. Ключевой. . .	Просветление в 5 секунд kumehtar 10.07.2026 Андрей Веретенников выдал фразу недавно: "Вам не обязательно кем-то себя считать"
Эксперимент с картинкой-обложкой на CodinGame Adler 10.07.2026 Решил на днях провести эксперимент. У меня есть аккаунт на CodinGame, ТОП-3 по РФ среди 2200 участников (в разделе соревнования по программированию ИИ-ботов). Там есть обложка, куда можно влепить. . .	GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .	Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.

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

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