- ranges[meta header]
- std::ranges[meta namespace]
- class template[meta id-type]
- cpp20[meta cpp]
namespace std::ranges {
template<view V>
requires (!common_range<V> && copyable<iterator_t<V>>)
class common_view : public view_interface<common_view<V>> { …… }; // (1)
namespace views {
inline constexpr /*unspecified*/ common = /*unspecified*/; // (2)
}
}
- view[link view.md]
- view_interface[link view_interface.md]
- common_range[link common_range.md]
- copyable[link /reference/concepts/copyable.md]
- iterator_t[link iterator_t.md]
同じ型のイテレータペアを受け取るレガシーなアルゴリズム関数に対して、common_rangeではない範囲を渡したい場合、commonを使用することで同じ型のイテレータペアを取得できるようになる。
| borrowed |
sized |
output |
input |
forward |
bidirectional |
random_access |
contiguous |
common |
viewable |
view |
| ※ |
※ |
※ |
※ |
※ |
※ |
※ |
※ |
○ |
○ |
○ |
※ 参照先のRangeに従う
- (2): 式
views::common(E)の効果は次の通り
rを参照先のRangeとする。sizeは、ranges::size(r)が有効な式であるときに定義される。
#include <ranges>
#include <concepts>
#include <string_view>
int main() {
using namespace std;
// 無限長のiotaはcommon_rangeではない
static_assert(!ranges::common_range<decltype(views::iota(0))>);
// commonを適用するとcommon_rangeになる
static_assert(ranges::common_range<decltype(views::iota(0) | views::common)>);
// 元からcommon_rangeなviewに適用しても型は変わらない
static_assert(same_as<decltype(string_view{} | views::common), string_view>);
}
- views::common[color ff0000]
- views::iota[link iota_view.md]
namespace std::ranges {
template<view V>
requires (!common_range<V> && copyable<iterator_t<V>>)
class common_view : public view_interface<common_view<V>> {
private:
V base_ = V();
public:
common_view() requires default_initializable<V> = default;
constexpr explicit common_view(V r) : base_(std::move(r)) {}
constexpr V base() const & requires copy_constructible<V> { return base_; }
constexpr V base() && { return std::move(base_); }
constexpr auto begin() {
if constexpr (random_access_range<V> && sized_range<V>)
return ranges::begin(base_);
else
return common_iterator<iterator_t<V>, sentinel_t<V>>(ranges::begin(base_));
}
constexpr auto begin() const requires range<const V> {
if constexpr (random_access_range<const V> && sized_range<const V>)
return ranges::begin(base_);
else
return common_iterator<iterator_t<const V>, sentinel_t<const V>>(ranges::begin(base_));
}
constexpr auto end() {
if constexpr (random_access_range<V> && sized_range<V>)
return ranges::begin(base_) + ranges::size(base_);
else
return common_iterator<iterator_t<V>, sentinel_t<V>>(ranges::end(base_));
}
constexpr auto end() const requires range<const V> {
if constexpr (random_access_range<const V> && sized_range<const V>)
return ranges::begin(base_) + ranges::size(base_);
else
return common_iterator<iterator_t<const V>, sentinel_t<const V>>(ranges::end(base_));
}
constexpr auto size() requires sized_range<V> {
return ranges::size(base_);
}
constexpr auto size() const requires sized_range<const V> {
return ranges::size(base_);
}
};
template<class R>
common_view(R&&) -> common_view<views::all_t<R>>;
}
- view[link view.md]
- view_interface[link view_interface.md]
- common_range[link common_range.md]
- random_access_range[link random_access_range.md]
- sized_range[link sized_range.md]
- copyable[link /reference/concepts/copyable.md]
- default_initializable[link /reference/concepts/default_initializable.md]
- copy_constructible[link /reference/concepts/copy_constructible.md]
- common_iterator[link /reference/iterator/common_iterator.md]
- iterator_t[link iterator_t.md]
- sentinel_t[link sentinel_t.md]
- ranges::begin[link begin.md]
- ranges::end[link end.md]
- ranges::size[link size.md]
- views::all_t[link all.md]
- Clang: 13.0.0 [mark verified]
- GCC: 10.1.0 [mark verified]
- ICC: ?
- Visual C++: 2019 Update 10 [mark verified]