std:: is_trivial

std::is_trivial は UnaryTypeTrait です。

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

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

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

テンプレートパラメータ

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

例

#include <type_traits>
struct A { int m; };
static_assert(std::is_trivial_v<A> == true);
struct B { B() {} };
static_assert(std::is_trivial_v<B> == false);
// 以下のクラスは、std::is_trivial(_v)が落とし穴となり得る理由を示しています。
class C
{
private:
    C() = default;
};
static_assert(std::is_trivial_v<C> == true);
static_assert(std::is_trivially_default_constructible_v<C> == false);
int main() {}

不具合報告

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

関連項目