为何std::ranges::transform_view不属于borrowed_range？

要理解这个问题，首先得明确std::ranges::borrowed_range的核心含义：它标记一个视图满足视图对象销毁后，通过该视图获取的迭代器仍能安全访问底层数据——简单说，视图不拥有数据，且迭代器的有效性不依赖视图本身的存活。

对于transform_view来说，它是否属于borrowed_range，不仅取决于底层视图是否是borrowed_range，还和它持有的变换函数（F）的类型密切相关。根据C++20标准，transform_view<V, F>满足borrowed_range当且仅当：

• 底层视图V是borrowed_range，并且
• 变换函数F是引用类型（视图仅持有函数的引用，不存储副本），或者F是可复制构造的空类型（无状态，即使视图销毁，迭代器持有的函数副本也无状态依赖）

为什么默认不满足？ #

transform_view会持有变换函数的副本（除非F是引用类型）。如果变换函数是有状态的非空类型（比如带有成员变量的自定义仿函数），那么即使底层视图是borrowed_range，标准也不会将transform_view认定为borrowed_range——这是为了避免视图销毁后，迭代器中持有的函数副本可能引发的潜在问题（尽管实际迭代器的函数副本仍存在，但标准出于保守性和规则统一性，排除了这种情况）。

你的示例分析 #

你示例中的无捕获lambda属于空闭包类型（std::is_empty_v<std::decay_t<decltype(你的lambda)>>为true），且满足可复制构造，理论上transform_view应该满足borrowed_range。第二个static_assert失败可能是因为你使用的编译器版本尚未完全实现这一标准规则（比如早期GCC版本对lambda空类型的判断或borrowed_range特化支持不完善）。

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