std::ranges::views::as_const, std::ranges::as_const_view

ヘッダ `<ranges>`
template< ranges::view V > requires ranges::input_range<V> class as_const_view : public ranges::view_interface<as_const_view<V>>	で定義	(1)
namespace views { inline constexpr /* unspecified / as_const = / unspecified */; }	(C++23 以上)	(2)
(C++23 以上)
template< ranges::viewable_range R > requires /* see below */ constexpr ranges::view auto as_const( R&& r );		呼び出しシグネチャ

(C++23 以上)1) 元となる view もまた constant_rangeas_const_view であるようなビューを表す range アダプタ。

2) RangeAdaptorObject。 e を部分式、T を decltype((e))、U を std::remove_cvref_t<T> とする。このとき式 views::as_const(e) は以下と式等価である：

views::all(e)、それが適格な式であり、かつ views::all_t<T> が constant_range をモデル化する場合；
そうでなければ、ある型 std::span<const X, Extent>(e) とある要素数 X に対して、Extent が U を表す場合の std::span<X, Extent>；
そうでなければ、ranges::ref_view(static_cast<const X&>(e.base())) がある型 U に対して ranges::ref_view<X> を表し、かつ X が const Xconstant_range をモデル化する場合の ；
そうでなければ、ranges::ref_view(static_cast<const U&>(e)) が左辺値であり、e が const Uconstant_range をモデル化し、かつ が Uview をモデル化しない場合の ；
そうでなければ、as_const_view{e}。

as_const_view は常に constant_range をモデル化し、元となるビュー がそれぞれのコンセプトをモデル化する場合、contiguous_range、random_access_range、bidirectional_range、forward_range、borrowed_range、common_range、および sized_rangeV をモデル化する。

データメンバ

メンバー	説明
`V` `base_` (private)	基となるビュー ( 説明専用メンバーオブジェクト* )

メンバー関数

(constructor)	`as_const_view`を構築する (public member function)
base	基になるビュー `V` を返す (public member function)
begin	`as_const_view`の先頭イテレータを返す (public member function)
end	`as_const_view`の終端イテレータを返す (public member function)
size	ビューが有界の場合、そのサイズを返す (public member function)
reserve_hint (C++26)	基になる `approximately_sized_range` の近似サイズを返す (public member function)
から継承 ranges::view_interface
empty	派生ビューが空であるかどうかを返す。ただし、それが以下を満たす場合に限る `sized_range` または `forward_range` (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
cbegin (C++23)	範囲の先頭への定数イテレータを返す (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
cend (C++23)	範囲の定数イテレータのセンチネルを返す (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
operator bool	派生ビューが空でないかどうかを返す。ただし、以下の場合に限る ranges::empty がそれに適用可能である (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
data	派生ビューのデータのアドレスを取得する。ただし、そのイテレータ型が以下を満たす場合に限る `contiguous_iterator` (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
front	派生ビューの最初の要素を返す。ただし、それが以下を満たす場合 `forward_range` (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
back	派生ビューの最後の要素を返す。ただし、それが以下を満たす場合に限る `bidirectional_range` および `common_range` (のパブリックメンバ関数 `std::ranges::view_interface<D>`)
operator[]	返す `n`^番目の要素 (派生ビュー内の) ただし、それが以下を満たす場合に限る `random_access_range` (のパブリックメンバ関数 `std::ranges::view_interface<D>`)

std::ranges::as_const_view:: as_const_view

as_const_view ( ) requires std:: default_initializable < V > = default ;	(1)	(since C++23)
constexpr explicit as_const_view ( V base ) ;	(2)	(since C++23)

1)




           base_

を値初期化します（デフォルトメンバ初期化子 = V ( ) による）。

2)




           base_

を std :: move ( base ) で初期化します。

パラメータ

base

-

ビュー

std::ranges::as_const_view:: base

constexpr V base ( ) const & requires std:: copy_constructible < V > ;	(1)	(since C++23)
constexpr V base ( ) && ;	(2)	(since C++23)

基になるビューを返します。

1) 基になるビューから結果をコピー構築します。 return




            base_

; と等価です。

2) 基になるビューから結果をムーブ構築します。 return std :: move (




            base_

) ; と等価です。

std::ranges::as_const_view:: begin

constexpr auto begin ( ) requires ( ! /simple_view/ < V > ) ;	(1)	(since C++23)
constexpr auto begin ( ) const requires ranges:: range < const V > ;	(2)	(since C++23)

ビューの定数イテレータを返します。 return ranges:: cbegin ( base_ ) ; と等価です。

std::ranges::as_const_view:: end

constexpr auto end ( ) requires ( ! /simple_view/ < V > ) ;	(1)	(since C++23)
constexpr auto end ( ) const requires ranges:: range < const V > ;	(2)	(since C++23)

ビューの定数センチネルを返します。 return ranges:: cend ( base_ ) ; と等価です。

std::ranges::as_const_view:: size

constexpr auto size ( ) requires ranges:: sized_range < V > ;	(1)	(since C++23)
constexpr auto size ( ) const requires ranges:: sized_range < const V > ;	(2)	(since C++23)

ビューが有界である場合、そのサイズを返します。次と等価です： return ranges:: size ( base_ ) ; 。

std::ranges::as_rvalue_view:: reserve_hint

constexpr auto reserve_hint ( ) requires ranges :: approximately_sized_range < V > ;	(1)	(since C++26)
constexpr auto reserve_hint ( ) const requires ranges :: approximately_sized_range < const V > ;	(2)	(since C++26)

base_ ) を返します。

推論ガイド

template < class R > as_const_view ( R && ) - > as_const_view < views:: all_t < R >> ;		(C++23以降)

ヘルパーテンプレート

template < class T > constexpr bool enable_borrowed_range < std :: ranges :: as_const_view < T >> = ranges:: enable_borrowed_range < T > ;		(C++23以降)

この ranges::enable_borrowed_range の特殊化は、基になるビューが borrowed_range を満たす場合に、 as_const_view が borrowed_range を満たすようにする。

注記

機能テストマクロ	値	標準	機能
`__cpp_lib_ranges_as_const`	`202207L`	(C++23)	`ranges::as_const_view` , std:: const_iterator
`__cpp_lib_ranges_reserve_hint`	`202502L`	(C++26)	ranges::approximately_sized_range および `reserve_hint`

例

このコードを実行

#include <cassert>
#include <ranges>
int main()
{
    int x[]{1, 2, 3, 4, 5};
    auto v1 = x | std::views::drop(2);
    assert(v1.back() == 5);
    v1[0]++; // OK: 非const要素は変更可能
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // コンパイル時エラー: 読み取り専用要素は変更不可
}

コンパイラサポート
フリースタンディングとホスト環境
言語
標準ライブラリ
標準ライブラリヘッダ
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Ranges ライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行処理サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
技術仕様
シンボルインデックス
外部ライブラリ

ranges::as_rvalue_view views::as_rvalue (C++23)	各要素を右辺値にキャストするシーケンスの `view` (クラステンプレート) (範囲アダプタオブジェクト)
ranges::cbegin (C++20)	読み取り専用範囲の先頭を指すイテレータを返す (カスタマイゼーションポイントオブジェクト)
ranges::cend (C++20)	読み取り専用範囲の終端を示すセンチネルを返す (カスタマイゼーションポイントオブジェクト)
as_const (C++17)	引数への const 参照を取得する (関数テンプレート)
basic_const_iterator (C++23)	イテレータを定数イテレータに変換するイテレータアダプタ (クラステンプレート)

ja.cppreference.net

Namespaces

Variants