哪些场景下`ranges::for_each`可行但范围for循环会失效？

以下是符合要求的边缘场景，其中insert_range_good可正常编译/执行，而insert_range_bad会触发硬错误或执行异常：

1. 范围的range_reference_t<R>可隐式转换为T，但range_value_t<R>无法直接构造T #

当范围的元素引用可以隐式转换为目标类型T（满足container_compatible_range约束），但范围的值类型（std::ranges::range_value_t<R>）无法直接构造T时，范围for循环会触发编译错误，而ranges::for_each可正常工作。

比如构造一个代理范围：迭代器解引用返回Proxy&（可隐式转换为T），但范围的range_value_t<R>是与T无关的类型。此时：

• ranges::for_each会直接将Proxy&传递给lambda，利用隐式转换完成T e的初始化，过程合法。
• 范围for循环的底层实现中，部分编译器会基于range_value_t<R>做类型兼容性检查，直接触发硬错误；即使跳过该检查，若range_value_t<R>与T的构造逻辑冲突，也会导致编译失败（且该错误无法通过SFINAE机制排除）。

对应示例代码：若让std::tuple<int, int>可隐式转换为std::pair<int, int>，container_compatible_range约束会满足，但范围for循环仍会因range_value_t<R>（tuple<int,int>）与T（pair<int,int>）的类型不匹配触发编译错误，而ranges::for_each可正常完成转换。

2. 单遍输入范围的右值引用场景，范围for循环导致迭代器失效 #

当范围是单遍输入范围（如std::ranges::istream_view）且以右值传递时，范围for循环会将范围绑定到auto&& __range，但部分单遍范围的迭代器会持有指向范围内部资源的指针。若范围是临时右值，第一次迭代后可能被销毁，导致后续迭代中迭代器失效，引发未定义行为。

而ranges::for_each的实现会保证右值范围的生命周期与遍历过程同步，不会出现迭代器失效问题。

3. 范围for循环触发硬错误，无法被SFINAE排除 #

当模板函数中的范围for循环因初始化失败触发编译错误时，该错误属于硬错误，会导致整个模板函数实例化失败，无法通过SFINAE机制排除该实例。而ranges::for_each作为标准库模板，其实例化失败会被SFINAE友好处理：若lambda无法接受范围元素，编译器会直接跳过该模板实例，尝试其他重载。

例如，若存在重载的insert_range函数，当container_compatible_range约束意外不满足时，insert_range_bad会因范围for循环的硬错误被直接拒绝，而insert_range_good会通过SFINAE被排除，编译器会选择其他合适的重载。

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