Пакет параметров шаблона

Синтаксис объявления вариативного шаблона tuple с пакетом параметров Values:

template<typename... Values>
class tuple;

В качестве элементов пакета параметров шаблона могут выступать типы данных (типовые параметры), параметры, не являющиеся типами (нетиповые параметры) и шаблонные параметры шаблонов[4].

Когда в пакете параметров определяются его элементы он разворачивается в последовательность из нулевого или большего числа аргументов[5].

Поведение пакета параметров и его значение для компилятора эквивалентно обычным параметрам, однако он рассматривается как совокупность любого количества своих элементов. Пакеты параметров, которые не являются обобщёнными типами могут представлять из себя композицию любого числа аргументов соответствующего им типа. В первичных классах шаблонов, шаблонах псевдонимов и шаблонах переменных допускается иметь только один пакет параметров шаблона. Если он присутствует, то его позиция в списки аргументов обязательно должна быть последней. В шаблонах функций ограничения не такие строгие: допускается использование множественных пакетов, разрешено их произвольное расположение, лишь бы каждый аргумент шаблона после пакета мог быть выведен или имел значение по умолчанию[1].

Для определения количества элементов в списке пакета параметров шаблона предназначен оператор sizeof..., который был введён стандартом языка C++11[6]. Начиная со стандарта C++17 имеется возможность свёртки пакета параметров — массового применения любой бинарной операции ко всем его элементам[7].

• Д. Вандевурд, Н. Джосаттис, Д. Грегор. Шаблоны C++. Справочник разработчика = C++ Templates. The Complete Guide. — 2-е. — СПб. : «Альфа-книга», 2018. — 848 с. — ISBN 978-5-9500296-8-4.
• M. Olsson. C++17 Quick Syntax Reference: A Pocket Guide to the Language, APIs and Library. — Third Edition. — Apress, 2018. — ISBN 978-1-4842-3599-7. — doi:10.1007/978-1-4842-3600-0.