名前空間
変種
操作

std::experimental::ranges::CopyConstructible

From cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
 
 
コンセプトライブラリ
中核言語のコンセプト
                              
オブジェクトのコンセプト
CopyConstructible
                              
                              
比較のコンセプト
呼び出し可能オブジェクトのコンセプト
                                        
                              
URNGコンセプト
 
template< class T >

concept bool CopyConstructible =
    MoveConstructible<T> &&
    Constructible<T, T&> && ConvertibleTo<T&, T> &&
    Constructible<T, const T&> && ConvertibleTo<const T&, T> &&

    Constructible<T, const T> && ConvertibleTo<const T, T>;
(ranges TS)

コンセプトCopyConstructibleは、Tが左辺値参照型である場合、またはオブジェクト型であり、そのような型のオブジェクトが(おそらくconstな)左辺値またはconst右辺値から、通常の意味(コピー元は変更されずにコピーが構築される)で、直接初期化およびコピー初期化の両方のコンテキストで構築できる場合、満たされます。

より正確には、Tがオブジェクト型である場合、CopyConstructible<T>は、以下が与えられた場合にのみ満たされます。

  • v、型(おそらく(constT)の左辺値、または型const Tの右辺値。

以下の条件が真である。

  • 定義T u = v;の後、uvと等しい。
  • T{v}vと等しい。

[編集] 関連項目

型がコピーコンストラクタを持つかをチェックする
(クラステンプレート) [編集]
English 日本語 中文(简体) 中文(繁體)