Массив заданной длины как параметр функции

@d7d1cd · Регистрация: 30.06.2011

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

Приветствую всех. Объясните мне, что происходит с выделением памяти при вызове функции foo в следующем коде:

C++
1
2
3
4
5
6
7
8
9
10
11
12
void foo(char arr[5])
{
  for (int i = 0; i < sizeof(arr); i++)
    printf("%c", arr[i]);
  printf("\n");
}
 
int main()
{
  char* str = "hello";
  foo(str);
}

Очевидно, указателю arr будет присвоено значение указателя str. Но непонятно что происходит в части размерности 5 массива arr.
Пока я понимаю это так, что при вызове функции foo на стеке будет выделено 5 байт памяти, но указателю arr не будет присвоен адрес начала этой памяти, а будет присвоен адрес указателя str. 5 байт будут зря выделены?

@TRam_ · 30.06.2020, 11:46

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

С ним связано еще 2 типа

Вообще типов, аналогично связанных с int, великое множество. В C++ есть тип "ссылка на тип int" int π по смыслу сходная с разыменованным указателем, есть модификаторы константности или блокировки оптимизаций(например const int * pi - неконстантный указатель на константу, т.е. которому можно присваивать адреса то одной, то другой константы и/или переменной), есть указатели на указатели int **p; и т.д.

@d7d1cd · 30.06.2020, 11:56 **[ТС]**

Не по теме:

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

выдумывание собственной классификации в отношении возможностей ЯП

:-[ просто не знаю как это назвать. Вот и выдумываю, пытаясь донести свою мысль.

@TRam_ · 30.06.2020, 12:03

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

А, например, структурный тип struct { int a; } с ним не связан?

Не сказал бы что связан, т.к. поле типа не является модифицированным различными способами типом, а является одним из его составляющих (причём часто - одним из многих полей)

Добавлено через 5 минут
А так вообще в С++ есть возможности в том числе для операций над типами, если на момент создания логики класса или функции типы переменных не определены.Таких операций довольно много - https://en.cppreference.com/w/cpp/types

@TheCalligrapher · 02.09.2020, 21:00

Не по теме:

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

Нет.

Разве что в современном С есть лишь малоизвестная фича: объявление

C
1
void foo(char arr[static 5])

по-прежнему объявляет arr как указатель char * (и никакого выделения памяти под массив не делается). Но при этом данное объявление говорит компилятору, что он может смело полагать, что arr указывает на начало массива из как минимум 5 элементов.

В современном С, кстати, есть еще одна необычная возможность, в которой размер массива в объявлении параметра функции "не совсем игнорируется". Это использование выражений с побочными эффектами при объявлении VLA в списке параметров

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <stdio.h>
 
int n = 0;
 
void foo(int a[++n])
{
  printf("%d\n", n);
}
 
int main()
{
  foo(0);
  foo(0);
  foo(0);
}

http://coliru.stacked-crooked.... a5ad4305f1

На тип параметра это не влияет, т.е. параметр является обычным указателем, но тем не менее при каждом вызове foo значение n будет увеличиваться. Это уже, конечно, полнейший сюр, но тем не менее такая особенность в С есть.

Новые блоги и статьи Все статьи Все блоги /
Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .	Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .	Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .
Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .	сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений	сукцессия 14. Обновленная схема модели anaschu 28.06.2026 ГЛОБАЛЬНАЯ ОПИСАТЕЛЬНАЯ СПЕЦИФИКАЦИЯ ЭКОСИСТЕМНОЙ МОДЕЛИ «SOIL CHEMISTRY & MYCORRHIZA 2. 0» https:/ / ibb. co/ NnkGpfMd Представленная интегрированная схема описывает непрерывную нелинейную. . .