copy_constructible.md

copy_constructible

• concepts[meta header]
• concept[meta id-type]
• std[meta namespace]
• cpp20[meta cpp]

namespace std {
  template<class T>
  concept copy_constructible =
    move_constructible<T> &&
    constructible_from<T, T&> && convertible_to<T&, T> &&
    constructible_from<T, const T&> && convertible_to<const T&, T> &&
    constructible_from<T, const T> && convertible_to<const T, T>;
}

• move_constructible[link /reference/concepts/move_constructible.md]
• constructible_from[link /reference/concepts/constructible_from.md]
• convertible_to[link /reference/concepts/convertible_to.md]

概要

copy_constructibleは、任意の型Tがコピー構築可能であること表すコンセプトである。

モデル

Tがオブジェクト型ならばvをTの左辺値（const付きも含む）もしくはconst Tの右辺値とすると、このvについて以下の条件を満たす場合に限って型Tはcopy_constructibleのモデルである。

• T u = v;の定義の後ではuとvは等値であること
• T(v)はuと等値であること

例

#include <iostream>
#include <concepts>

template<std::copy_constructible T>
void f(const char* name) {
  std::cout << name << " is copy constructible" << std::endl;
}

template<typename T>
void f(const char* name) {
  std::cout << name << " is not copy constructible" << std::endl;
}

struct S {
  S(const S&) = delete;
  
  S(int m) : n(m) {}

  int n = 0;
};

struct M {
  M(M&&) = delete;
};

struct C {
  C(const C&) = default;
};

int main() {
  f<int>("int");
  f<S>("S");
  f<M>("M");
  f<C>("C");
}   

• std::copy_constructible[color ff0000]

出力

int is copy constructible
S is not copy constructible
M is not copy constructible
C is copy constructible

バージョン

言語

• C++20

処理系

• Clang: ??
• GCC: 10.1 [mark verified]
• Visual C++: 2019 Update 3 [mark verified]

関連項目

• C++20 コンセプト
• is_copy_constructible

参照

• P0898R3 Standard Library Concepts
• P1754R1 Rename concepts to standard_case for C++20, while we still can
• LWG Issue 3141. CopyConstructible doesn't preserve source values