boost_checked_delete_bits.h

Go to the documentation of this file.

#ifndef MADNESS_BOOST_CHECKED_DELETE_BITS_H
#define MADNESS_BOOST_CHECKED_DELETE_BITS_H
namespace madness {
    namespace detail {

        // These checked delete and deleters are copied from Boost.
        // They ensure that compilers issue warnings if T is an incomplete type.


        template <typename T>
        inline void checked_delete(T* p) {
            // intentionally complex - simplification causes regressions
            typedef char type_must_be_complete[sizeof(T) ? 1 : -1];
            (void)sizeof(type_must_be_complete);
            delete p;
        }


        template <typename T>
        inline void checked_array_delete(T* a) {
            typedef char type_must_be_complete[sizeof(T) ? 1 : -1];
            (void)sizeof(type_must_be_complete);
            delete[] a;
        }


        template <typename T>
        inline void checked_free(T* p) {
            typedef char type_must_be_complete[sizeof(T) ? 1 : -1];
            (void)sizeof(type_must_be_complete);
            free(p);
        }

        template <typename T>
        inline void no_delete(T*) { }

        inline void no_delete(void*) { }


        template <typename T>
        struct CheckedDeleter {
            typedef void result_type;
            typedef T * argument_type;

            void operator()(T* p) const {
                checked_delete(p);
            }
        };


        template <typename T>
        struct CheckedArrayDeleter {
            typedef void result_type;
            typedef T * argument_type;

            void operator()(T* a) const {
                checked_array_delete(a);
            }
        };


        template <typename T>
        struct CheckedFree {
            typedef void result_type;
            typedef T * argument_type;

            void operator()(T* p) const {
                checked_free(p);
            }
        };

        template <typename T>
        struct NoDeleter {
            typedef void result_type;
            typedef T * argument_type;

            void operator()(T*) const { }
        };

    } // namespace detail
} // namespace madness
#endif