Я видел такой код раньше:
using A = std::vector<std::vector<T>...>
где T - вариационный список аргументов шаблона. Я хотел знать, в чем разница между установкой пакета параметров в конце последней угловой скобки и первой. Например:
using B = std::vector<std::vector<T...>>;
Оба эти двух компилируются отлично, но я не знаю, в чем разница.
Может кто-нибудь объяснить? Спасибо.
В расширении пакета шаблон, предшествующий значению ..., повторяется для каждого элемента пакета, поэтому vector<T>... означает расширение в vector<T1>, vector<T2>, vector<T3>, тогда как vector<T...> означает расширение в vector<T1, T2, T3>
Если пакет параметров имеет только один элемент, они одинаковы, но рассмотрим, есть ли в пакете параметров два элемента, должно быть очевидно, что
std::vector<std::vector<T1>, std::vector<T2>>
и
std::vector<std::vector<T1, T2>>
не совпадают. Первый не будет компилироваться, вторым параметром шаблона для std::vector должен быть тип распределителя, а не вектор. Второй будет компилироваться, если T2 - тип распределителя.
При создании экземпляра A<T1, T2, T3> он расширяется до:
std::vector<std::vector<T1>, std::vector<T2>, std::vector<T3>>
Используя те же аргументы шаблона для создания экземпляра B, вы получаете:
std::vector<std::vector<T1, T2, T3>>