container/test/static_vector_options_test.cpp
2019-06-08 13:01:24 +02:00

125 lines
3.7 KiB
C++

//////////////////////////////////////////////////////////////////////////////
//
// (C) Copyright Ion Gaztanaga 2004-2013. Distributed under the Boost
// Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// See http://www.boost.org/libs/container for documentation.
//
//////////////////////////////////////////////////////////////////////////////
#define BOOST_ENABLE_ASSERT_HANDLER
#include <boost/container/static_vector.hpp>
#include <boost/core/lightweight_test.hpp>
#include <new> //for bad_alloc
#include <boost/assert.hpp>
using namespace boost::container;
//User-defined assertion to test throw_on_overflow
struct throw_on_overflow_off
{};
namespace boost {
void assertion_failed(char const *, char const *, char const *, long)
{
throw throw_on_overflow_off();
}
void assertion_failed_msg(char const *, char const *, char const *, char const *, long )
{
throw throw_on_overflow_off();
}
}
void test_alignment()
{
const std::size_t Capacity = 10u;
{ //extended alignment
const std::size_t extended_alignment = sizeof(int)*4u;
BOOST_STATIC_ASSERT(extended_alignment > dtl::alignment_of<int>::value);
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
using options_t = static_vector_options_t< inplace_alignment<extended_alignment> >;
#else
typedef static_vector_options
< inplace_alignment<extended_alignment> >::type options_t;
#endif
static_vector<int, Capacity, options_t> v;
v.resize(v.capacity());
BOOST_ASSERT((reinterpret_cast<std::size_t>(&v[0]) % extended_alignment) == 0);
}
{ //default alignment
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
using options_t = static_vector_options_t< inplace_alignment<0> >;
#else
typedef static_vector_options< inplace_alignment<0> >::type options_t;
#endif
static_vector<int, Capacity, options_t> v;
v.resize(v.capacity());
BOOST_ASSERT((reinterpret_cast<std::size_t>(&v[0]) % dtl::alignment_of<int>::value) == 0);
}
}
void test_throw_on_overflow()
{
#if !defined(BOOST_NO_EXCEPTIONS)
const std::size_t Capacity = 10u;
{ //throw_on_overflow == true, expect bad_alloc
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
using options_t = static_vector_options_t< throw_on_overflow<true> >;
#else
typedef static_vector_options
< throw_on_overflow<true> >::type options_t;
#endif
static_vector<int, Capacity, options_t> v;
v.resize(Capacity);
bool expected_type_thrown = false;
try{
v.push_back(0);
}
catch(std::bad_alloc&)
{
expected_type_thrown = true;
}
catch(...)
{}
BOOST_TEST(expected_type_thrown == true);
BOOST_TEST(v.capacity() == Capacity);
}
{ //throw_on_overflow == false, test it through BOOST_ASSERT
//even in release mode (BOOST_ENABLE_ASSERT_HANDLER), and throwing
//a special type in that assertion.
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
using options_t = static_vector_options_t< throw_on_overflow<false> >;
#else
typedef static_vector_options< throw_on_overflow<false> >::type options_t;
#endif
static_vector<int, Capacity, options_t> v;
v.resize(Capacity);
bool expected_type_thrown = false;
try{
v.push_back(0);
}
catch(throw_on_overflow_off)
{
expected_type_thrown = true;
}
catch(...)
{}
BOOST_TEST(expected_type_thrown == true);
BOOST_TEST(v.capacity() == Capacity);
}
#endif
}
int main()
{
test_alignment();
test_throw_on_overflow();
return ::boost::report_errors();
}