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

@IchimaruGin · Регистрация: 14.07.2013

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

C++
1
2
3
template <typename T, size_t N> 
size_t ArraySize(const T (&)[N])
{ return N; }

объясните что здесь происходит.
из всего этого интересует как это расшифровуется

C++
1
const T (&)[N]

@Nick Alte · 08.03.2016, 14:42

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

@IchimaruGin · 08.03.2016, 14:51 **[ТС]**

а как обращаться к елементам этого массива? там же нет имени. как такое вобще возможно?

@hoggy · 08.03.2016, 14:55

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

как такое вобще возможно?

ловкость рук, и никакого мошенничества:

C++
1
2
3
4
5
6
template <typename T, size_t N> 
size_t ArraySize(const T (&ar)[N])
{ 
    auto& value = ar[0];
    return N; 
}

@Nick Alte · 08.03.2016, 14:56

Да, аргумент безымянный. Но ведь функции и не надо обращаться к элементам, они ей неинтересны. И даже тип элементов (тот, который T) ей неинтересен и не нужен.
Ей нужно знать только размер массива, а он автоматически выводится из полного типа того, что будет передано в функцию.

Новые блоги и статьи Все статьи Все блоги /
модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ
Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .	Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	08.03.2016, 14:42
	Сообщение было отмечено IchimaruGin как решение Решение Это ссылка на массив, содержащий N элементов типа T. Ещё бы constexpr к этой функции приписать для полного комплекта... Ну а если полностью, то это функция, вычисляющая размер массива во время компиляции. Она получает на вход массив (указатель, понятное дело, отпадает), причём тип T и число N выводятся автоматически, из входного аргумента. 1

@IchimaruGin 82 / 82 / 44 Регистрация: 14.07.2013 Сообщений: 410
	08.03.2016, 14:51 [ТС]
	а как обращаться к елементам этого массива? там же нет имени. как такое вобще возможно? 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	08.03.2016, 14:56
	Да, аргумент безымянный. Но ведь функции и не надо обращаться к элементам, они ей неинтересны. И даже тип элементов (тот, который T) ей неинтересен и не нужен. Ей нужно знать только размер массива, а он автоматически выводится из полного типа того, что будет передано в функцию. 1

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

Решение