|
|
@@ -47,22 +47,28 @@ struct non_movable_mixin: Type {
|
|
|
|
|
|
struct empty_type {};
|
|
|
|
|
|
+template<typename Type>
|
|
|
struct value_type {
|
|
|
constexpr value_type() = default;
|
|
|
- constexpr value_type(int elem): value{elem} {}
|
|
|
+ constexpr value_type(Type elem): value{elem} {}
|
|
|
[[nodiscard]] constexpr bool operator==(const value_type &) const noexcept = default;
|
|
|
[[nodiscard]] constexpr auto operator<=>(const value_type &) const noexcept = default;
|
|
|
- int value{};
|
|
|
+ operator Type() const noexcept { return value; }
|
|
|
+ Type value{};
|
|
|
};
|
|
|
|
|
|
} // namespace internal
|
|
|
|
|
|
-using pointer_stable = internal::pointer_stable_mixin<internal::value_type>;
|
|
|
-using non_default_constructible = internal::non_default_constructible_mixin<internal::value_type>;
|
|
|
-using non_trivially_destructible = internal::non_trivially_destructible_mixin<internal::value_type>;
|
|
|
-using pointer_stable_non_trivially_destructible = internal::pointer_stable_mixin<internal::non_trivially_destructible_mixin<internal::value_type>>;
|
|
|
+using pointer_stable = internal::pointer_stable_mixin<internal::value_type<int>>;
|
|
|
+using pointer_stable_non_trivially_destructible = internal::pointer_stable_mixin<internal::non_trivially_destructible_mixin<internal::value_type<int>>>;
|
|
|
+
|
|
|
+using non_default_constructible = internal::non_default_constructible_mixin<internal::value_type<int>>;
|
|
|
+using non_trivially_destructible = internal::non_trivially_destructible_mixin<internal::value_type<int>>;
|
|
|
using non_comparable = internal::non_comparable_mixin<internal::empty_type>;
|
|
|
-using non_movable = internal::non_movable_mixin<internal::value_type>;
|
|
|
+using non_movable = internal::non_movable_mixin<internal::value_type<int>>;
|
|
|
+
|
|
|
+using boxed_int = internal::value_type<int>;
|
|
|
+using boxed_char = internal::value_type<char>;
|
|
|
|
|
|
using empty = internal::empty_type;
|
|
|
struct other_empty: internal::empty_type {};
|