为什么结构化绑定不支持可变参数？

Question

C++17 添加了结构化绑定：

tuple<int, int, int> make_tuple();
int test() {
    auto [a, b, c] = make_tuple();
    return a | b | c;
}

我的直觉是尝试将它们用作参数包。

template <size_t N>
auto make_tuple();  // returns tuple with N ints
template <size_t N>
int test() {
    auto [...values] = make_tuple<N>();
    return (0 | ... | values);
}

唉，我不能这样做。为什么委员会排除了这样的功能？现在感觉不一致，因为 lambda 捕获可以包含参数包。

我知道委员会充满了聪明的创意人士，像我这样的想法一定有充分的理由被拒绝。那是什么原因？

Answer 1

随着时间的推移添加功能是开发语言的本质。

仅仅因为某些东西还没有用语言表达，并不意味着委员会已经彻底拒绝了它。这并不意味着他们“排除”了它。可能只是它被忽视了，或者只是还没有被认真考虑过。请记住，std::make_unique直到 C++14 才可用。

在这种特殊情况下，它是一个功能已经被提出，最近，作为P1061。你会从修订历史部分注意到委员会“对它进行了积极的审查，并认为这是我们时间的一项很好的投资”。所以我想你很幸运。:)