1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// The LLVM Compiler Infrastructure 4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// type_traits 11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// is_polymorphic 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_is_polymorphic() 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_polymorphic<T>::value, ""); 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_polymorphic<const T>::value, ""); 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_polymorphic<volatile T>::value, ""); 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_polymorphic<const volatile T>::value, ""); 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_is_not_polymorphic() 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_polymorphic<T>::value, ""); 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_polymorphic<const T>::value, ""); 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_polymorphic<volatile T>::value, ""); 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_polymorphic<const volatile T>::value, ""); 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Empty 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass NotEmpty 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant virtual ~NotEmpty(); 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantunion Union {}; 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct bit_zero 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant int : 0; 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Abstract 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant virtual ~Abstract() = 0; 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 55933afa9761c1c1f916161278a99284d50a594939Marshall Clow#if __has_feature(cxx_attributes) 5611a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnantclass Final final { 5711a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnant}; 58933afa9761c1c1f916161278a99284d50a594939Marshall Clow#else 59933afa9761c1c1f916161278a99284d50a594939Marshall Clowclass Final { 60933afa9761c1c1f916161278a99284d50a594939Marshall Clow}; 61933afa9761c1c1f916161278a99284d50a594939Marshall Clow#endif 6211a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnant 63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 64c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 65c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<void>(); 66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<int&>(); 67c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<int>(); 68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<double>(); 69c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<int*>(); 70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<const int*>(); 71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<char[3]>(); 72c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<char[3]>(); 73c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<Union>(); 74c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<Empty>(); 75c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_polymorphic<bit_zero>(); 7611a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnant test_is_not_polymorphic<Final>(); 7711a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnant test_is_not_polymorphic<NotEmpty&>(); 7811a50ac49798c0c6dec9252b1591230e0e572017Howard Hinnant test_is_not_polymorphic<Abstract&>(); 79c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 80c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_polymorphic<NotEmpty>(); 81c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_polymorphic<Abstract>(); 82c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 83