为什么std::common_iterator只是std::forward_iterator？

C++20 引入了std::common_iterator能够将元素的非公共范围（迭代器和哨兵的类型不同）表示为公共范围（它们相同）的 a ，其概要定义为：

template S>
requires (!same_­as && copyable)
class common_iterator {
// ...
private:
variant v_; // exposition only
};


它对于与期望范围的开始和结束具有相同类型的遗留代码进行交互非常有用。

在[iterators.common#common.iter.types-1.1] 中，其iterator_­concept定义为：

iterator_­concept表示forward_­iterator_­tag如果I模型

forward_­iterator；否则表示input_­iterator_­tag。

为什么common_iterator最多只能是 a forward_iterator，而不能完全定义其iterator_concept基于I's iterator_category？例如，如果I是random_asscess_iterator，则common_iterator是random_asscess_iterator，依此类推。

看来，这是因为技术上是可行的common_iterator只是使用std::variant类型为擦除I和S。

考虑以下（Godbolt）：

auto r = views::iota(0) | std::views::take(5);
static_assert( ranges::random_access_range);
auto cr = r | views::common;
static_assert(!ranges::random_access_range);
static_assert( ranges::forward_range);


ris random_access_range，所以 C++20 等约束算法ranges::binary_search可以使用这个 trait 对其执行更高效的操作，但是为了让旧std算法能够应用它，我们需要使用views::common将其转换为common_range. 但是，它也退化为 a forward_range，从而降低了算法的效率。

为什么标准只定义common_iterator为forward_iterator最多？这背后有何考虑？