//===----------------------------------------------------------------------===// // // The LLVM Compiler Infrastructure // // This file is dual licensed under the MIT and the University of Illinois Open // Source Licenses. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // type_traits // is_abstract #include #include "test_macros.h" template void test_is_abstract() { static_assert( std::is_abstract::value, ""); static_assert( std::is_abstract::value, ""); static_assert( std::is_abstract::value, ""); static_assert( std::is_abstract::value, ""); #if TEST_STD_VER > 14 static_assert( std::is_abstract_v, ""); static_assert( std::is_abstract_v, ""); static_assert( std::is_abstract_v, ""); static_assert( std::is_abstract_v, ""); #endif } template void test_is_not_abstract() { static_assert(!std::is_abstract::value, ""); static_assert(!std::is_abstract::value, ""); static_assert(!std::is_abstract::value, ""); static_assert(!std::is_abstract::value, ""); #if TEST_STD_VER > 14 static_assert(!std::is_abstract_v, ""); static_assert(!std::is_abstract_v, ""); static_assert(!std::is_abstract_v, ""); static_assert(!std::is_abstract_v, ""); #endif } class Empty { }; class NotEmpty { virtual ~NotEmpty(); }; union Union {}; struct bit_zero { int : 0; }; class Abstract { virtual ~Abstract() = 0; }; template struct AbstractTemplate { virtual void test() = 0; }; template <> struct AbstractTemplate {}; int main() { test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_not_abstract(); test_is_abstract(); test_is_abstract >(); test_is_not_abstract >(); }