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_same 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T, class U> 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_is_same() 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<T, U>::value), ""); 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((!std::is_same<const T, U>::value), ""); 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((!std::is_same<T, const U>::value), ""); 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<const T, const U>::value), ""); 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T, class U> 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_is_same_ref() 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<T, U>::value), ""); 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<const T, U>::value), ""); 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<T, const U>::value), ""); 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<const T, const U>::value), ""); 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T, class U> 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_is_not_same() 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((!std::is_same<T, U>::value), ""); 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Class 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantpublic: 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant ~Class(); 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_same<int, int>(); 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_same<void, void>(); 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_same<Class, Class>(); 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_same<int*, int*>(); 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_same_ref<int&, int&>(); 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_same<int, void>(); 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_same<void, Class>(); 56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_same<Class, int*>(); 57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_same<int*, int&>(); 58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_is_not_same<int&, int>(); 59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 60