std::set元素直接消费编译报错：原因分析与替代方案咨询

编译错误核心原因 #

你遇到的编译错误本质是std::set的元素天生不可修改：

• std::set为了维护内部元素的有序性，其迭代器解引用后返回的是const int&，而非std::vector迭代器返回的int&。
• 对*a.ints_.begin()调用std::move后，得到的是const int&&类型，但consume_int函数要求的参数是int&&——非const的右值引用无法绑定到const右值，这就触发了错误：binding reference of type ‘int&&’ to ‘const int’ discards qualifiers。
• std::vector的元素可直接修改，迭代器解引用得到int&，std::move后转为int&&，完全匹配consume_int的参数要求，因此能正常编译。

合理解决思路 #

既然set的元素无法直接作为非const右值传递，必须先提取元素值，再删除原元素，避免直接操作迭代器指向的const元素：

方案1：调用处直接处理 #

替代原来的错误代码行，先取出值再删除元素：

// 先提取元素值，再删除原元素
int val = *a.ints_.begin();
a.ints_.erase(a.ints_.begin());
consume_int(true, std::move(val));

方案2：封装通用提取函数 #

可以把临时方案的pops()优化为更通用的工具函数：

int take_from_set(std::set<int>& s) {
    auto it = s.begin();
    int val = std::move(*it); // 对int类型来说，const元素的移动等价于拷贝
    s.erase(it);
    return val;
}

// 调用方式
consume_int(true, std::move(take_from_set(a.ints_)));

临时方案可行的原因 #

你的pops()函数先把*ints_.begin()（const int）移动到局部变量rslt（int类型），此时已经解除了const限定，返回的rslt作为右值可以被std::move传递给consume_int，因此能正常编译。

完整改进代码示例 #

#include <vector>
#include <set>
#include <iostream>

class A {
 public:
    std::vector<int> intv_{1,2,3};
    std::set<int> ints_{1,2,3};

    int pops() {
        auto rslt = std::move(*ints_.begin());
        ints_.erase(ints_.begin());
        return rslt;
    }
};

void consume_int(bool dummy, int&& i) {
    std::cout << i << std::endl;
}

int main() {
    A a;

    // vector正常调用逻辑
    consume_int(true, std::move( *(a.intv_.begin()) ));
    a.intv_.erase(a.intv_.begin());

    // set修正调用方式1：先取值再删除
    int val = *a.ints_.begin();
    a.ints_.erase(a.ints_.begin());
    consume_int(true, std::move(val));

    // set修正调用方式2：使用封装函数
    consume_int(true, std::move(a.pops()));

    return 0;
}

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