std:: is_abstract

std::is_abstract は UnaryTypeTrait です。

T が abstract class （すなわち、少なくとも1つの純粋仮想関数を宣言または継承する非共用体クラス）である場合、メンバ定数 value を true に設定します。それ以外の型の場合、 value は false となります。

T が不完全な非共用体クラス型である場合、動作は未定義です。

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

テンプレートパラメータ

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

例

#include <iostream>
#include <type_traits>
struct A { int m; };
static_assert(std::is_abstract_v<A> == false);
struct B { virtual void foo(); };
static_assert(std::is_abstract_v<B> == false);
struct C { virtual void foo() = 0; };
static_assert(std::is_abstract_v<C> == true);
struct D : C {};
static_assert(std::is_abstract_v<D> == true);
struct E : C { void foo() override {} };
static_assert(std::is_abstract_v<E> == false);
int main() {}

欠陥報告

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

関連項目