williamr@2: #ifndef BOOST_CHECKED_DELETE_HPP_INCLUDED
williamr@2: #define BOOST_CHECKED_DELETE_HPP_INCLUDED
williamr@2: 
williamr@2: // MS compatible compilers support #pragma once
williamr@2: 
williamr@2: #if defined(_MSC_VER) && (_MSC_VER >= 1020)
williamr@2: # pragma once
williamr@2: #endif
williamr@2: 
williamr@2: //
williamr@2: //  boost/checked_delete.hpp
williamr@2: //
williamr@2: //  Copyright (c) 2002, 2003 Peter Dimov
williamr@2: //  Copyright (c) 2003 Daniel Frey
williamr@2: //  Copyright (c) 2003 Howard Hinnant
williamr@2: //
williamr@2: //  Distributed under the Boost Software License, Version 1.0. (See
williamr@2: //  accompanying file LICENSE_1_0.txt or copy at
williamr@2: //  http://www.boost.org/LICENSE_1_0.txt)
williamr@2: //
williamr@2: //  See http://www.boost.org/libs/utility/checked_delete.html for documentation.
williamr@2: //
williamr@2: 
williamr@2: namespace boost
williamr@2: {
williamr@2: 
williamr@2: // verify that types are complete for increased safety
williamr@2: 
williamr@2: template<class T> inline void checked_delete(T * x)
williamr@2: {
williamr@2:     // intentionally complex - simplification causes regressions
williamr@2:     typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
williamr@2:     (void) sizeof(type_must_be_complete);
williamr@2:     delete x;
williamr@2: }
williamr@2: 
williamr@2: template<class T> inline void checked_array_delete(T * x)
williamr@2: {
williamr@2:     typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
williamr@2:     (void) sizeof(type_must_be_complete);
williamr@2:     delete [] x;
williamr@2: }
williamr@2: 
williamr@2: template<class T> struct checked_deleter
williamr@2: {
williamr@2:     typedef void result_type;
williamr@2:     typedef T * argument_type;
williamr@2: 
williamr@2:     void operator()(T * x) const
williamr@2:     {
williamr@2:         // boost:: disables ADL
williamr@2:         boost::checked_delete(x);
williamr@2:     }
williamr@2: };
williamr@2: 
williamr@2: template<class T> struct checked_array_deleter
williamr@2: {
williamr@2:     typedef void result_type;
williamr@2:     typedef T * argument_type;
williamr@2: 
williamr@2:     void operator()(T * x) const
williamr@2:     {
williamr@2:         boost::checked_array_delete(x);
williamr@2:     }
williamr@2: };
williamr@2: 
williamr@2: } // namespace boost
williamr@2: 
williamr@2: #endif  // #ifndef BOOST_CHECKED_DELETE_HPP_INCLUDED