关于C++20 std::views存储输入范围方式的技术咨询

嘿，这个问题问到点子上了——C++20的视图适配器到底是存输入范围的副本还是引用，确实是刚摸range库的人容易搞混的点。我给你理得明明白白：

通用规则（绝大多数std::views::xxx适配器适用） #

• 对于左值输入范围：适配器会存储对原范围的引用，完全不会拷贝整个范围。就像你测试的std::vector<A> v; for (const auto &elem : v | std::views::reverse) {}，这里v是左值，views::reverse只是持有它的引用，整个vector根本没被拷贝——这也是你用不可拷贝类型没报错的原因，因为拷贝操作根本没被触发。
• 对于右值输入范围：适配器会移动捕获这个右值，而不是拷贝。比如你写std::vector<A>{1,2,3} | std::views::reverse，这个临时vector会被移动到视图内部，既避免了拷贝开销，又能保证这个右值的生命周期被延长到视图销毁的时候，不会出现悬垂引用的问题。

特殊情况：std::views::all #

你提到的views::all确实是个特例，不过它的行为其实和通用规则完全一致——左值存引用，右值移动捕获。这是它的特定设计，其他绝大多数常用适配器（比如reverse、filter、transform、take、drop这些）都遵循上面的通用逻辑。

为什么你找不到直接的明确说明？ #

这个规则其实是C++20 range库的基础设计原则，隐含在range适配器闭包对象的绑定逻辑里。当你用|把适配器和范围结合时，适配器闭包会根据输入范围的值类别（左值/右值）自动选择最优的捕获方式：左值用引用（避免拷贝），右值用移动（既不拷贝又能管理生命周期）。这个逻辑是为了让视图保持轻量、高效的核心目标服务的。

额外验证小技巧 #

你可以再做个简单测试验证：给不可拷贝类型的vector加个移动构造函数的日志输出，传右值给视图时，能看到移动构造被触发；传左值的话，任何构造函数都不会被调用，这就实锤了左值只是被引用捕获。

内容来源于stack exchange