为什么结构化绑定只适用于自动

Question

c 17引入了结构化绑定。它们能够声明从元组或结构初始化的多个变量。

此代码使用c 17编译器进行编译。

#include <iostream>
#include <tuple>

int main() {
    auto tuple = std::make_tuple(1.0, 1);

    auto [ d, i ] = tuple;

    std::cout << "d=" << d << " i=" << i <<  '\n';

    return 0;
}

如果我没有用auto声明变量，我会得到错误

错误：lambda表达式[d2，i2]的预期主体=元组；

#include <iostream>
#include <tuple>

int main() {
    auto tuple = std::make_tuple(1.0, 2);

    double d2;
    int i2;

    [d2 , i2] = tuple;

    return 0;
}

我使用了clang version 4.0.0和编译选项-std=c 1z。

我可以将现有变量分配给结构化绑定吗？我需要使用自动？

Answer 1

此外，还可以使用std::tie（）将元组解压为其各个组件

#include <iostream>
#include <tuple>

int main() {
    auto tuple = std::make_tuple(1.0, 1);
    double d2;
    int i2;
    std::tie(d2, i2) = tuple;

    std::cout << "d2=" << d2 << " i2=" << i2 <<  '\n';

    return 0;
}

Answer 2

您得到的错误消息非常清楚地表明了为什么只允许auto：缺乏歧义会使语法更加依赖上下文。

表达式开头的一对方括号表示lambda。您所要求的是标准指定，有时[d2，i2]是lambda的开始，该lambda按值捕获d2和i2，有时是解包分配。所有这些都是基于接下来的内容。

把它添加到语言中是不值得的。特别是，正如一些程序员所指出的，你已经有了std:：tie来处理元组。

不仅如此，std:：tie还允许您忽略一些未打包的值，这是结构化绑定尚不支持的。因此，这一切归结为有一个更有限的语法糖形式，标准库已经对元组做了一些事情。

哦，如果你对std:：tie只适用于元组感到不满，你可以自己扩展它来适用于任何POD。看看这个magic_get实现。人们可以将同样的想法应用于constepr将一个POD转换成一个引用元组，该引用元组可以馈送到std:：tie。比如：

std::tie(d2, i2) = magic_unpack(/*some POD that isn't a tuple*/);