结构化绑定不允许空的可分解类型。
auto [] = std::make_tuple(); // error
自从P1061R10被接受用于 C++26 以来，这允许结构化绑定引入包（只要该包在模板上下文中声明）：
auto [...args] = return_empty_tuple();
auto [one, ...rest] = return_single_tuple();
如果结构化绑定大小为 1，则后者可以...rest作为空包。return_single_tuple()
我的问题是，...args即使return_empty_tuple()结构化绑定大小为零（例如，元组大小为零），仍然可以被声明为空包吗？
包索引是在 C++26 中引入的，我希望此功能能够对元编程产生重大影响，特别是对于索引包，否则需要解决方法。
由于包索引说明符的语法是：
typedef-name ... [ expression ]
typedef-name是identifier或simple-template-id有了上述信息，是否允许：
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 (?)