Files
optional/test/optional_test_trivial_assertions.cpp
2012-03-05 19:43:14 +00:00

54 lines
1.5 KiB
C++

#include "boost/optional.hpp"
#include "boost/static_assert.hpp"
#include "boost/type_traits.hpp"
using namespace boost;
typedef optional<char> oc;
typedef optional<int> oi;
typedef optional<int&> of;
typedef optional<std::string> os;
BOOST_STATIC_ASSERT( sizeof(oc) <= 2*sizeof(char) );
BOOST_STATIC_ASSERT( sizeof(oi) <= 2*sizeof(int) );
BOOST_STATIC_ASSERT( !has_trivial_default_constructor<oi>::value ); //never true for optional
BOOST_STATIC_ASSERT( !has_trivial_default_constructor<os>::value );
BOOST_STATIC_ASSERT( has_trivial_destructor<oi>::value ); //should be true where has_trivial_destructor<T>
BOOST_STATIC_ASSERT( has_trivial_destructor<of>::value );
BOOST_STATIC_ASSERT( !has_trivial_destructor<os>::value );
BOOST_STATIC_ASSERT( has_trivial_copy<oi>::value ); //should be true where has_trivial_copy<T>
BOOST_STATIC_ASSERT( has_trivial_copy<of>::value );
BOOST_STATIC_ASSERT( !has_trivial_copy<os>::value );
BOOST_STATIC_ASSERT( has_trivial_assign<oi>::value ); //should be true where has_trivial_assign<T>
BOOST_STATIC_ASSERT( has_trivial_assign<of>::value );
BOOST_STATIC_ASSERT( !has_trivial_assign<os>::value );
BOOST_STATIC_ASSERT( oi::dtor_optimized::value );
BOOST_STATIC_ASSERT( oi::copy_optimized::value );
BOOST_STATIC_ASSERT( of::dtor_optimized::value );
BOOST_STATIC_ASSERT( of::copy_optimized::value );
/*
* The code generated below can be looked at with objdump to see if it is suboptimal
*/
void assign_optional_int(oi& x,oi& y){
x=y;
}
void reset_optional_int(oi& x){
x=boost::none;
}