如何设计C++20中可同时调用容器与视图的线程安全函数接口？

针对你的需求，最优的函数接口设计是使用std::ranges::range auto &&作为参数类型，同时在函数内部通过std::views::all将传入的对象转换为视图。这种方案既兼容容器和视图的传入，又能保证并行遍历的线程安全。

核心原理 #

1. 兼容容器与视图：std::ranges::range auto &&作为万能引用，能接受任意左值/右值的容器或视图，满足你同时支持两种类型的需求。
2. 线程安全保障：
   • 对于容器：std::views::all会生成指向原容器的视图。由于你的函数仅做只读遍历，C++标准保证对const容器的只读操作是线程安全的（只要没有其他线程同时修改该容器）。
   • 对于视图：std::views::all会拷贝传入的视图实例（视图本身是轻量级对象，拷贝成本极低）。每个并行线程持有独立的视图副本，各自维护迭代器状态，避免了多线程共享同一视图内部状态导致的竞态问题。

对比原方案的优势 #

• 解决方案一的缺陷：方案一直接传入视图时，多线程会共享同一视图的迭代器状态（如当前遍历位置），这类状态是mutable的，并发修改会触发未定义行为。通过std::views::all拷贝视图后，每个线程拥有独立状态，彻底规避该问题。
• 解决方案二的缺陷：方案二仅支持视图，要求调用方手动将容器转换为视图，使用体验差。本方案无需用户额外操作，自动兼容两种类型。

示例代码 #

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

template <std::ranges::range R>
void thread_safe_traverse(R&& r) {
    // 将传入的range转换为视图，确保每个线程拿到独立实例
    auto view = std::views::all(std::forward<R>(r));
    
    // 并行遍历（使用std::execution::par策略）
    std::for_each(std::execution::par, std::begin(view), std::end(view), [](const auto& elem) {
        // 只读操作，线程安全
        std::cout << elem << ' ';
    });
}

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5, 6};
    auto even_nums = nums | std::views::filter([](int x) { return x % 2 == 0; });
    
    // 直接传入容器
    thread_safe_traverse(nums);
    std::cout << '\n';
    
    // 传入视图
    thread_safe_traverse(even_nums);
    std::cout << '\n';
    
    return 0;
}

关键注意事项 #

• 函数必须严格保证只读遍历：如果对元素执行修改操作，即使是容器，多线程并发修改也会导致线程安全问题，这是调用方需要避免的场景。
• 若传入的容器被其他线程同时修改：即使函数仅做只读操作，也会触发未定义行为，这种情况需要调用方保证容器在遍历期间的独占只读访问。
• 视图拷贝的性能影响可忽略：视图本身不存储元素，仅持有原range的引用或迭代器，拷贝操作的开销极小，不会影响程序性能。

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