feedc0de/boost_type_traits
1
0
Fork 0
forked from boostorg/type_traits
Code Pull Requests Activity

Improve testing: ensure that aligned_storage<>::type really is a POD type.

Browse Source 
[SVN r28476]
This commit is contained in:
John Maddock
2005-04-25 16:42:47 +00:00
parent 74e3b91d8f
commit cf105d7630
1 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
test/aligned_storage_test.cpp
View File

@ -14,10 +14,26 @@
# include <boost/type_traits/is_pod.hpp>
#endif
template <class T>
union must_be_pod
{
int i;
T t;
};
template <class T>
void no_unused_warning(const volatile T&)
{
}
template <class T>
void check(const T&)
{
typedef typename tt::aligned_storage<T::value,T::value>::type t1;
t1 as1 = { 0, };
must_be_pod<t1> pod1;
no_unused_warning(as1);
no_unused_warning(pod1);
BOOST_MESSAGE(typeid(t1).name());
BOOST_CHECK(::tt::alignment_of<t1>::value == T::value);
BOOST_CHECK(sizeof(t1) == T::value);
@ -25,6 +41,10 @@ void check(const T&)
BOOST_CHECK(::tt::is_pod<t1>::value == true);
#endif
typedef typename tt::aligned_storage<T::value*2,T::value>::type t2;
t2 as2 = { 0, };
must_be_pod<t2> pod2;
no_unused_warning(as2);
no_unused_warning(pod2);
BOOST_MESSAGE(typeid(t2).name());
BOOST_CHECK(::tt::alignment_of<t2>::value == T::value);
BOOST_CHECK(sizeof(t2) == T::value*2);
@ -33,6 +53,10 @@ void check(const T&)
#endif
typedef typename tt::aligned_storage<T::value,-1L>::type t3;
t3 as3 = { 0, };
must_be_pod<t3> pod3;
no_unused_warning(as3);
no_unused_warning(pod3);
BOOST_MESSAGE(typeid(t3).name());
BOOST_CHECK(::tt::alignment_of<t3>::value == ::boost::alignment_of< ::boost::detail::max_align>::value);
BOOST_CHECK((sizeof(t3) % T::value) == 0);