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

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。您会从修订历史部分注意到，委员会“对它进行了积极的审查，并认为这是对我们时间的一项很好的投资”。所以我猜你很幸运。 :)