2 // (C) Copyright John Maddock 2000.
3 // (C) Copyright Antony Polukhin 2013.
4 // Use, modification and distribution are subject to the
5 // Boost Software License, Version 1.0. (See accompanying file
6 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 #include <boost/config.hpp>
10 #include "check_integral_constant.hpp"
12 #if !((defined(BOOST_MSVC) || BOOST_WORKAROUND(BOOST_GCC, < 40700)) && defined(BOOST_TT_DISABLE_INTRINSICS) && defined(CI_SUPPRESS_KNOWN_ISSUES))
15 # include <type_traits>
17 # include <boost/type_traits/is_nothrow_move_assignable.hpp>
20 #ifndef BOOST_NO_CXX11_DELETED_FUNCTIONS
25 non_assignable
& operator=(const non_assignable
&) = delete;
30 #ifndef BOOST_NO_CXX11_NOEXCEPT
32 struct noexcept_assignable
34 noexcept_assignable();
35 noexcept_assignable
& operator=(const non_assignable
&)noexcept
;
38 struct noexcept_move_assignable
40 noexcept_move_assignable();
41 noexcept_move_assignable
& operator=(const noexcept_move_assignable
&);
42 noexcept_move_assignable
& operator=(noexcept_move_assignable
&&)noexcept
;
47 TT_TEST_BEGIN(is_nothrow_move_assignable
)
49 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<bool>::value
, true);
51 // unspecified behaviour:
52 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<bool const>::value
, false);
53 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<bool volatile>::value
, false);
54 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<bool const volatile>::value
, false);
57 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<signed char>::value
, true);
59 // unspecified behaviour:
60 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<signed char const>::value
, false);
61 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<signed char volatile>::value
, false);
62 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<signed char const volatile>::value
, false);
64 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned char>::value
, true);
65 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<char>::value
, true);
67 // unspecified behaviour:
68 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned char const>::value
, false);
69 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<char const>::value
, false);
70 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned char volatile>::value
, false);
71 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<char volatile>::value
, false);
72 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned char const volatile>::value
, false);
73 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<char const volatile>::value
, false);
76 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned short>::value
, true);
77 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<short>::value
, true);
79 // unspecified behaviour:
80 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned short const>::value
, false);
81 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<short const>::value
, false);
82 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned short volatile>::value
, false);
83 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<short volatile>::value
, false);
84 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned short const volatile>::value
, false);
85 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<short const volatile>::value
, false);
88 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned int>::value
, true);
89 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int>::value
, true);
91 // unspecified behaviour:
92 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned int const>::value
, false);
93 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int const>::value
, false);
94 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned int volatile>::value
, false);
95 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int volatile>::value
, false);
96 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned int const volatile>::value
, false);
97 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int const volatile>::value
, false);
100 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned long>::value
, true);
101 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long>::value
, true);
103 // unspecified behaviour:
104 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned long const>::value
, false);
105 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long const>::value
, false);
106 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned long volatile>::value
, false);
107 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long volatile>::value
, false);
108 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned long const volatile>::value
, false);
109 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long const volatile>::value
, false);
112 #ifdef BOOST_HAS_LONG_LONG
114 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::ulong_long_type
>::value
, true);
115 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::long_long_type
>::value
, true);
117 // unspecified behaviour:
118 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::ulong_long_type
const>::value
, false);
119 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::long_long_type
const>::value
, false);
120 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::ulong_long_type
volatile>::value
, false);
121 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::long_long_type
volatile>::value
, false);
122 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::ulong_long_type
const volatile>::value
, false);
123 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
< ::boost::long_long_type
const volatile>::value
, false);
127 #ifdef BOOST_HAS_MS_INT64
129 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int8
>::value
, true);
130 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int8
>::value
, true);
132 // unspecified behaviour:
133 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int8
const>::value
, false);
134 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int8
const>::value
, false);
135 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int8
volatile>::value
, false);
136 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int8
volatile>::value
, false);
137 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int8
const volatile>::value
, false);
138 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int8
const volatile>::value
, false);
141 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int16
>::value
, true);
142 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int16
>::value
, true);
144 // unspecified behaviour:
145 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int16
const>::value
, false);
146 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int16
const>::value
, false);
147 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int16
volatile>::value
, false);
148 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int16
volatile>::value
, false);
149 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int16
const volatile>::value
, false);
150 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int16
const volatile>::value
, false);
153 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int32
>::value
, true);
154 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int32
>::value
, true);
156 // unspecified behaviour:
157 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int32
const>::value
, false);
158 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int32
const>::value
, false);
159 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int32
volatile>::value
, false);
160 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int32
volatile>::value
, false);
161 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int32
const volatile>::value
, false);
162 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int32
const volatile>::value
, false);
165 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int64
>::value
, true);
166 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int64
>::value
, true);
168 // unspecified behaviour:
169 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int64
const>::value
, false);
170 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int64
const>::value
, false);
171 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int64
volatile>::value
, false);
172 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int64
volatile>::value
, false);
173 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<unsigned __int64
const volatile>::value
, false);
174 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<__int64
const volatile>::value
, false);
178 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<float>::value
, true);
180 // unspecified behaviour:
181 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<float const>::value
, false);
182 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<float volatile>::value
, false);
183 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<float const volatile>::value
, false);
186 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<double>::value
, true);
188 // unspecified behaviour:
189 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<double const>::value
, false);
190 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<double volatile>::value
, false);
191 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<double const volatile>::value
, false);
194 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long double>::value
, true);
196 // unspecified behaviour:
197 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long double const>::value
, false);
198 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long double volatile>::value
, false);
199 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<long double const volatile>::value
, false);
202 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int>::value
, true);
203 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<void*>::value
, true);
205 // unspecified behaviour:
206 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int*const>::value
, false);
208 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<f1
>::value
, true);
209 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<f2
>::value
, true);
210 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<f3
>::value
, true);
211 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<mf1
>::value
, true);
212 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<mf2
>::value
, true);
213 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<mf3
>::value
, true);
214 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<mp
>::value
, true);
215 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<cmf
>::value
, true);
216 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<enum_UDT
>::value
, true);
218 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int&>::value
, false);
219 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
220 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int&&>::value
, false);
222 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<const int&>::value
, false);
223 #if !(defined(BOOST_MSVC) && defined(CI_SUPPRESS_KNOWN_ISSUES) && (BOOST_MSVC < 1910))
224 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int[2]>::value
, false);
225 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int[3][2]>::value
, false);
226 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<int[2][4][5][6][3]>::value
, false);
228 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<UDT
>::value
, false);
229 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<empty_UDT
>::value
, false);
230 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<void>::value
, false);
231 #if (!defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR)) || defined(BOOST_IS_NOTHROW_MOVE_ASSIGN)
232 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<empty_POD_UDT
>::value
, true);
233 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<POD_UDT
>::value
, true);
234 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<POD_union_UDT
>::value
, true);
235 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<empty_POD_union_UDT
>::value
, true);
236 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<nothrow_assign_UDT
>::value
, true);
237 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<nothrow_move_UDT
>::value
, true);
239 // cases we would like to succeed but can't implement in the language:
240 BOOST_CHECK_SOFT_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<empty_POD_UDT
>::value
, true, false);
241 BOOST_CHECK_SOFT_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<POD_UDT
>::value
, true, false);
242 BOOST_CHECK_SOFT_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<POD_union_UDT
>::value
, true, false);
243 BOOST_CHECK_SOFT_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<empty_POD_union_UDT
>::value
, true, false);
244 BOOST_CHECK_SOFT_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<nothrow_assign_UDT
>::value
, true, false);
246 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<nothrow_copy_UDT
>::value
, false);
247 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<nothrow_construct_UDT
>::value
, false);
248 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<test_abc1
>::value
, false);
250 #ifndef BOOST_NO_CXX11_DELETED_FUNCTIONS
251 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<non_assignable
>::value
, false);
253 #if !defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR) && !BOOST_WORKAROUND(BOOST_GCC, < 40700)
254 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<noexcept_assignable
>::value
, true);
255 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_nothrow_move_assignable
<noexcept_move_assignable
>::value
, true);
262 int main() { return 0; }