<ranges>
concept viewable_range =
viewable_range 概念是 range 的细化,它描述能安全转换成 view 的范围。
(注意 __ForwardingRange 是 range 中定义的仅为说明的概念)
__ForwardingRange