能否指定结构化绑定中部分成员为引用？C++17/20优化方案问询

针对你的需求——在范围for循环中修改l、r的副本（不影响原vector元素），同时通过引用修改ans，这里有几种简洁的实现方案：

方案1：C++17兼容的tuple+std::ref绑定 #

利用std::tuple和std::ref构造包含值副本与引用的临时对象，再通过结构化绑定拆分：

#include <tuple>
#include <functional> // for std::ref

struct query{
    int l, r, ans;
};

// 使用示例
std::vector<query> q = ...;

for (auto& elem : q) {
    auto [l, r, ans] = std::tuple{elem.l, elem.r, std::ref(elem.ans)};
    // 此处l、r是elem.l/r的副本，修改不会影响原vector
    // ans是elem.ans的引用，修改会直接作用于原对象
    l += 1; r -= 1; // 仅修改副本
    ans = l + r;    // 修改原对象的ans
}

原理：std::ref会将elem.ans包装为std::reference_wrapper<int>，tuple构造时保留引用语义，结构化绑定后ans会自动解包为int&类型，而l、r则是值拷贝。

方案2：显式拆分（最直观的C++17写法） #

如果不想引入tuple，直接在循环内显式拆分变量，代码可读性同样很强：

for (auto& qry : q) {
    int l = qry.l, r = qry.r; // 拷贝l、r的副本
    int& ans = qry.ans;       // 绑定ans的引用
    // 业务逻辑
    l *= 2;
    r /= 2;
    ans = l - r;
}

这种写法没有额外依赖，代码直白，完全符合你的需求，其实也是很多场景下的首选。

方案3：C++20的结构化绑定扩展（可选） #

如果你使用C++20，可以结合std::as_const和引用绑定，但需要手动区分副本与引用，不过实际实用性不如前两种：

for (auto& elem : q) {
    const auto& [cl, cr, _] = std::as_const(elem); // 只读引用原l、r
    int l = cl, r = cr; // 转为副本
    int& ans = elem.ans;
    // 操作逻辑
}

这种写法稍显冗余，仅作为扩展思路。

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