1 | #ifndef BOOST_CORE_CHECKED_DELETE_HPP |
2 | #define BOOST_CORE_CHECKED_DELETE_HPP |
3 | |
4 | // MS compatible compilers support #pragma once |
5 | |
6 | #if defined(_MSC_VER) && (_MSC_VER >= 1020) |
7 | # pragma once |
8 | #endif |
9 | |
10 | #include <boost/config.hpp> |
11 | |
12 | // |
13 | // boost/checked_delete.hpp |
14 | // |
15 | // Copyright (c) 2002, 2003 Peter Dimov |
16 | // Copyright (c) 2003 Daniel Frey |
17 | // Copyright (c) 2003 Howard Hinnant |
18 | // |
19 | // Distributed under the Boost Software License, Version 1.0. (See |
20 | // accompanying file LICENSE_1_0.txt or copy at |
21 | // http://www.boost.org/LICENSE_1_0.txt) |
22 | // |
23 | // See http://www.boost.org/libs/core/doc/html/core/checked_delete.html for documentation. |
24 | // |
25 | |
26 | namespace boost |
27 | { |
28 | |
29 | // verify that types are complete for increased safety |
30 | |
31 | template<class T> inline void checked_delete(T * x) BOOST_NOEXCEPT |
32 | { |
33 | #if defined(__cpp_static_assert) && __cpp_static_assert >= 200410L |
34 | |
35 | static_assert( sizeof(T) != 0, "Type must be complete" ); |
36 | |
37 | #else |
38 | |
39 | typedef char type_must_be_complete[ sizeof(T) ]; |
40 | (void) sizeof(type_must_be_complete); |
41 | |
42 | #endif |
43 | |
44 | delete x; |
45 | } |
46 | |
47 | template<class T> inline void checked_array_delete(T * x) BOOST_NOEXCEPT |
48 | { |
49 | #if defined(__cpp_static_assert) && __cpp_static_assert >= 200410L |
50 | |
51 | static_assert( sizeof(T) != 0, "Type must be complete" ); |
52 | |
53 | #else |
54 | |
55 | typedef char type_must_be_complete[ sizeof(T) ]; |
56 | (void) sizeof(type_must_be_complete); |
57 | |
58 | #endif |
59 | |
60 | delete [] x; |
61 | } |
62 | |
63 | // Block unintended ADL |
64 | namespace checked_deleters |
65 | { |
66 | |
67 | template<class T> struct checked_deleter |
68 | { |
69 | typedef void result_type; |
70 | typedef T * argument_type; |
71 | |
72 | void operator()(T * x) const BOOST_NOEXCEPT |
73 | { |
74 | // boost:: disables ADL |
75 | boost::checked_delete(x); |
76 | } |
77 | }; |
78 | |
79 | template<class T> struct checked_array_deleter |
80 | { |
81 | typedef void result_type; |
82 | typedef T * argument_type; |
83 | |
84 | void operator()(T * x) const BOOST_NOEXCEPT |
85 | { |
86 | boost::checked_array_delete(x); |
87 | } |
88 | }; |
89 | |
90 | } // namespace checked_deleters |
91 | |
92 | using checked_deleters::checked_deleter; |
93 | using checked_deleters::checked_array_deleter; |
94 | |
95 | } // namespace boost |
96 | |
97 | #endif // #ifndef BOOST_CORE_CHECKED_DELETE_HPP |
98 | |