1*c217d954SCole Faust /*
2*c217d954SCole Faust * Copyright (c) 2022 Arm Limited.
3*c217d954SCole Faust *
4*c217d954SCole Faust * SPDX-License-Identifier: MIT
5*c217d954SCole Faust *
6*c217d954SCole Faust * Permission is hereby granted, free of charge, to any person obtaining a copy
7*c217d954SCole Faust * of this software and associated documentation files (the "Software"), to
8*c217d954SCole Faust * deal in the Software without restriction, including without limitation the
9*c217d954SCole Faust * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
10*c217d954SCole Faust * sell copies of the Software, and to permit persons to whom the Software is
11*c217d954SCole Faust * furnished to do so, subject to the following conditions:
12*c217d954SCole Faust *
13*c217d954SCole Faust * The above copyright notice and this permission notice shall be included in all
14*c217d954SCole Faust * copies or substantial portions of the Software.
15*c217d954SCole Faust *
16*c217d954SCole Faust * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17*c217d954SCole Faust * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18*c217d954SCole Faust * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19*c217d954SCole Faust * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20*c217d954SCole Faust * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21*c217d954SCole Faust * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22*c217d954SCole Faust * SOFTWARE.
23*c217d954SCole Faust */
24*c217d954SCole Faust
25*c217d954SCole Faust #ifndef ARM_COMPUTE_MISC_ITERABLE_H
26*c217d954SCole Faust #define ARM_COMPUTE_MISC_ITERABLE_H
27*c217d954SCole Faust namespace arm_compute
28*c217d954SCole Faust {
29*c217d954SCole Faust namespace utils
30*c217d954SCole Faust {
31*c217d954SCole Faust namespace memory
32*c217d954SCole Faust {
33*c217d954SCole Faust namespace
34*c217d954SCole Faust {
35*c217d954SCole Faust /** Default polymorphic deep copy function, used by deep_unique_ptr
36*c217d954SCole Faust *
37*c217d954SCole Faust * @param ptr Potentially polymorphic object to be deep copied
38*c217d954SCole Faust * @return template <typename Base, typename Derived>*
39*c217d954SCole Faust */
40*c217d954SCole Faust template <typename Base, typename Derived>
default_polymorphic_copy(const Base * ptr)41*c217d954SCole Faust Base *default_polymorphic_copy(const Base *ptr)
42*c217d954SCole Faust {
43*c217d954SCole Faust static_assert(std::is_base_of<Base, Derived>::value,
44*c217d954SCole Faust "Derived is not a specialization of Base");
45*c217d954SCole Faust if(ptr == nullptr)
46*c217d954SCole Faust {
47*c217d954SCole Faust return nullptr;
48*c217d954SCole Faust }
49*c217d954SCole Faust return new Derived(*static_cast<const Derived *>(ptr));
50*c217d954SCole Faust }
51*c217d954SCole Faust } // namespace
52*c217d954SCole Faust
53*c217d954SCole Faust /** A deep-copying unique pointer that also supports polymorphic cloning behavior
54*c217d954SCole Faust *
55*c217d954SCole Faust * @note The == operator compares the dereferenced value instead of the pointer itself.
56*c217d954SCole Faust *
57*c217d954SCole Faust * @tparam Base Base type
58*c217d954SCole Faust */
59*c217d954SCole Faust template <typename Base>
60*c217d954SCole Faust class deep_unique_ptr
61*c217d954SCole Faust {
62*c217d954SCole Faust public:
63*c217d954SCole Faust using CopyFunc = std::function<Base *(const Base *)>;
64*c217d954SCole Faust
65*c217d954SCole Faust deep_unique_ptr(std::nullptr_t val = nullptr) noexcept
66*c217d954SCole Faust : _val{ val },
67*c217d954SCole Faust _copy{}
68*c217d954SCole Faust {
69*c217d954SCole Faust }
70*c217d954SCole Faust template <typename Derived, typename CopyFuncDerived>
deep_unique_ptr(Derived * value,const CopyFuncDerived & copy)71*c217d954SCole Faust deep_unique_ptr(Derived *value, const CopyFuncDerived ©) noexcept
72*c217d954SCole Faust : _val{ value },
73*c217d954SCole Faust _copy{ std::move(copy) }
74*c217d954SCole Faust {
75*c217d954SCole Faust static_assert(std::is_base_of<Base, Derived>::value,
76*c217d954SCole Faust "Derived is not a specialization of Base");
77*c217d954SCole Faust static_assert(
78*c217d954SCole Faust std::is_constructible<CopyFunc, CopyFuncDerived>::value,
79*c217d954SCole Faust "CopyFuncDerived is not valid for a copy functor");
80*c217d954SCole Faust }
81*c217d954SCole Faust
deep_unique_ptr(const deep_unique_ptr<Base> & ptr)82*c217d954SCole Faust deep_unique_ptr(const deep_unique_ptr<Base> &ptr)
83*c217d954SCole Faust : deep_unique_ptr(ptr.clone())
84*c217d954SCole Faust {
85*c217d954SCole Faust }
86*c217d954SCole Faust deep_unique_ptr &operator=(const deep_unique_ptr<Base> &ptr)
87*c217d954SCole Faust {
88*c217d954SCole Faust deep_unique_ptr<Base> tmp(ptr);
89*c217d954SCole Faust swap(*this, tmp);
90*c217d954SCole Faust return *this;
91*c217d954SCole Faust }
92*c217d954SCole Faust
93*c217d954SCole Faust deep_unique_ptr(deep_unique_ptr<Base> &&ptr) = default;
94*c217d954SCole Faust deep_unique_ptr &operator=(deep_unique_ptr<Base> &&ptr) = default;
95*c217d954SCole Faust ~deep_unique_ptr() = default;
swap(deep_unique_ptr & ptr0,deep_unique_ptr<Base> & ptr1)96*c217d954SCole Faust friend void swap(deep_unique_ptr &ptr0, deep_unique_ptr<Base> &ptr1) noexcept
97*c217d954SCole Faust {
98*c217d954SCole Faust using std::swap;
99*c217d954SCole Faust swap(ptr0._val, ptr1._val);
100*c217d954SCole Faust swap(ptr0._copy, ptr1._copy);
101*c217d954SCole Faust }
102*c217d954SCole Faust Base &operator*() noexcept
103*c217d954SCole Faust {
104*c217d954SCole Faust return *_val;
105*c217d954SCole Faust }
106*c217d954SCole Faust
107*c217d954SCole Faust const Base &operator*() const noexcept
108*c217d954SCole Faust {
109*c217d954SCole Faust return *_val;
110*c217d954SCole Faust }
111*c217d954SCole Faust
112*c217d954SCole Faust Base *operator->() noexcept
113*c217d954SCole Faust {
114*c217d954SCole Faust return _val.operator->();
115*c217d954SCole Faust }
116*c217d954SCole Faust
117*c217d954SCole Faust const Base *operator->() const noexcept
118*c217d954SCole Faust {
119*c217d954SCole Faust return _val.operator->();
120*c217d954SCole Faust }
121*c217d954SCole Faust
get()122*c217d954SCole Faust Base *get() noexcept
123*c217d954SCole Faust {
124*c217d954SCole Faust return _val.get();
125*c217d954SCole Faust }
get()126*c217d954SCole Faust const Base *get() const noexcept
127*c217d954SCole Faust {
128*c217d954SCole Faust return _val.get();
129*c217d954SCole Faust }
130*c217d954SCole Faust
131*c217d954SCole Faust explicit operator bool() const noexcept
132*c217d954SCole Faust {
133*c217d954SCole Faust return static_cast<bool>(_val);
134*c217d954SCole Faust }
135*c217d954SCole Faust
136*c217d954SCole Faust bool operator==(const deep_unique_ptr<Base> &rhs) const
137*c217d954SCole Faust {
138*c217d954SCole Faust if(rhs.get() == nullptr && _val == nullptr)
139*c217d954SCole Faust {
140*c217d954SCole Faust return true;
141*c217d954SCole Faust }
142*c217d954SCole Faust else if(rhs.get() == nullptr || _val == nullptr)
143*c217d954SCole Faust {
144*c217d954SCole Faust return false;
145*c217d954SCole Faust }
146*c217d954SCole Faust else
147*c217d954SCole Faust {
148*c217d954SCole Faust return (*_val == *rhs);
149*c217d954SCole Faust }
150*c217d954SCole Faust }
151*c217d954SCole Faust
152*c217d954SCole Faust private:
clone()153*c217d954SCole Faust deep_unique_ptr clone() const
154*c217d954SCole Faust {
155*c217d954SCole Faust return { _copy(_val.get()), CopyFunc(_copy) };
156*c217d954SCole Faust }
157*c217d954SCole Faust std::unique_ptr<Base> _val{ nullptr };
158*c217d954SCole Faust CopyFunc _copy{};
159*c217d954SCole Faust };
160*c217d954SCole Faust
161*c217d954SCole Faust /** Utility function to create a polymorphic deep-copying unique pointer
162*c217d954SCole Faust *
163*c217d954SCole Faust * @tparam Base
164*c217d954SCole Faust * @tparam Derived
165*c217d954SCole Faust * @tparam CopyFunc
166*c217d954SCole Faust * @param temp
167*c217d954SCole Faust * @param copy
168*c217d954SCole Faust * @return deep_unique_ptr<Base>
169*c217d954SCole Faust */
170*c217d954SCole Faust template <typename Base, typename Derived, typename CopyFunc>
make_deep_unique(Derived && temp,CopyFunc copy)171*c217d954SCole Faust deep_unique_ptr<Base> make_deep_unique(Derived &&temp, CopyFunc copy)
172*c217d954SCole Faust {
173*c217d954SCole Faust return
174*c217d954SCole Faust {
175*c217d954SCole Faust new Derived(std::move(temp)),
176*c217d954SCole Faust CopyFunc{ std::move(copy) }
177*c217d954SCole Faust };
178*c217d954SCole Faust }
179*c217d954SCole Faust
180*c217d954SCole Faust template <typename Base, typename Derived>
make_deep_unique(Derived && temp)181*c217d954SCole Faust deep_unique_ptr<Base> make_deep_unique(Derived &&temp)
182*c217d954SCole Faust {
183*c217d954SCole Faust static_assert(std::is_base_of<Base, Derived>::value,
184*c217d954SCole Faust "Derived is not a specialization of Base");
185*c217d954SCole Faust
186*c217d954SCole Faust return make_deep_unique<Base, Derived>(
187*c217d954SCole Faust std::move(temp), default_polymorphic_copy<Base, Derived>);
188*c217d954SCole Faust }
189*c217d954SCole Faust
190*c217d954SCole Faust template <typename Base, typename Derived, typename... Args>
make_deep_unique(Args &&...args)191*c217d954SCole Faust deep_unique_ptr<Base> make_deep_unique(Args &&... args)
192*c217d954SCole Faust {
193*c217d954SCole Faust static_assert(std::is_constructible<Derived, Args...>::value,
194*c217d954SCole Faust "Cannot instantiate Derived from arguments");
195*c217d954SCole Faust
196*c217d954SCole Faust return make_deep_unique<Base, Derived>(
197*c217d954SCole Faust std::move(Derived{ std::forward<Args>(args)... }));
198*c217d954SCole Faust }
199*c217d954SCole Faust
200*c217d954SCole Faust } // namespace memory
201*c217d954SCole Faust } // namespace utils
202*c217d954SCole Faust } // namespace arm_compute
203*c217d954SCole Faust #endif // ARM_COMPUTE_MISC_ITERABLE_H