为何无法为std::owning_view创建视图？解析viewable_range约束

根据std::ranges::viewable_range的定义：

template<class T>
concept viewable_range =
  ranges::range<T> &&
  ((ranges::view<std::remove_cvref_t<T>> &&
    std::constructible_from<std::remove_cvref_t<T>, T>) ||
   (!ranges::view<std::remove_cvref_t<T>> &&
    (std::is_lvalue_reference_v<T> ||
     (std::movable<std::remove_reference_t<T>> && !/*is-initializer-list*/<T>))));

视图要成为viewable_range并传入范围适配器，必须是右值或可拷贝的左值。这里有两个核心疑问：

• 为什么要设置“左值视图必须可拷贝”这一约束？
• 为何无法为std::owning_view创建左值视图？有人猜测是因为类似some_wrapper_view<std::ranges::owning_view>的拥有型视图需要从std::owning_view移动构造，这个猜想是否正确？

约束的核心原因 #

范围适配器的工作机制要求视图可以被安全地传递和存储：

• 当传入左值视图时，适配器通常需要持有该视图的独立实例来后续生成元素。如果左值视图不可拷贝，适配器无法安全复制它；若强行移动左值，会导致原对象进入无效状态，直接违反左值的语义——左值代表持久存在的对象，不应被隐式修改或销毁。
• 对于左值，用户的预期是原对象在调用适配器后依然可用，因此适配器必须通过拷贝获取自己的视图实例，而非移动原左值。

关于std::owning_view的问题 #

std::owning_view是拥有底层范围所有权的视图，它本身不可拷贝、仅可移动：

• 若允许左值owning_view成为viewable_range，适配器要么因无法拷贝而编译失败，要么移动原左值导致其失效——这两种情况都不符合设计预期。
• 你的猜想有部分合理性，但更本质的原因不是wrapper需要移动构造，而是左值的语义不允许被隐式移动，不可拷贝的左值视图无法满足适配器对“可安全持有独立实例”的要求。

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