为何C++中auto const&绑定tuple<int&,int&>后可修改？auto&为何编译失败？

先贴出你的代码片段：

#include <tuple>
int main() {
    int xa = 1;
    int ya = 2;
    auto const& [xb, yb] = std::tuple<int&, int&>(xa, ya);
    xb = 9; // 这难道不该是只读的吗？
    return xa + ya;
}

下面针对你提出的两个问题逐一解释：

问题1：为何auto const&声明的xb仍可写入？ #

你这里的误区是把auto const&中的const理解为修饰xb的类型，但实际上const是作用于绑定整个tuple的引用，而非结构化绑定出来的单个变量。

具体拆解类型推导过程：

1. 你创建的std::tuple<int&, int&>(xa, ya)是一个临时tuple对象，它的两个元素都是int&类型，分别绑定到xa和ya。
2. auto const& [xb, yb]推导后的实际类型是const std::tuple<int&, int&>&——也就是对这个临时tuple的常量左值引用。这个const仅限制你不能修改tuple本身（比如不能给整个tuple赋值），但不会改变tuple内部元素的类型。
3. 根据结构化绑定的规则，对于tuple类型，每个绑定变量会直接对应tuple元素的类型。这里tuple元素是int&，所以xb的实际类型就是int&，而非const int&！

既然xb本质是绑定到xa的引用，修改xb自然等价于修改xa，完全符合语法规则，所以编译不会报错。

问题2：为何替换为auto&后无法编译？ #

这个问题的核心是C++的引用绑定规则：你创建的std::tuple<int&, int&>(xa, ya)是一个临时对象（右值），而非常量的左值引用（即auto&推导的std::tuple<int&, int&>&）不能绑定到右值。

而const auto&是常量左值引用，C标准允许它绑定到右值，并且会自动延长临时对象的生命周期，所以之前的代码能正常编译。当你换成auto&时，编译器试图将右值绑定到非const左值引用，这违反了语法规则，因此Clang和G都会抛出类似“无法绑定右值到非const左值引用”的错误。

内容的提问来源于stack exchange，提问作者user5406764