直接从filter_view底层范围移除元素是否属于未定义行为？

先看示例代码：

foo函数 #

void foo(std::set<int>& s) {
    for (int val : s | std::views::filter([](int i) { return i > 0; })) {
        s.erase(val - 3);
    }
}

bar函数 #

void bar(std::set<int>& s) {
    for (int val : s) {
        if (val > 0) {
            s.erase(val - 3);
        }
    }
}

核心结论 #

foo函数在当前C++标准下不存在未定义行为，是安全的，具体分析如下：

1. std::set的erase迭代器有效性
   std::set的erase操作仅会使指向被擦除元素的迭代器失效，其他迭代器不受影响。foo中遍历的是filter_view包装的set迭代器，当前迭代指向的是正数元素val，而擦除的是val-3——对于int类型来说，val和val-3不可能是同一个值，因此当前遍历的迭代器始终有效，不会出现迭代器失效导致的未定义行为。

2. filter_view的谓词稳定性约束
   C++标准要求filter_view的谓词对同一个元素的判断结果必须保持稳定，除非通过视图迭代器修改该元素。foo中仅擦除底层set的其他元素，并未修改当前迭代指向的val，因此谓词（判断元素是否>0）的结果对于当前元素始终一致，完全符合标准约束。

3. 视图与底层范围的交互规则
   标准并未禁止在遍历视图时直接修改底层可变范围，只要底层范围的迭代器语义允许（如std::set的特性），视图的迭代器就能正常工作。foo中filter_view的迭代器只是对set迭代器的简单包装，底层迭代器有效则视图迭代器也有效。

对比bar函数，两者本质逻辑一致：都是遍历set时擦除非当前迭代指向的元素，区别仅在于foo用filter_view提前过滤了非正数元素，核心的迭代器有效性和语义约束均未被违反，因此都是安全的。

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