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);
}

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

我知道委员会中到处都是有创造力的聪明人，而且像我这样的想法一定已经提出并被有充分的理由拒绝了。那是什么原因？

Answer 1

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

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

在这种特殊情况下，是最近才被提议为specification的功能。您将从修订历史记录部分中注意到，委员会“对其进行了好评，并认为这是对我们时代的一项很好的投资”。所以我想你很幸运。：）

为什么结构化绑定不支持变量？

1 个答案: