xref: /aosp_15_r20/external/ComputeLibrary/support/DeepCopy.h (revision c217d954acce2dbc11938adb493fc0abd69584f3)
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 &copy) 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