隐式生成的推导指南为何导致结构化绑定声明行为差异？

核心差异原因 #

你观察到的输出差异，本质是gcc对CTAD（类模板实参推导）结合结构化绑定的实现bug，导致第12行的行为不符合C++标准，而第11行是符合标准的预期行为。

标准规则解析 #

对于std::pair这类tuple-like类型，C++17标准规定：当结构化绑定的初始化表达式是右值（比如临时对象这类prvalue）时，绑定过程等价于：

auto&& __tmp = std::move(初始化表达式);
decltype(auto) x = std::get<0>(std::move(__tmp));
decltype(auto) y = std::get<1>(std::move(__tmp));

由于std::get对右值std::pair的重载会返回右值引用（int&&），因此decltype(x)的类型是int&&，check_v<decltype(x)>会返回1——这正是第11行的输出，完全符合标准。

第12行的异常原因 #

第12行使用std::pair(p)通过CTAD构造临时对象时，gcc的实现出现了错误：它没有按照tuple-like类型的规则处理结构化绑定，反而错误地将其当作普通聚合类型的值拷贝，导致x和y被推导为值类型int而非右值引用。此时std::is_rvalue_reference_v<int>自然返回0，出现你看到的输出。

你可以通过添加额外验证代码确认这一点：

printf("%d %d\n", std::is_same_v<decltype(x), int>, std::is_same_v<decltype(y), int>);

第12行运行后会输出1 1，说明x和y确实是值类型，这违反了标准中tuple-like结构化绑定的规则。

结论 #

• 第11行的输出（1 1）是符合C++17标准的预期行为。
• 第12行的输出（0 0）是gcc的实现bug（对应GCC Bugzilla #91813），在你测试的10.1~13.2版本中均存在该问题。

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