std::assignable_from

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

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

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

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

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

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

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

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

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

コンセプトライブラリ

中核言語のコンセプト same_as (C++20) derived_from (C++20) convertible_to (C++20) common_reference_with (C++20) common_with (C++20) integral (C++20) signed_integral (C++20) unsigned_integral (C++20) floating_point (C++20) swappableswappable_with (C++20)(C++20) destructible (C++20) constructible_from (C++20) default_initializable (C++20)   move_constructible (C++20) copy_constructible (C++20) assignable_from (C++20)

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

説明専用のコンセプト boolean-testable  (C++20)

 

ヘッダ <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` によって指定された左辺値式に代入可能であることを指定します。

意味要件

以下を考えます。

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

`assignable_from<LHS, RHS>` は、以下の場合にモデル化されます。

• std::addressof(lhs = rhs) == std::addressof(lcopy) (つまり、代入式は左オペランドを参照する左辺値を生成します)。
• `lhs = rhs` を評価した後
  • `lhs` は `rcopy` と等しくなります。ただし、`rhs` が `lcopy` を参照する非 const xvalue である場合 (つまり、代入が自己移動代入である場合) は除きます。
  • `rhs` が glvalue の場合
    • 非 const xvalue の場合、それが参照するオブジェクトは有効ですが未指定の状態になります。
    • それ以外の場合、それが参照するオブジェクトは変更されません。

等価性保持

標準ライブラリのコンセプトのrequires式で宣言された式は、(特に明記されていない限り)等価性保持である必要があります。

注意

代入は全域関数である必要はありません。特に、あるオブジェクト `x` への代入によって別のオブジェクト `y` が変更される可能性がある場合、x = y は `=` の定義域にない可能性が高いです。これは通常、右オペランドが左オペランドによって直接または間接的に所有されている場合 (たとえば、ノードベースのデータ構造のスマートポインタ、または std::vector<std::any> のようなもの) に発生します。

例

このコードを実行

#include <atomic>
#include <concepts>
#include <string>
 
int main()
{
    // Normal basic usage, checks lvalue reference assignment
    static_assert(std::is_assignable_v<int&, int>);
    static_assert(std::assignable_from<int&, int>);
 
    static_assert(std::is_assignable_v<std::string&, std::string>);
    static_assert(std::assignable_from<std::string&, std::string>);
 
    // Fundamental types don't support assignment to an rvalue
    static_assert(!std::is_assignable_v<int, int>);
    static_assert(!std::assignable_from<int, int>);
 
    // std::assignable_from doesn't accept all valid assignment expressions:
 
    // rvalue reference assignment
    static_assert(std::is_assignable_v<std::string&&, std::string>);
    static_assert(!std::assignable_from<std::string&&, std::string>);
 
    // rvalue assignment
    static_assert(std::is_assignable_v<std::string, std::string>);
    static_assert(!std::assignable_from<std::string, std::string>);
 
    // std::atomic::operator= returns by value
    static_assert(std::is_assignable_v<std::atomic<int>&, int>);
    static_assert(!std::assignable_from<std::atomic<int>&, int>);
}

参照

• C++23標準 (ISO/IEC 14882:2024)

• 18.4.8 コンセプト `assignable_from` [concept.assignable]

• C++20 standard (ISO/IEC 14882:2020)

• 18.4.8 コンセプト `assignable_from` [concept.assignable]

関連項目

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

型が特定の引数に対する代入演算子を持つかをチェックする (クラステンプレート)