std:: is_polymorphic

std::is_polymorphic は UnaryTypeTrait です。

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

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

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

テンプレートパラメータ

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

実装例

namespace detail
{
    template<class T>
    std::true_type detect_is_polymorphic(
        decltype(dynamic_cast<const volatile void*>(static_cast<T*>(nullptr)))
    );
    template<class T>
    std::false_type detect_is_polymorphic(...);
} // namespace detail
template<class T>
struct is_polymorphic : decltype(detail::detect_is_polymorphic<T>(nullptr)) {};

例

#include <type_traits>
struct A { int m; };
static_assert(!std::is_polymorphic_v<A>);
struct B { virtual void foo(); };
static_assert(std::is_polymorphic_v<B>);
struct C : B {};
static_assert(std::is_polymorphic_v<C>);
struct D { virtual ~D() = default; };
static_assert(std::is_polymorphic_v<D>);
// 継承を使用しているが、virtualキーワードは使用していない:
struct E : A {};
static_assert(!std::is_polymorphic_v<E>);
struct F : virtual A {};
static_assert(!std::is_polymorphic_v<F>);
struct AX : A {};
struct AY : A {};
struct XY : virtual AX, virtual AY {};
static_assert(!std::is_polymorphic_v<XY>);
int main() {}

不具合報告

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

関連項目