C++视图对象内部缓存会导致UB吗？filter视图复用异常分析

示例代码 #

#include <iostream>
#include <vector>
#include <ranges>

int main()
{
    std::vector<int> ints {1, 2, 3, 4, 5};
    auto isEven = [] (const auto& element)
    {
        return element % 2 == 0;
    };
    auto even = ints | std::views::filter(isEven);
    for (auto& element : even)
    {
        ++element;
    }
    for (const auto& element : ints)
    {
        std::cout << element << "\n";
    }
    std::cout << "\n\n";
    
    // Interesting things start further...
    for (auto& element : even)
    {
        ++element;
    }
    for (const auto& element : ints)
    {
        std::cout << element << "\n";
    }
    return 0;
}

运行输出 #

1
3
3
5
5


1
4 // Interesting...
3
5
5

问题解答 #

1. C++视图是否不可复用？ #

C++视图并非完全不可复用，但复用的安全性取决于视图类型、原数据源的变化情况以及视图的迭代语义：

• 对于std::views::filter这类依赖元素属性过滤的视图，如果原数据源的元素被修改，导致元素是否符合过滤条件的状态发生变化，直接复用视图可能出现非预期行为（比如示例中第二次遍历修改了原本不符合条件的元素）。
• 若原数据源未发生任何修改，或修改后元素的过滤状态未改变，复用视图是安全的。
• 像std::views::take、std::views::drop这类不依赖元素属性的视图，在原数据源大小未变的情况下，复用通常不会有问题。

简言之：视图可以复用，但必须注意原数据源的变化是否会破坏视图的过滤/转换逻辑。

2. 视图内部采用缓存机制的原因是什么？ #

以std::views::filter为例，缓存遍历位置是为了性能优化：

• filter视图的迭代器是惰性求值的，每次移动迭代器时需要找到下一个符合条件的元素。如果不缓存当前位置，每次重新遍历都要从数据源开头开始查找，会带来额外时间开销。
• 缓存当前遍历的位置后，迭代器可以从上次停下的地方继续查找下一个符合条件的元素，避免重复遍历前面已确认不符合条件的元素，提升遍历效率。

但这种缓存机制在原元素的过滤状态发生变化时会引发问题：示例中第一次遍历后，原本的偶数（2、4）被改成奇数（3、5），第二次遍历时，缓存的迭代器位置指向原第二个元素（现在是3，不符合条件），但迭代器直接尝试访问该位置的元素并修改，导致不符合条件的元素被误操作。

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