1 // (C) Copyright John Maddock 2000.
2 // Use, modification and distribution are subject to the
3 // Boost Software License, Version 1.0. (See accompanying file
4 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7 #include "check_integral_constant.hpp"
8 #include <boost/type_traits/has_new_operator.hpp>
11 // remark #1720: function "class_with_new_op::operator new" has no corresponding member operator delete (to be called if an exception is thrown during initialization of an allocated object)
12 // void * operator new(std::size_t);
14 #pragma warning(disable:1720)
18 # if BOOST_WORKAROUND(BOOST_MSVC, >= 1310)
19 # define BOOST_TT_AUX_MACRO_NEW_DEFINED
20 # pragma push_macro("new")
23 # error "Sorry but you can't include this header if 'new' is defined as a macro."
28 struct class_with_new_op
{
29 void * operator new(std::size_t);
32 struct derived_class_with_new_op
: public class_with_new_op
{};
34 struct class_with_new_op2
{
35 void* operator new(std::size_t size
, const std::nothrow_t
&);
38 struct class_with_new_op3
{
39 void* operator new[](std::size_t size
);
42 struct class_with_new_op4
{
43 void* operator new[](std::size_t size
, const std::nothrow_t
&);
46 struct class_with_new_op5
{
47 void* operator new (std::size_t size
, void* ptr
);
50 struct class_with_new_op6
{
51 void* operator new[] (std::size_t size
, void* ptr
);
54 struct class_with_all_ops
56 void * operator new(std::size_t);
57 void* operator new(std::size_t size
, const std::nothrow_t
&);
58 void* operator new[](std::size_t size
);
59 void* operator new[](std::size_t size
, const std::nothrow_t
&);
60 void* operator new (std::size_t size
, void* ptr
);
61 void* operator new[] (std::size_t size
, void* ptr
);
64 TT_TEST_BEGIN(has_new_operator
)
66 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op
>::value
, true);
67 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<derived_class_with_new_op
>::value
, true);
68 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op2
>::value
, true);
69 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op3
>::value
, true);
70 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op4
>::value
, true);
71 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op5
>::value
, true);
72 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_new_op6
>::value
, true);
73 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<class_with_all_ops
>::value
, true);
75 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<bool>::value
, false);
76 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<bool const>::value
, false);
77 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<bool volatile>::value
, false);
78 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<bool const volatile>::value
, false);
80 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<signed char>::value
, false);
81 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<signed char const>::value
, false);
82 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<signed char volatile>::value
, false);
83 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<signed char const volatile>::value
, false);
84 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned char>::value
, false);
85 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<char>::value
, false);
86 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned char const>::value
, false);
87 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<char const>::value
, false);
88 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned char volatile>::value
, false);
89 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<char volatile>::value
, false);
90 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned char const volatile>::value
, false);
91 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<char const volatile>::value
, false);
93 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned short>::value
, false);
94 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<short>::value
, false);
95 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned short const>::value
, false);
96 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<short const>::value
, false);
97 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned short volatile>::value
, false);
98 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<short volatile>::value
, false);
99 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned short const volatile>::value
, false);
100 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<short const volatile>::value
, false);
102 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned int>::value
, false);
103 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int>::value
, false);
104 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned int const>::value
, false);
105 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int const>::value
, false);
106 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned int volatile>::value
, false);
107 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int volatile>::value
, false);
108 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned int const volatile>::value
, false);
109 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int const volatile>::value
, false);
111 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned long>::value
, false);
112 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long>::value
, false);
113 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned long const>::value
, false);
114 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long const>::value
, false);
115 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned long volatile>::value
, false);
116 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long volatile>::value
, false);
117 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned long const volatile>::value
, false);
118 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long const volatile>::value
, false);
120 #ifdef BOOST_HAS_LONG_LONG
122 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::ulong_long_type
>::value
, false);
123 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::long_long_type
>::value
, false);
124 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::ulong_long_type
const>::value
, false);
125 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::long_long_type
const>::value
, false);
126 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::ulong_long_type
volatile>::value
, false);
127 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::long_long_type
volatile>::value
, false);
128 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::ulong_long_type
const volatile>::value
, false);
129 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
< ::boost::long_long_type
const volatile>::value
, false);
133 #ifdef BOOST_HAS_MS_INT64
135 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int8
>::value
, false);
136 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int8
>::value
, false);
137 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int8
const>::value
, false);
138 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int8
const>::value
, false);
139 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int8
volatile>::value
, false);
140 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int8
volatile>::value
, false);
141 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int8
const volatile>::value
, false);
142 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int8
const volatile>::value
, false);
144 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int16
>::value
, false);
145 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int16
>::value
, false);
146 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int16
const>::value
, false);
147 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int16
const>::value
, false);
148 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int16
volatile>::value
, false);
149 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int16
volatile>::value
, false);
150 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int16
const volatile>::value
, false);
151 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int16
const volatile>::value
, false);
153 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int32
>::value
, false);
154 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int32
>::value
, false);
155 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int32
const>::value
, false);
156 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int32
const>::value
, false);
157 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int32
volatile>::value
, false);
158 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int32
volatile>::value
, false);
159 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int32
const volatile>::value
, false);
160 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int32
const volatile>::value
, false);
162 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int64
>::value
, false);
163 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int64
>::value
, false);
164 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int64
const>::value
, false);
165 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int64
const>::value
, false);
166 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int64
volatile>::value
, false);
167 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int64
volatile>::value
, false);
168 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<unsigned __int64
const volatile>::value
, false);
169 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<__int64
const volatile>::value
, false);
173 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<float>::value
, false);
174 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<float const>::value
, false);
175 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<float volatile>::value
, false);
176 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<float const volatile>::value
, false);
178 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<double>::value
, false);
179 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<double const>::value
, false);
180 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<double volatile>::value
, false);
181 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<double const volatile>::value
, false);
183 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long double>::value
, false);
184 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long double const>::value
, false);
185 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long double volatile>::value
, false);
186 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<long double const volatile>::value
, false);
188 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int>::value
, false);
189 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<void*>::value
, false);
190 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int*const>::value
, false);
191 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<f1
>::value
, false);
192 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<f2
>::value
, false);
193 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<f3
>::value
, false);
194 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<mf1
>::value
, false);
195 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<mf2
>::value
, false);
196 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<mf3
>::value
, false);
197 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<mp
>::value
, false);
198 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<cmf
>::value
, false);
199 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<enum_UDT
>::value
, false);
201 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int&>::value
, false);
202 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
203 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int&&>::value
, false);
205 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<const int&>::value
, false);
206 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int[2]>::value
, false);
207 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int[3][2]>::value
, false);
208 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<int[2][4][5][6][3]>::value
, false);
209 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<UDT
>::value
, false);
210 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<empty_UDT
>::value
, false);
211 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::has_new_operator
<void>::value
, false);