42#include <boost/test/unit_test.hpp>
59static_assert(std::is_base_of<std::bad_cast, ki::bad_any_cast>::value,
60 "ki::bad_any_cast must derive from std::bad_cast");
66static_assert(std::is_assignable<any&, int>::value);
67static_assert(!std::is_assignable<any&, std::unique_ptr<int>>::value);
68static_assert(std::is_constructible<any, int>::value);
69static_assert(!std::is_constructible<any, std::unique_ptr<int>>::value);
70static_assert(!std::is_assignable<any&, const std::unique_ptr<int>&>::value);
71static_assert(!std::is_constructible<any&, const std::unique_ptr<int>&>::value);
72static_assert(!std::is_assignable<any&, std::unique_ptr<int>&>::value);
73static_assert(!std::is_constructible<any&, std::unique_ptr<int>&>::value);
80static_assert(!std::is_constructible_v<
any,
81 std::in_place_type_t<NoDefaultCtor>>);
83static_assert(!std::is_constructible_v<
any,
84 std::in_place_type_t<NoDefaultCtor>&>);
86static_assert(!std::is_constructible_v<
any,
87 std::in_place_type_t<NoDefaultCtor>&&>);
89static_assert(!std::is_constructible_v<
any,
90 const std::in_place_type_t<NoDefaultCtor>&>);
92static_assert(!std::is_constructible_v<
any,
93 const std::in_place_type_t<NoDefaultCtor>&&>);
95static_assert( std::is_copy_constructible_v<std::tuple<any>> );
98 A(
const A&) =
default;
101static_assert(std::is_copy_constructible_v<A>);
107 std::tuple<int, int>
t;
108 template<
class... Args>
109 combined(std::initializer_list<int> il, Args&&... args)
110 :
v(il),
t(
std::forward<Args>(args)...)
132 string s, s2(
"Jane");
134 BOOST_CHECK(s ==
"Meow");
149 BOOST_CHECK(p ==
nullptr);
153 BOOST_CHECK(p !=
nullptr);
157 BOOST_CHECK(p ==
nullptr);
162 }
catch (
const bad_any_cast&) {
172 MoveEnabled(MoveEnabled&&)
176 MoveEnabled() =
default;
177 MoveEnabled(
const MoveEnabled&) =
default;
191 ExplicitCopy() =
default;
192 explicit ExplicitCopy(
const ExplicitCopy&) =
default;
194 any x = ExplicitCopy();
203 noncopyable(noncopyable
const&) =
delete;
208 BOOST_CHECK( p ==
nullptr );
218 void (*p1)() =
any_cast<
void()>(&a);
219 BOOST_CHECK( p1 ==
nullptr );
220 int (*p2)(int) =
any_cast<
int(
int)>(&a);
221 BOOST_CHECK( p2 ==
nullptr );
222 int (*p3)() =
any_cast<
int()>(&std::as_const(a));
223 BOOST_CHECK( p3 ==
nullptr );
227 BOOST_CHECK(
false );
233 BOOST_CHECK(
false );
239 BOOST_CHECK(
false );
250 BOOST_CHECK( a.
type() ==
typeid(
int*) );
252 BOOST_CHECK( a.
type() !=
typeid(
int[3]) );
253 BOOST_CHECK( p1 ==
nullptr );
255 BOOST_CHECK( a.
type() !=
typeid(
int[]) );
256 BOOST_CHECK( p2 ==
nullptr );
258 BOOST_CHECK( p3 ==
nullptr );
273static_assert(std::is_nothrow_move_constructible<LocationAware>::value,
"");
274static_assert(!std::is_trivially_copyable<LocationAware>::value,
"");
290 any tmp = std::move(a);
311 BOOST_CHECK( i2 == 42 );
312 BOOST_CHECK( &i2 != &i );
315 BOOST_CHECK( std::get<0>(t) == 1 && std::get<1>(t) == 2);
318 BOOST_CHECK(v[0] == 42 && v[1] == 666);
321 BOOST_CHECK(c.v[0] == 42 && c.v[1] == 666
322 && std::get<0>(c.t) == 0 && std::get<1>(c.t) == 0 );
325 BOOST_CHECK(c2.v[0] == 1 && c2.v[1] == 2
326 && std::get<0>(c2.t) == 3 && std::get<1>(c2.t) == 4 );
333 BOOST_CHECK( x.
type() ==
typeid(
void) );
335 BOOST_CHECK( x.
type() ==
typeid(
int) );
337 BOOST_CHECK( x.
type() ==
typeid(
void) );
370 any o(std::in_place_type<int>, i);
372 BOOST_CHECK( i2 == 42 );
373 BOOST_CHECK( &i2 != &i );
374 any o2(std::in_place_type<std::tuple<int, int>>, 1, 2);
376 BOOST_CHECK( std::get<0>(t) == 1 && std::get<1>(t) == 2);
377 any o3(std::in_place_type<std::vector<int>>, {42, 666});
379 BOOST_CHECK(v[0] == 42 && v[1] == 666);
380 any o4(std::in_place_type<combined>, {42, 666});
382 BOOST_CHECK(c.v[0] == 42 && c.v[1] == 666
383 && std::get<0>(c.t) == 0 && std::get<1>(c.t) == 0 );
384 any o5(std::in_place_type<combined>, {1, 2}, 3, 4);
386 BOOST_CHECK(c2.v[0] == 1 && c2.v[1] == 2
387 && std::get<0>(c2.t) == 3 && std::get<1>(c2.t) == 4 );
388 any o6(std::in_place_type<int&>, i);
390 any o7(std::in_place_type<
void()>,
nullptr);
391 any o8(std::in_place_type<
void(*)()>,
nullptr);
392 BOOST_CHECK(o7.
type() == o8.
type());
393 any o9(std::in_place_type<
char(&)[42]>,
nullptr);
394 any o10(std::in_place_type<char*>,
nullptr);
395 BOOST_CHECK(o9.
type() == o10.
type());
421 BOOST_CHECK(
moved ==
false);
422 any a2(std::move(x));
423 BOOST_CHECK(
moved ==
true);
432 BOOST_CHECK(
moved ==
false);
434 any a2(std::move(a1));
435 BOOST_CHECK(
copied ==
false);
444 BOOST_CHECK(
moved ==
false);
446 any a2(std::move(a1));
447 BOOST_CHECK(
copied ==
false);
448 BOOST_CHECK(
moved ==
true);
484 auto a =
any(std::in_place_type<any>, 5);
491 any p = std::pair<any, any>(1, 1);
496 any t = std::tuple<any>(1);
503struct alignas(2 * alignof(void*))
X3 { };
508 std::uintptr_t a_addr =
reinterpret_cast<std::uintptr_t
>(&a);
509 std::uintptr_t a_end = a_addr +
sizeof(a);
510 std::uintptr_t obj_addr =
reinterpret_cast<std::uintptr_t
>(obj);
511 return (a_addr <= obj_addr) && (obj_addr < a_end);
619 BOOST_CHECK( !x.a.has_value() );
623 BOOST_CHECK( x.a.has_value() );
651 BOOST_CHECK(
moved ==
false);
655 BOOST_CHECK(
moved ==
true);
656 BOOST_CHECK(
copied ==
false);
666 BOOST_CHECK(
moved ==
false);
670 BOOST_CHECK(
moved ==
false);
671 BOOST_CHECK(
copied ==
false);
686 BOOST_CHECK(
moved ==
true);
687 BOOST_CHECK(
copied ==
false);
781 BOOST_CHECK( i2 == 42 );
782 BOOST_CHECK( &i2 != &i );
784 o2.
emplace<std::tuple<int, int>>(1, 2);
786 BOOST_CHECK( std::get<0>(t) == 1 && std::get<1>(t) == 2);
788 o3.
emplace<std::vector<int>>({42, 666});
790 BOOST_CHECK(v[0] == 42 && v[1] == 666);
794 BOOST_CHECK(c.v[0] == 42 && c.v[1] == 666
795 && std::get<0>(c.t) == 0 && std::get<1>(c.t) == 0 );
799 BOOST_CHECK(c2.v[0] == 1 && c2.v[1] == 2
800 && std::get<0>(c2.t) == 3 && std::get<1>(c2.t) == 4 );
807 o8.
emplace<void(*)()>(
nullptr);
808 BOOST_CHECK(o7.
type() == o8.
type());
810 o9.
emplace<char(&)[42]>(
nullptr);
813 BOOST_CHECK(o9.
type() == o10.
type());
816 BOOST_CHECK(&o11.
emplace<std::vector<int>>({1,2,3}) ==
A type-safe container of any type.
bool has_value() const noexcept
Report whether there is a contained object or not.
void reset() noexcept
If not empty, destroys the contained object.
void swap(any &rhs) noexcept
Exchange state with another object.
any_emplace_t< std::decay_t< T >, Args... > emplace(Args &&... args)
Emplace with an object created from args as the contained object.
const std::type_info & type() const noexcept
The typeid of the contained object, or typeid(void) if empty.
Exception class thrown by a failed any_cast.
An implementation of std::any_cast, which uses type_info::hash_code to check validity of cast types.
std::enable_if_t< std::is_constructible_v< any, std::in_place_type_t< T >, Args... >, any > make_any(Args &&... args)
Create a any holding a T constructed from args....
ValueType any_cast(const any &any)
Access the contained object.
Good(const Good &)=default
LocationAware & operator=(const LocationAware &)
LocationAware(LocationAware &&) noexcept
LocationAware(const LocationAware &)
LocationAware & operator=(LocationAware &&) noexcept
combined(std::initializer_list< int > il, Args &&... args)
wrapper(const wrapper &w)
auto & operator=(const any &t)
auto & operator=(const wrapper &w)
BOOST_AUTO_TEST_SUITE(CadstarPartParser)
BOOST_AUTO_TEST_SUITE_END()
bool stored_internally(void *obj, const ki::any &a)
BOOST_AUTO_TEST_CASE(AnyCast_1)
std::set< const void * > live_objects
ValueType any_cast(const any &any)
Access the contained object.
MATRIX3x3D m2(VECTOR3I{ 6, 6, 6 }, { 1, 1, 1 }, { 3, 3, 3 })
Test suite for KiCad math code.
MATRIX3x3D m3(VECTOR3I{ 1, 1, 1 }, { 2, 2, 2 }, { 3, 3, 3 })