std:: is_trivially_copyable

std::is_trivially_copyable は UnaryTypeTrait です。

T が trivially copyable 型である場合、メンバ定数 value を true に設定します。それ以外の型の場合、 value は false となります。

std:: remove_all_extents_t < T > が不完全型であり、かつ（CV修飾された可能性のある） void でない場合、動作は未定義です。

プログラムが std::is_trivially_copyable または std::is_trivially_copyable_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

注記

潜在的にオーバーラップする部分オブジェクトではないトリビアルコピー可能な型のオブジェクトは、 std::memcpy で安全にコピーできる、あるいは std::ofstream::write() / std::ifstream::read() でバイナリファイルへのシリアライズ/からのデシリアライズが可能な唯一のC++オブジェクトです。

例

#include <type_traits>
struct A { int m; };
static_assert(std::is_trivially_copyable_v<A> == true);
struct B { B(B const&) {} };
static_assert(std::is_trivially_copyable_v<B> == false);
struct C { virtual void foo(); };
static_assert(std::is_trivially_copyable_v<C> == false);
struct D
{
    int m;
    D(D const&) = default; // -> trivially copyable
    D(int x) : m(x + 1) {}
};
static_assert(std::is_trivially_copyable_v<D> == true);
int main() {}

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目