如何实现兼容签名让C++协程安全接收const range？

三个签名冲突的核心是左值borrowed_range会同时匹配const左值引用和值传递重载，导致重载决议歧义。通过给重载添加互斥的concept约束，就能让它们共存：

最终可行的重载实现 #

#include <ranges>
#include <functional> // 用于std::cref

// 1. 仅接受非borrowed的const左值容器（如std::vector<int>左值）
auto coroutine_foo(const std::ranges::range auto& rng) 
    requires (!std::ranges::borrowed_range<decltype(rng)>) {
    return coroutine_foo_impl(std::cref(rng)); // 传递const引用包装，避免意外拷贝
}

// 2. 接受任意borrowed_range（左值/右值视图，如views::filter、views::iota返回值）
auto coroutine_foo(std::ranges::borrowed_range auto rng) {
    return coroutine_foo_impl(std::move(rng)); // 视图移动成本极低，多数情况是无操作
}

// 3. 禁止非borrowed的右值容器（如临时std::vector<int>{1,2,3}）
auto coroutine_foo(const std::ranges::range auto&& rng) 
    requires (!std::ranges::borrowed_range<decltype(rng)>) = delete;

约束的作用 #

• 第一个重载的requires (!std::ranges::borrowed_range<...>)确保它只处理非视图类的左值容器，彻底避免和第二个重载的歧义。
• 第三个删除的重载同样添加该约束，精准拦截临时的非视图容器调用（编译直接报错），而临时视图会正常匹配第二个重载，符合设计需求。

1. 必须明确协程生命周期的存活要求
   哪怕是borrowed_range，其有效性依然绑定到底层原始容器。协程可能挂起后在任意时间恢复，必须在API文档中明确要求：所有传入的range（无论是左值容器还是视图），其底层存储必须在协程的整个生命周期内持续存活，否则会触发未定义行为。

2. 可考虑添加input_range约束
   协程中遍历range至少需要input_range的能力，给所有重载补充requires std::ranges::input_range<decltype(rng)>，可以提前拦截无法遍历的range类型，避免运行时问题。

3. const视图的处理细节
   如果传入const修饰的borrowed_range（如const auto view = v | views::take(3);），当前第二个重载会按值传递const视图，这本身是安全的，但如果coroutine_foo_impl依赖视图的可变性（虽然你的需求是不修改内容，但视图可能有内部状态），需要调整签名适配。不过基于你的“不修改内容”需求，当前设计无需额外调整。

4. 是否接受非const左值borrowed_range？
   当前设计中，非const左值视图会匹配第二个重载按值传递，这是合理的（视图拷贝成本低）。如果希望直接引用非const视图，可以额外添加重载，但结合“不修改内容”的需求，当前设计已经足够。

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