std::ranges::sort临时对象与纯右值参数的返回类型解析

一、命名变量 vs 纯右值导致返回类型不同的原因 #

std::ranges::sort的返回类型是否为std::ranges::dangling，完全由传入参数是否满足borrowed_range概念决定：

1. 传入纯右值（临时容器） #

当你直接传递纯右值容器（比如get_data()的返回值、std::vector<int>{...}字面量）时，这个临时容器的生命周期仅持续到当前完整表达式结束（也就是std::ranges::sort调用完成后就会销毁）。

标准库定义：纯右值容器不属于borrowed_range——因为无法保证算法返回的迭代器在容器销毁后仍然有效。因此std::ranges::sort会返回std::ranges::dangling类型，编译阶段就会阻止你解引用这个“悬垂标记”，避免运行时错误。

2. 传入命名局部变量（左值） #

当你传入命名的局部容器时，这个容器是左值。标准库的默认规则是：左值范围默认被视为borrowed_range——这是基于“左值通常拥有更长生命周期”的假设，但这个假设在跨函数返回迭代器的场景下不成立：

你的get_sorted函数返回迭代器后，函数内的局部容器会立即销毁，导致迭代器悬垂。但编译器无法在编译阶段追踪这种跨函数的生命周期依赖，因此std::ranges::sort会返回普通的容器迭代器（比如std::vector<int>::iterator），编译不会报错，但运行时会触发悬垂迭代器问题（ASAN工具可以检测到这类错误）。

二、正确使用临时对象/纯右值，触发std::ranges::dangling检测 #

要让标准库自动触发std::ranges::dangling检测，同时避免悬垂迭代器问题，遵循以下规则：

• 直接传递纯右值容器给算法：比如std::ranges::sort(get_data())或std::ranges::sort(std::vector<int>{1,2,3})，这种情况会自动返回std::ranges::dangling，编译时拦截错误。
• 优先返回容器而非迭代器：如果需要从函数返回排序后的结果，直接返回容器本身，而不是指向局部容器的迭代器。示例：

  auto get_sorted(){
      auto vec = get_data();
      std::ranges::sort(vec);
      return vec; // 返回容器，迭代器随容器一起返回，生命周期安全
  }
  

• 延长临时对象生命周期（仅在局部作用域内有效）：如果必须在局部使用临时容器的迭代器，可以将临时对象绑定到右值引用，延长其生命周期到引用的生命周期结束。示例：

  int main(){
      auto&& temp_vec = get_data(); // 临时容器生命周期延长到main函数结束
      auto it = std::ranges::sort(temp_vec);
      *it; // 迭代器有效，无悬垂问题
  }
  

注意点 #

跨函数返回指向局部容器的迭代器属于未定义行为，即使编译通过也绝对不能这样做——ASAN等工具可以帮你在测试阶段发现这类问题，但最根本的解决方式是避免返回指向局部对象的迭代器。

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