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_standard_layout 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 17933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_is_standard_layout() 18933afa9761c1c1f916161278a99284d50a594939Marshall Clow{ 19933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_standard_layout<T>::value, ""); 20933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_standard_layout<const T>::value, ""); 21933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_standard_layout<volatile T>::value, ""); 22933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_standard_layout<const volatile T>::value, ""); 23933afa9761c1c1f916161278a99284d50a594939Marshall Clow} 24933afa9761c1c1f916161278a99284d50a594939Marshall Clow 25933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 26933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_is_not_standard_layout() 27933afa9761c1c1f916161278a99284d50a594939Marshall Clow{ 28933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_standard_layout<T>::value, ""); 29933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_standard_layout<const T>::value, ""); 30933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_standard_layout<volatile T>::value, ""); 31933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_standard_layout<const volatile T>::value, ""); 32933afa9761c1c1f916161278a99284d50a594939Marshall Clow} 33933afa9761c1c1f916161278a99284d50a594939Marshall Clow 346063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnanttemplate <class T1, class T2> 356063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnantstruct pair 366063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant{ 376063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant T1 first; 386063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant T2 second; 396063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant}; 406063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 43933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_standard_layout<int> (); 44933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_standard_layout<int[3]> (); 45933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_standard_layout<pair<int, double> > (); 46933afa9761c1c1f916161278a99284d50a594939Marshall Clow 47933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_not_standard_layout<int&> (); 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 49