Pack в structured bindingsPack in Structured Bindings

P1061 добавляет к синтаксису structured bindings возможность одного элемента списка быть пакетом, помеченным многоточием: auto [first, ...rest] = some_tuple;. Здесь first связывается с первым элементом по имени как обычно, а rest становится параметрическим пакетом, содержащим все оставшиеся элементы — пригодным для использования в fold-выражении (../cpp17/fold-expressions.html) или для дальнейшего разворачивания в другом variadic-контексте.P1061 adds to the structured-bindings syntax the ability for one element of the binding list to be a pack, marked with an ellipsis: auto [first, ...rest] = some_tuple;. Here first binds to the first element by name as usual, and rest becomes a parameter pack containing all remaining elements — usable in a fold expression (../cpp17/fold-expressions.html) or for further expansion in another variadic context.

// нужно либо знать точную арность заранее, либо городить std::apply + index_sequence// you either need the exact arity in advance, or resort to std::apply + index_sequence
auto t = std::make_tuple(1, 2, 3, 4);
auto [a, b, c, d] = t;  // работает только если арность известна и фиксирована здесь же// only works if the arity is known and fixed right here
auto sum = b + c + d;  // "все кроме первого" нужно перечислить вручную по именам// "everything but the first" must be listed by name manually

auto t = std::make_tuple(1, 2, 3, 4);
auto [first, ...rest] = t;  // first == 1, rest — пакет {2, 3, 4}// first == 1, rest is the pack {2, 3, 4}
auto sum = (rest + ...);       // fold-выражение прямо над пакетом из structured binding// a fold expression directly over the structured-binding pack

Отсутствие пакетов в structured bindings было конкретным, ощутимым пробелом:The absence of packs in structured bindings was a specific, tangible gap:

В auto [first, ...rest] = std::make_tuple(1, 2, 3, 4); rest становится пакетом из {2, 3, 4}, который дальше разворачивается через fold-выражение: auto sum = (rest + ...);. Разрешён ровно один пакет на структурированное связывание — как и с обычными параметрическими пакетами функций, где после пакета не может идти ещё один пакет. Точное правило о том, где именно в списке может стоять пакет (только в конце, или где угодно при условии единственности) — деталь формулировки предложения, которая на момент написания ещё может уточняться; здесь стоит хеджировать честно, а не утверждать конкретную финальную позицию как гарантированную.In auto [first, ...rest] = std::make_tuple(1, 2, 3, 4);, rest becomes a pack of {2, 3, 4}, which is then expanded via a fold expression: auto sum = (rest + ...);. Exactly one pack is permitted per structured binding — much like ordinary function parameter packs, where no further pack may follow a pack. The exact rule for where in the list a pack may appear (only at the end, or anywhere provided it's the sole one) is a proposal wording detail that, as of this writing, may still be refined — this should be hedged honestly rather than stating one final position as guaranteed.

auto t = std::make_tuple(1, 2, 3, 4);
auto [first, ...rest] = t;   // first == 1, rest — пакет из трёх элементов: {2, 3, 4}// first == 1, rest is a pack of three elements: {2, 3, 4}

auto sum = (rest + ...);    // fold-выражение над пакетом: 2 + 3 + 4 == 9// a fold expression over the pack: 2 + 3 + 4 == 9

// разрешён только один пакет на связывание — второй "...", как и с// only one pack is permitted per binding — a second "...", like with
// обычными параметрическими пакетами функций, был бы ошибкой компиляции// ordinary function parameter packs, would be a compile error

• WG21 P1061 — Structured Bindings can introduce a Pack
• cppreference — Structured Bindings (ожидаемый URL, раздел о пакетах может ещё не появиться до ратификации)cppreference — Structured Bindings (anticipated URL, the pack section may not appear yet before ratification)