Desmond Gold's questions

Associações estruturadas não permitem tipos decomponíveis vazios.

auto [] = std::make_tuple(); // error

Desde que P1061R10 foi aceito para C++26, isso permite que ligações estruturadas introduzam pacotes (desde que o pacote seja declarado dentro do contexto do modelo):

auto [...args] = return_empty_tuple();
auto [one, ...rest] = return_single_tuple();

Este último permite ...restser um pacote vazio se return_single_tuple()tiver um tamanho de ligação estruturado de 1.

Minha pergunta é: ...argsainda é possível declarar um pacote vazio mesmo que return_empty_tuple()tenha um tamanho de ligação estruturada zero (por exemplo, tamanho de tupla zero)?

A indexação de pacotes foi introduzida no C++ 26 e eu esperava que esse recurso tivesse um impacto significativo nas coisas de metaprogramação, especialmente para indexação de pacotes que, de outra forma, exigiriam soluções alternativas.

Como a sintaxe do especificador de indexação de pacotes é:

typedef-name ... [ expression ] 

• onde typedef-nameestá identifierousimple-template-id

Com as informações acima, permite ter como:

template <typename>
using apply_t = bool;

// #1
template <typename... Args>
using A = apply_t<Args>...[0];
// can be reworked with: apply_t<Args...[0]>

// #2
template <template <typename...> typename... Temps>
using B = Temps<>...[0]
// no other way other than this because 'Temps...[0]<>' is not allowed yet (?)