std::assignable_from

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

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

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

比較のコンセプト equality_comparableequality_comparable_with totally_orderedtotally_ordered_with オブジェクトのコンセプト movable copyable semiregular regular 呼び出し可能のコンセプト invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

<tbody> </tbody>

ヘッダ <concepts> で定義
template< class LHS, class RHS > concept assignable_from = std::is_lvalue_reference_v<LHS> && std::common_reference_with< const std::remove_reference_t<LHS>&, const std::remove_reference_t<RHS>&> && requires(LHS lhs, RHS&& rhs) { { lhs = std::forward<RHS>(rhs) } -> std::same_as<LHS>; };		(C++20以上)

コンセプト assignable_from<LHS, RHS> は RHS によって指定される型および値カテゴリの式が LHS によって指定される型を持つ左辺値式に代入可能であることを指定します。

• decltype((lhs)) が LHS であるようなオブジェクト lcopy を参照する左辺値 lhs
• decltype((rhs)) が RHS であるような式 rhs
• rhs と等しい別のオブジェクト rcopy

が与えられたとき、以下の内容を満たす場合に限り、 assignable_from<LHS, RHS> が満たされます。

• std::addressof(lhs = rhs) == std::addressof(lcopy) (すなわち、代入式が左の被演算子を参照する左辺値を返す)
• lhs = rhs の評価の後、
  • rhs が lcopy を参照する非 const な xvalue (すなわち自己ムーブ代入) でない限り、 lhs が rcopy と等しくなる。
  • rhs が glvalue の場合、
    • それが非 const な xvalue であれば、その参照先のオブジェクトが有効だけれども未規定な状態になる。
    • そうでなければ、その参照先のオブジェクトは変更されない。

等しさの維持

等しい入力を与えると等しい出力が得られる場合、その式は等しさを維持します。

• 式への入力がその被演算子から構成される。
• 式の出力がその結果およびその式によって変更されるすべての被演算子 (もしあれば) から構成される。

等しさを維持することが要求されるすべての式は、さらに安定であることも要求されます。 同じ入力オブジェクトを用いたそのような式の2回の評価は、間にそれらの入力オブジェクトの変更が明示的に挟まれなければ、等しい出力が得られなければなりません。

特に明記されない限り、 requires 式で使用されるすべての式は、等しさを維持することと安定であることが要求され、式の評価は非定数の被演算子のみを変更することができます。 定数である被演算子は変更してはなりません。

ノート

代入は全域写像である必要はありません。 特に、何らかのオブジェクト x への代入が何らかの別のオブジェクト y を変更することがある場合、 x = y はおそらく = の領域内にありません。 これは一般的には右の被演算子が直接的または間接的に左の被演算子によって所有されている (ノードベースのデータ構造におけるノードへのスマートポインタや std::vector<std::any> のような何かによって) 場合に発生します。

関連項目

is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)

型が特定の引数に対する代入演算子を持っているかどうか調べます (クラステンプレート)