直接构造vector作为范围参数传入函数时异常的原因咨询

核心原因：std::ranges::borrowed_iterator_t的悬空检查机制 #

你的问题出在std::ranges::borrowed_iterator_t这个C++20引入的类型设计上，它的核心作用是避免迭代器悬空导致的未定义行为：

1. 两种调用的类型推导差异 #

• 传入左值变量v时：模板参数R被推导为std::vector<int>&（左值引用）。对于左值引用的范围，borrowed_iterator_t<R>直接返回该容器的普通迭代器类型std::vector<int>::iterator，因此解引用*it完全合法。
• 传入临时std::vector<int>({1,2,3})时：R被推导为std::vector<int>（右值）。由于std::vector不属于std::ranges::borrowed_range（borrowed_range指迭代器可以在原范围销毁后仍安全使用的类型，比如数组或视图），此时borrowed_iterator_t<R>会解析为std::ranges::dangling——这是一个标记类型，用来明确表示"返回的迭代器会悬空"，它没有重载operator*，因此编译时直接报错。

2. 设计初衷 #

临时对象会在当前表达式结束后立即销毁。如果函数返回指向临时对象的迭代器，后续解引用会触发未定义行为（比如程序崩溃、数据错乱）。borrowed_iterator_t通过编译错误的方式，提前阻止这种危险场景。

解决方法 #

根据你的需求，可以选择以下方案：

方案一：返回元素而非迭代器（最安全） #

修改函数返回元素的拷贝，彻底避开迭代器生命周期问题：

template <std::ranges::range R>
auto random_elt(R&& r) {
    auto idx = ::rand() % std::ranges::size(r);
    return *std::ranges::next(r.begin(), idx);
}

方案二：限制函数只接受左值引用 #

如果函数仅需处理持久化的容器，可以将模板参数限定为左值引用，从源头阻止临时对象传入：

template <std::ranges::range R>
std::ranges::borrowed_iterator_t<R> random_elt(R& r) { // 移除右值引用&&
    auto it = r.begin();
    for (size_t i = 0; i < ::rand() % std::ranges::size(r); i++) {
        it++;
    }
    return it;
}

方案三：放弃悬空检查（谨慎使用） #

如果你能确保迭代器使用时原容器仍存活，可以改用std::ranges::iterator_t替代borrowed_iterator_t，但会失去编译期的安全检查：

template <std::ranges::range R>
std::ranges::iterator_t<R> random_elt(R&& r) {
    auto it = r.begin();
    for (size_t i = 0; i < ::rand() % std::ranges::size(r); i++) {
        it++;
    }
    return it;
}

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