代入可能ラッパー (C++20)

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

Rangesライブラリ

Rangeアクセス begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

Range変換 std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

ダングリングイテレータの扱い dangling borrowed_iterator_t borrowed_subrange_t

Rangeプリミティブ
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

Rangeコンセプト
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

表示
view_interface	subrange

Rangeファクトリ
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

Rangeアダプタ
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Rangeジェネレータ std::generator (C++23)

Rangeアダプタクロージャオブジェクト range_adaptor_closure (C++23)

Rangeアダプタオブジェクト

ヘルパーアイテム
copyable-box movable-box (C++23まで)  (C++23)	simple-view non-propagating-cache

 

template< class T >     requires std::copy_constructible<T> && std::is_object_v<T> class /*copyable-box*/;		(C++20以降) (C++23まで) (説明用*)
template< class T >     requires std::move_constructible<T> && std::is_object_v<T> class /*movable-box*/;		(C++23から) (説明用*)

ranges::single_view, ranges::repeat_view,(since C++23) および invocableオブジェクトを格納するレンジアダプタは、概念的なクラステンプレート copyable-box(until C++23)movable-box(since C++23) に基づいて指定されます。ここで示される名前は、概念的な目的のためだけのものであり、実装に固有のものではありません。

このラッパーは std::optional<T> と全く同様に動作しますが、デフォルトコンストラクタ、コピー代入演算子、およびムーブ代入演算子が std::optional のものとは（条件付きで）異なり、必要に応じて `T` に代入可能性を追加し、常に copyableまたは movable(since C++23) を満たすようにします。

もし `T` が既に copyable であるか、または std::is_nothrow_move_constructible_v<T> と std::is_nothrow_copy_constructible_v<T> の両方が true である場合、/*copyable-box*/<T> は常に値を持つため、`T` オブジェクトのみを格納することができます。	(C++23まで)
もし `T` が 既に copyable であるか、または copy_constructible であり、かつ std::is_nothrow_move_constructible_v<T> と std::is_nothrow_copy_constructible_v<T> の両方が true であるか、または copy_constructible を満たさないが movable を満たすか、または copy_constructible を満たさないが std::is_nothrow_move_constructible_v<T> が true である場合、 /*movable-box*/<T> は常に値を持つため、`T` オブジェクトのみを格納することができます。	(C++23から)

テンプレートパラメータ

T

-

格納される値の型。オブジェクト型で、copy_constructible(until C++23)move_constructible(since C++23) をモデルとする必要があります。

メンバ関数

デフォルトコンストラクタ

constexpr /*copyable-box*/() noexcept(std::is_nothrow_default_constructible_v<T>)     requires std::default_initializable<T>     : /*copyable-box*/(std::in_place) { }		(C++20以降) (C++23まで)
constexpr /*movable-box*/() noexcept(std::is_nothrow_default_constructible_v<T>)     requires std::default_initializable<T>     : /*movable-box*/(std::in_place) { }		(C++23から)

デフォルトコンストラクタは、`T` が default_initializable をモデルとする場合にのみ提供されます。

デフォルト構築されたラッパーは、値初期化された `T` オブジェクトを含みます。

代入演算子

	(1)
constexpr /*copyable-box*/& operator=(const /*copyable-box*/& other);     noexcept(/* see below */);			(C++20以降) (C++23まで)
constexpr /*movable-box*/& operator=(const /*movable-box*/& other)     noexcept(/* see below */) requires std::copy_constructible<T>;			(C++23から)
		(2)
constexpr /*copyable-box*/& operator=(/*copyable-box*/&& other)     noexcept(std::is_nothrow_move_constructible_v<T>);				(C++20以降) (C++23まで)
constexpr /*movable-box*/& operator=(/*movable-box*/&& other)     noexcept(std::is_nothrow_move_constructible_v<T>);				(C++23から)

1) もし std::copyable<T> がモデル化されていない場合、コピー代入演算子は以下のように等価に定義されます。

constexpr /*copyable-box*/& operator=(const /*copyable-box*/& other)     noexcept(std::is_nothrow_copy_constructible_v<T>) {     if (this != std::addressof(other))         if (other)             emplace(*other);         else             reset();     return *this; }	(C++23まで)
constexpr /*movable-box*/& operator=(const /*movable-box*/& other)     noexcept(std::is_nothrow_copy_constructible_v<T>)     requires std::copy_constructible<T> {     if (this != std::addressof(other))         if (other)             emplace(*other);         else             reset();     return *this; }	(C++23から)

そうでなければ、std::optional のコピー代入演算子 と等価です。

2) もし std::movable<T> がモデル化されていない場合、ムーブ代入演算子は以下のように等価に定義されます。

constexpr /*copyable-box*/& operator=(/*copyable-box*/&& other)     noexcept(std::is_nothrow_move_constructible_v<T>) {     if (this != std::addressof(other))         if (other)             emplace(std::move(*other));         else             reset();     return *this; }	(C++23まで)
constexpr /*movable-box*/& operator=(/*movable-box*/&& other)     noexcept(std::is_nothrow_move_constructible_v<T>) {     if (this != std::addressof(other))         if (other)             emplace(std::move(*other));         else             reset();     return *this; }	(C++23から)

そうでなければ、std::optional のムーブ代入演算子 と等価です。

std::optional と同一のメンバ

メンバ関数

(コンストラクタ)	optional オブジェクトを構築する (public member function of std::optional<T>)
(デストラクタ)	保持されている値があれば、それを破棄する (public member function of std::optional<T>)
operator=	内容を代入する (public member function of std::optional<T>)
監視
operator->operator*	保持されている値にアクセスする (public member function of std::optional<T>)
operator boolhas_value	オブジェクトが値を保持しているか確認する (public member function of std::optional<T>)
変更
reset	保持されている値を破棄する (public member function of std::optional<T>)
emplace	保持する値を直接構築する (public member function of std::optional<T>)

注記

a copyable-box(until C++23)movable-box(since C++23) は、値を持たないのは以下の場合です。

• `T` が movable または copyable をモデル化せず、それぞれムーブ代入またはコピー代入で例外がスローされる場合、または
• 別の値を持たないラッパーから初期化/代入された場合。

P2325R3 より前は、このラッパーは標準では semiregular-box と呼ばれ、デフォルトコンストラクタが常に提供されていたため（これは値を持たないラッパーを構築する可能性があります）、常に semiregular を満たしていました。

機能テストマクロ	値	規格	機能
__cpp_lib_ranges	201911L	(C++20)	レンジライブラリと制約付きアルゴリズム
	202106L	(C++20) (DR)	非デフォルト初期化可能なview
	202207L	(C++23)	ムーブ専用型を許可するためのレンジアダプタの緩和

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
P2325R3	C++20	もし `T` が default_initializable でない場合、デフォルトコンストラクタは 値を持たないラッパーを構築します。	ラッパーはまた default_initializableではありません。
LWG 3572	C++20	条件付きで異なる代入演算子は constexpr ではありませんでした。	constexpr になりました。

関連項目

ranges::single_viewviews::single (C++20)	指定された値の単一要素を含む view (クラステンプレート) (カスタマイゼーションポイントオブジェクト)
ranges::repeat_viewviews::repeat (C++23)	同じ値を繰り返し生成することで得られるシーケンスからなる view (クラステンプレート) (カスタマイゼーションポイントオブジェクト)
ranges::filter_viewviews::filter (C++20)	述語を満たすrangeの要素からなる view (クラステンプレート) (rangeアダプタオブジェクト)
ranges::transform_viewviews::transform (C++20)	各要素に変換関数を適用するシーケンスの view (クラステンプレート) (rangeアダプタオブジェクト)
ranges::take_while_viewviews::take_while (C++20)	別のviewの先頭から、述語がfalseを返す最初の要素までの要素からなる view (クラステンプレート) (rangeアダプタオブジェクト)
ranges::drop_while_viewviews::drop_while (C++20)	別のviewの要素から、述語がfalseを返す最初の要素までの先頭部分シーケンスをスキップして構成される view (クラステンプレート) (rangeアダプタオブジェクト)
ranges::zip_transform_viewviews::zip_transform (C++23)	適合するviewの対応する要素に変換関数を適用した結果からなる view (クラステンプレート) (カスタマイゼーションポイントオブジェクト)
ranges::adjacent_transform_viewviews::adjacent_transform (C++23)	適合するviewの隣接する要素に変換関数を適用した結果からなる view (クラステンプレート) (rangeアダプタオブジェクト)