#ifndef BOOST_STATECHART_DETAIL_MEMORY_HPP_INCLUDED #define BOOST_STATECHART_DETAIL_MEMORY_HPP_INCLUDED ////////////////////////////////////////////////////////////////////////////// // Copyright 2005-2006 Andreas Huber Doenni // Distributed under the Boost Software License, Version 1.0. (See accompany- // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) ////////////////////////////////////////////////////////////////////////////// #include #include #include #include // std::size_t #include // std::allocator_traits namespace boost { namespace statechart { #ifdef BOOST_NO_CXX11_ALLOCATOR typedef void none; #else // The specialization std::allocator doesn't satisfy C++17's // allocator completeness requirements. Therefore it is deprecated // and should no longer be used. Supply a replacement type for all // the allocator default template arguments in the library. struct none {}; #endif namespace detail { // defect: 'allocate' and 'deallocate' cannot handle stateful allocators! template< class MostDerived, class Allocator > void * allocate( std::size_t size ) { avoid_unused_warning( size ); // The assert below fails when memory is allocated for an event<>, // simple_state<> or state<> subtype object, *and* the first template // parameter passed to one of these templates is not equal to the most- // derived object being constructed. // The following examples apply to all these subtypes: // // Example 1 // struct A {}; // struct B : sc::simple_state< A, /* ... */ > // // Above, the first template parameter must be equal to the most- // // derived type // // // Example 2 // struct A : sc::event< A > // struct B : A { /* ... */ }; // void f() { delete new B(); } // // Above the most-derived type being constructed is B, but A was passed // // as the most-derived type to event<>. BOOST_ASSERT( size == sizeof( MostDerived ) ); typedef typename boost::detail::allocator::rebind_to< Allocator, MostDerived >::type md_allocator; md_allocator alloc; #ifdef BOOST_NO_CXX11_ALLOCATOR return alloc.allocate( 1, static_cast< MostDerived * >( 0 ) ); #else typedef std::allocator_traits md_traits; return md_traits::allocate( alloc, 1, static_cast< MostDerived * >( 0 ) ); #endif } template< class MostDerived, class Allocator > void deallocate( void * pObject ) { typedef typename boost::detail::allocator::rebind_to< Allocator, MostDerived >::type md_allocator; md_allocator alloc; #ifdef BOOST_NO_CXX11_ALLOCATOR alloc.deallocate( static_cast< MostDerived * >( pObject ), 1 ); #else typedef std::allocator_traits md_traits; md_traits::deallocate( alloc, static_cast< MostDerived * >( pObject ), 1 ); #endif } } // namespace detail } // namespace statechart } // namespace boost #endif