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

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

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

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

在这种特殊情况下，最近提出了一项功能，即 P1061。您会从修订历史部分注意到委员会 "reviewed it favorably and thought this was a good investment of our time"。所以我猜你很幸运。 :)

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

Why do structured bindings not support variadics?

c++

templates

variadic-templates

c++17