xref: /xnu-11215.81.4/tests/intrusive_shared_ptr_src/cast.reinterpret.cpp (revision d4514f0bc1d3f944c22d92e68b646ac3fb40d452)
1*d4514f0bSApple OSS Distributions //
2*d4514f0bSApple OSS Distributions // Tests for
3*d4514f0bSApple OSS Distributions //  template<typename To, typename From, typename R>
4*d4514f0bSApple OSS Distributions //  intrusive_shared_ptr<To, R> reinterpret_pointer_cast(intrusive_shared_ptr<From, R> const& ptr) noexcept;
5*d4514f0bSApple OSS Distributions //
6*d4514f0bSApple OSS Distributions //  template<typename To, typename From, typename R>
7*d4514f0bSApple OSS Distributions //  intrusive_shared_ptr<To, R> reinterpret_pointer_cast(intrusive_shared_ptr<From, R>&& ptr) noexcept
8*d4514f0bSApple OSS Distributions //
9*d4514f0bSApple OSS Distributions 
10*d4514f0bSApple OSS Distributions #include <libkern/c++/intrusive_shared_ptr.h>
11*d4514f0bSApple OSS Distributions #include <utility>
12*d4514f0bSApple OSS Distributions #include <darwintest.h>
13*d4514f0bSApple OSS Distributions #include "test_policy.h"
14*d4514f0bSApple OSS Distributions 
15*d4514f0bSApple OSS Distributions struct Base { int i; };
16*d4514f0bSApple OSS Distributions struct Derived : Base { };
17*d4514f0bSApple OSS Distributions 
18*d4514f0bSApple OSS Distributions // Layout compatible with Derived
19*d4514f0bSApple OSS Distributions struct Unrelated { int i; };
20*d4514f0bSApple OSS Distributions 
21*d4514f0bSApple OSS Distributions template <typename Stored, typename From, typename To>
22*d4514f0bSApple OSS Distributions static void
tests()23*d4514f0bSApple OSS Distributions tests()
24*d4514f0bSApple OSS Distributions {
25*d4514f0bSApple OSS Distributions 	Stored obj{3};
26*d4514f0bSApple OSS Distributions 
27*d4514f0bSApple OSS Distributions 	{
28*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<From> const from(&obj, libkern::no_retain);
29*d4514f0bSApple OSS Distributions 		tracking_policy::reset();
30*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<To> to = libkern::reinterpret_pointer_cast<To>(from);
31*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::retains == 1);
32*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::releases == 0);
33*d4514f0bSApple OSS Distributions 		CHECK(to.get() == reinterpret_cast<To const*>(&obj));
34*d4514f0bSApple OSS Distributions 		CHECK(from.get() == &obj);
35*d4514f0bSApple OSS Distributions 	}
36*d4514f0bSApple OSS Distributions 	{
37*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<From> from(&obj, libkern::no_retain);
38*d4514f0bSApple OSS Distributions 		tracking_policy::reset();
39*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<To> to = libkern::reinterpret_pointer_cast<To>(std::move(from));
40*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::retains == 0);
41*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::releases == 0);
42*d4514f0bSApple OSS Distributions 		CHECK(to.get() == reinterpret_cast<To const*>(&obj));
43*d4514f0bSApple OSS Distributions 		CHECK(from.get() == nullptr);
44*d4514f0bSApple OSS Distributions 	}
45*d4514f0bSApple OSS Distributions 
46*d4514f0bSApple OSS Distributions 	// Test `reinterpret_pointer_cast`ing a null pointer
47*d4514f0bSApple OSS Distributions 	{
48*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<From> const from = nullptr;
49*d4514f0bSApple OSS Distributions 		tracking_policy::reset();
50*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<To> to = libkern::reinterpret_pointer_cast<To>(from);
51*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::retains == 0);
52*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::releases == 0);
53*d4514f0bSApple OSS Distributions 		CHECK(to.get() == nullptr);
54*d4514f0bSApple OSS Distributions 		CHECK(from.get() == nullptr);
55*d4514f0bSApple OSS Distributions 	}
56*d4514f0bSApple OSS Distributions 	{
57*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<From> from = nullptr;
58*d4514f0bSApple OSS Distributions 		tracking_policy::reset();
59*d4514f0bSApple OSS Distributions 		tracked_shared_ptr<To> to = libkern::reinterpret_pointer_cast<To>(std::move(from));
60*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::retains == 0);
61*d4514f0bSApple OSS Distributions 		CHECK(tracking_policy::releases == 0);
62*d4514f0bSApple OSS Distributions 		CHECK(to.get() == nullptr);
63*d4514f0bSApple OSS Distributions 		CHECK(from.get() == nullptr);
64*d4514f0bSApple OSS Distributions 	}
65*d4514f0bSApple OSS Distributions }
66*d4514f0bSApple OSS Distributions 
67*d4514f0bSApple OSS Distributions T_DECL(cast_reinterpret, "intrusive_shared_ptr.cast.reinterpret", T_META_TAG_VM_PREFERRED) {
68*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived, /*to*/ Base>();
69*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived const, /*to*/ Base const>();
70*d4514f0bSApple OSS Distributions 
71*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived, /*to*/ char>();
72*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived const, /*to*/ char const>();
73*d4514f0bSApple OSS Distributions 
74*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived, /*to*/ Unrelated>();
75*d4514f0bSApple OSS Distributions 	tests</*stored*/ Derived, /*from*/ Derived const, /*to*/ Unrelated const>();
76*d4514f0bSApple OSS Distributions }
77