xtd 0.2.0
Loading...
Searching...
No Matches
any_object.hpp
Go to the documentation of this file.
1
3#pragma once
4#include "collections/generic/helpers/comparer.hpp"
5#include "boxing.hpp"
6#include "enum_object.hpp"
7#include "icomparable.hpp"
8#include "iequatable.hpp"
9#include "invalid_operation_exception.hpp"
10#include "is.hpp"
11#include "object.hpp"
12
14namespace xtd {
29 class any_object : public object, public icomparable<any_object>, public iequatable<any_object> {
30 public:
32
35 any_object() noexcept = default;
38 template<class type_t> // Can't be explicit by design.
39 any_object(type_t&& value) noexcept : value_(boxing_ptr(std::forward<type_t>(value))) {}
42 template<class type_t> // Can't be explicit by design.
43 any_object(type_t& value) noexcept : value_(boxing_ptr(value)) {}
46 template<class type_t> // Can't be explicit by design.
47 any_object(const type_t& value) noexcept : value_(boxing_ptr(value)) {}
49
51 any_object(any_object&&) noexcept = default;
52 any_object(any_object&) noexcept = default;
53 any_object(const any_object&) noexcept = default;
55
57
62 [[nodiscard]] auto has_value() const noexcept -> bool;
63
67 [[nodiscard]] auto value() const -> const object&;
69
71
83 [[nodiscard]] auto compare_to(const any_object& other) const noexcept -> int32 override;
84
88 [[nodiscard]] auto equals(const object& other) const noexcept -> bool override;
92 [[nodiscard]] auto equals(const any_object& other) const noexcept -> bool override;
93
96 [[nodiscard]] auto get_hash_code() const noexcept -> xtd::size override;
97
100 [[nodiscard]] auto to_string() const noexcept -> xtd::string override;
101
104 auto reset() noexcept -> void;
106
108
113 auto operator =(const any_object& other) noexcept -> any_object& = default;
117 auto operator =(any_object&& other) noexcept -> any_object&;
119
120 private:
121 template<class type_t>
122 [[nodiscard]] auto boxing_ptr(const type_t& value) noexcept -> ptr<object> {return new_ptr<typename __box_enum_or_object__<type_t, typename std::is_enum<type_t>::type>::type>(value);}
123 template<class type_t, class ...args_t>
124 [[nodiscard]] auto boxing_ptr(args_t&& ...args) noexcept -> ptr<object> {return new box<type_t>(args...);}
125 //[[nodiscard]] auto boxing_ptr(const object& value) noexcept -> ptr<object>;
126 [[nodiscard]] auto boxing_ptr(const char* value) noexcept -> ptr<object>;
127 [[nodiscard]] auto boxing_ptr(const char8* value) noexcept -> ptr<object>;
128 [[nodiscard]] auto boxing_ptr(const char16* value) noexcept -> ptr<object>;
129 [[nodiscard]] auto boxing_ptr(const char32* value) noexcept -> ptr<object>;
130 [[nodiscard]] auto boxing_ptr(const wchar* value) noexcept -> ptr<object>;
131 [[nodiscard]] auto boxing_ptr(const char& value) noexcept -> ptr<object>;
132 [[nodiscard]] auto boxing_ptr(const char8& value) noexcept -> ptr<object>;
133 [[nodiscard]] auto boxing_ptr(const char16& value) noexcept -> ptr<object>;
134 [[nodiscard]] auto boxing_ptr(const char32& value) noexcept -> ptr<object>;
135 [[nodiscard]] auto boxing_ptr(const wchar& value) noexcept -> ptr<object>;
136 [[nodiscard]] auto boxing_ptr(char& value) noexcept -> ptr<object>;
137 [[nodiscard]] auto boxing_ptr(char8& value) noexcept -> ptr<object>;
138 [[nodiscard]] auto boxing_ptr(char16& value) noexcept -> ptr<object>;
139 [[nodiscard]] auto boxing_ptr(char32& value) noexcept -> ptr<object>;
140 [[nodiscard]] auto boxing_ptr(wchar& value) noexcept -> ptr<object>;
141 [[nodiscard]] auto boxing_ptr(const xtd::byte& value) noexcept -> ptr<object>;
142 [[nodiscard]] auto boxing_ptr(const int16& value) noexcept -> ptr<object>;
143 [[nodiscard]] auto boxing_ptr(const int32& value) noexcept -> ptr<object>;
144 [[nodiscard]] auto boxing_ptr(const int64& value) noexcept -> ptr<object>;
145 [[nodiscard]] auto boxing_ptr(const slong& value) noexcept -> ptr<object>;
146 [[nodiscard]] auto boxing_ptr(const sbyte& value) noexcept -> ptr<object>;
147 [[nodiscard]] auto boxing_ptr(const uint16& value) noexcept -> ptr<object>;
148 [[nodiscard]] auto boxing_ptr(const uint32& value) noexcept -> ptr<object>;
149 [[nodiscard]] auto boxing_ptr(const uint64& value) noexcept -> ptr<object>;
150 [[nodiscard]] auto boxing_ptr(const xtd::ulong& value) noexcept -> ptr<object>;
151 [[nodiscard]] auto boxing_ptr(xtd::byte& value) noexcept -> ptr<object>;
152 [[nodiscard]] auto boxing_ptr(int16& value) noexcept -> ptr<object>;
153 [[nodiscard]] auto boxing_ptr(int32& value) noexcept -> ptr<object>;
154 [[nodiscard]] auto boxing_ptr(int64& value) noexcept -> ptr<object>;
155 [[nodiscard]] auto boxing_ptr(slong& value) noexcept -> ptr<object>;
156 [[nodiscard]] auto boxing_ptr(sbyte& value) noexcept -> ptr<object>;
157 [[nodiscard]] auto boxing_ptr(uint16& value) noexcept -> ptr<object>;
158 [[nodiscard]] auto boxing_ptr(uint32& value) noexcept -> ptr<object>;
159 [[nodiscard]] auto boxing_ptr(uint64& value) noexcept -> ptr<object>;
160 [[nodiscard]] auto boxing_ptr(xtd::ulong& value) noexcept -> ptr<object>;
161 [[nodiscard]] auto boxing_ptr(const float& value) noexcept -> ptr<object>;
162 [[nodiscard]] auto boxing_ptr(const double& value) noexcept -> ptr<object>;
163 [[nodiscard]] auto boxing_ptr(const decimal& value) noexcept -> ptr<object>;
164 [[nodiscard]] auto boxing_ptr(float& value) noexcept -> ptr<object>;
165 [[nodiscard]] auto boxing_ptr(double& value) noexcept -> ptr<object>;
166 [[nodiscard]] auto boxing_ptr(decimal& value) noexcept -> ptr<object>;
167 [[nodiscard]] auto boxing_ptr(std::nullptr_t value) noexcept -> ptr<object>;
168
169 ptr<object> value_;
170 };
171
173 template<class type_t, class bool_t>
174 struct __is_enum_any_object__ {};
175
176 template<class type_t>
177 struct __is_enum_any_object__<type_t, std::true_type> {
178 [[nodiscard]] auto operator()(const any_object& o) const -> bool {return is<enum_object<type_t>>(o.value());}
179 };
180
181 template<class type_t>
182 struct __is_enum_any_object__<type_t, std::false_type> {
183 [[nodiscard]] auto operator()(const any_object& o) const -> bool {return false;}
184 };
185
186 template<class type_t, class bool_t>
187 struct __is_polymorphic_any_object__ {};
188
189 template<class type_t>
190 struct __is_polymorphic_any_object__<type_t, std::true_type> {
191 [[nodiscard]] auto operator()(const any_object& o) const -> bool {return is<type_t>(o.value());}
192 };
193
194 template<class type_t>
195 struct __is_polymorphic_any_object__<type_t, std::false_type> {
196 [[nodiscard]] auto operator()(const any_object& o) const -> bool {return __is_enum_any_object__<type_t, typename std::is_enum<type_t>::type> {}(o);}
197 };
198
199 template<class type_t>
200 requires (!std::is_null_pointer_v<type_t> && (!std::integral<type_t> || std::same_as<type_t, bool>))
201 [[nodiscard]] auto is(any_object& o) -> bool {
202 if (!o.has_value()) return false;
203 if (is<box<type_t>>(o.value())) return true;
204 return __is_polymorphic_any_object__<type_t, typename std::is_polymorphic<type_t>::type > {}(o);
205 }
206
207 template<class type_t>
208 requires (!std::is_null_pointer_v<type_t> && (!std::integral<type_t> || std::same_as<type_t, bool>))
209 [[nodiscard]] auto is(const any_object& o) -> bool {
210 if (!o.has_value()) return false;
211 if (is<box<type_t>>(o.value())) return true;
212 return __is_polymorphic_any_object__<type_t, typename std::is_polymorphic<type_t>::type > {}(o);
213 }
214
215 template<class type_t>
216 requires (!std::is_null_pointer_v<type_t> && std::integral<type_t> && !std::same_as<type_t, bool>)
217 [[nodiscard]] auto is(any_object& o) -> bool {
218 if (!o.has_value()) return false;
219 if (xtd::is<xtd::box_integer<xtd::byte>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::byte>&>(o.value()).value);
220 if (xtd::is<xtd::box_integer<xtd::int16>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int16>&>(o.value()).value);
221 if (xtd::is<xtd::box_integer<xtd::int32>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int32>&>(o.value()).value);
222 if (xtd::is<xtd::box_integer<xtd::int64>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int64>&>(o.value()).value);
223 if (xtd::is<xtd::box_integer<xtd::sbyte>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::sbyte>&>(o.value()).value);
224 if (xtd::is<xtd::box_integer<xtd::slong>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::slong>&>(o.value()).value);
225 if (xtd::is<xtd::box_integer<xtd::uint16>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint16>&>(o.value()).value);
226 if (xtd::is<xtd::box_integer<xtd::uint32>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint32>&>(o.value()).value);
227 if (xtd::is<xtd::box_integer<xtd::uint64>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint64>&>(o.value()).value);
228 if (xtd::is<xtd::box_integer<xtd::ulong>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::ulong>&>(o.value()).value);
229 return false;
230 }
231
232 template<class type_t>
233 requires (!std::is_null_pointer_v<type_t> && std::integral<type_t> && !std::same_as<type_t, bool>)
234 [[nodiscard]] auto is(const any_object& o) -> bool {
235 if (!o.has_value()) return false;
236 if (xtd::is<xtd::box_integer<xtd::byte>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::byte>&>(o.value()).value);
237 if (xtd::is<xtd::box_integer<xtd::int16>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int16>&>(o.value()).value);
238 if (xtd::is<xtd::box_integer<xtd::int32>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int32>&>(o.value()).value);
239 if (xtd::is<xtd::box_integer<xtd::int64>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::int64>&>(o.value()).value);
240 if (xtd::is<xtd::box_integer<xtd::sbyte>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::sbyte>&>(o.value()).value);
241 if (xtd::is<xtd::box_integer<xtd::slong>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::slong>&>(o.value()).value);
242 if (xtd::is<xtd::box_integer<xtd::uint16>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint16>&>(o.value()).value);
243 if (xtd::is<xtd::box_integer<xtd::uint32>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint32>&>(o.value()).value);
244 if (xtd::is<xtd::box_integer<xtd::uint64>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::uint64>&>(o.value()).value);
245 if (xtd::is<xtd::box_integer<xtd::ulong>>(o.value())) return xtd::box_integer<type_t>::is_valid(static_cast<const xtd::box_integer<xtd::ulong>&>(o.value()).value);
246 return false;
247 }
248
249 template<class type_t>
250 requires std::is_null_pointer_v<type_t>
251 [[nodiscard]] auto is(any_object& o) -> bool {
252 return !o.has_value();
253 }
254
255 template<class type_t>
256 requires std::is_null_pointer_v<type_t>
257 [[nodiscard]] auto is(const any_object& o) -> bool {
258 return !o.has_value();
259 }
260
261 template<class type_t>
262 [[nodiscard]] auto is(any_object* o) -> bool {
263 if (is<box<type_t>>(o->value())) return true;
264 return __is_polymorphic_any_object__<type_t, typename std::is_polymorphic<type_t>::type > {}(*o);
265 }
266
267 template<class type_t>
268 [[nodiscard]] auto is(const any_object* o) -> bool {
269 if (is<box<type_t>>(o->value())) return true;
270 return __is_polymorphic_any_object__<type_t, typename std::is_polymorphic<type_t>::type > {}(*o);
271 }
273}
boxing.hpp
Contains xtd::boxing methods.
xtd::any_object
Represent a polymorphic wrapper capable of holding any type.
Definition any_object.hpp:29
xtd::any_object::any_object
any_object(const type_t &value) noexcept
Initializes a new instance of the xtd::any_object class with specified value.
Definition any_object.hpp:47
xtd::any_object::any_object
any_object(type_t &value) noexcept
Initializes a new instance of the xtd::any_object class with specified value.
Definition any_object.hpp:43
xtd::any_object::equals
auto equals(const object &other) const noexcept -> bool override
Determines whether the specified object is equal to the current object.
xtd::any_object::compare_to
auto compare_to(const any_object &other) const noexcept -> int32 override
Compares the current instance with another object of the same type.
xtd::any_object::to_string
auto to_string() const noexcept -> xtd::string override
Returns a xtd::string that represents the current object.
xtd::any_object::value
auto value() const -> const object &
Gets the value of the current xtd::any_object object if it has been assigned a valid underlying value...
xtd::any_object::any_object
any_object() noexcept=default
Initializes a new instance of the xtd::any_object class.
xtd::any_object::has_value
auto has_value() const noexcept -> bool
Gets a value indicating whether the current xtd::any_object object has a valid value of its underlyin...
xtd::any_object::reset
auto reset() noexcept -> void
Reset the current object. Set the current object to null.
xtd::any_object::get_hash_code
auto get_hash_code() const noexcept -> xtd::size override
Serves as a hash function for a particular type.
xtd::box_integer::is_valid
static bool is_valid(xtd::signed_integer auto value) noexcept
Determines whether the specified signed integral value is within the range of type_t.
Definition box_integer.hpp:85
xtd::icomparable
Defines a generalized comparison method that a value type or class implements to create a type-specif...
Definition icomparable.hpp:22
xtd::iequatable
Defines a generalized method that a value type or class implements to create a type-specific method f...
Definition iequatable.hpp:23
xtd::object::object
object()=default
Create a new instance of the ultimate base class object.
enum_object.hpp
Contains xtd::enum_object struct.
comparer.hpp
Contains xtd::collections::generic::helpers::comparer struct.
xtd::type
std::type_info type
Stores information about a type.
Definition type.hpp:23
xtd::int64
std::int64_t int64
Represents a 64-bit signed integer.
Definition int64.hpp:23
xtd::uint32
std::uint32_t uint32
Represents a 32-bit unsigned integer.
Definition uint32.hpp:23
xtd::size
size_t size
Represents a size of any object in bytes.
Definition size.hpp:23
xtd::char8
char8_t char8
Represents a 8-bit unicode character.
Definition char8.hpp:26
xtd::slong
__slong__ slong
Represents a 32-bit or 64-bit signed integer.
Definition slong.hpp:27
xtd::sbyte
std::int8_t sbyte
Represents a 8-bit signed integer.
Definition sbyte.hpp:23
xtd::wchar
wchar_t wchar
Represents a wide character.
Definition wchar.hpp:24
xtd::ulong
__ulong__ ulong
Represents a 32-bit or 64-bit unsigned integer.
Definition ulong.hpp:27
xtd::decimal
long double decimal
Represents a decimal-precision floating-point number.
Definition decimal.hpp:23
xtd::uint16
std::uint16_t uint16
Represents a 16-bit unsigned integer.
Definition uint16.hpp:23
xtd::char16
char16_t char16
Represents a 16-bit unicode character.
Definition char16.hpp:26
xtd::int32
std::int32_t int32
Represents a 32-bit signed integer.
Definition int32.hpp:23
xtd::ptr
xtd::sptr< type_t > ptr
The xtd::ptr object is a shared pointer.
Definition ptr.hpp:27
xtd::int16
std::int16_t int16
Represents a 16-bit signed integer.
Definition int16.hpp:23
xtd::uint64
std::uint64_t uint64
Represents a 64-bit unsigned integer.
Definition uint64.hpp:23
xtd::byte
std::uint8_t byte
Represents a 8-bit unsigned integer.
Definition byte.hpp:23
xtd::char32
char32_t char32
Represents a 32-bit unicode character.
Definition char32.hpp:23
xtd::new_ptr
ptr< type_t > new_ptr(args_t &&... args)
The xtd::new_ptr operator creates a xtd::ptr object.
Definition new_ptr.hpp:24
xtd::is
bool is(xtd::any value)
Checks if the result of an expression is compatible with a given type.
Definition is.hpp:484
xtd::platform_id::other
@ other
The operating system is other.
Definition platform_id.hpp:60
xtd::console_key::o
@ o
The O key.
Definition console_key.hpp:116
icomparable.hpp
Contains xtd::icomparable interface.
iequatable.hpp
Contains xtd::iequatable interface.
invalid_operation_exception.hpp
Contains xtd::invalid_operation_exception exception.
is.hpp
Contains xtd::is method.
xtd
The xtd namespace contains all fundamental classes to access Hardware, Os, System,...
Definition abstract_object.hpp:8
object.hpp
Contains xtd::object class.
xtd::box
Represents a boxed object.
Definition box.hpp:56
Generated on for xtd by Gammasoft. All rights reserved.