value_type.hpp

Go to the documentation of this file.

#pragma once
#define __XTD_STD_INTERNAL__
#include "internal/__xtd_std_version.hpp"
#undef __XTD_STD_INTERNAL__
#include "raw_type.hpp"
#include <concepts>
#include <iostream>
#include <type_traits>
#if defined(__xtd__cpp_lib_format)
#include <format>
#endif

namespace xtd {
  
  template<typename type_t>
  struct value_type {
    
    using native_type = type_t;
    
    
    constexpr value_type() noexcept = default;
    template<typename other_t>
    requires std::is_same_v<xtd::raw_type<other_t>, native_type> && (!std::is_same_v<xtd::raw_type<other_t>, value_type>)
    constexpr value_type(other_t&& value) noexcept : __t__ {value} {}

    template<typename other_t>
    requires std::is_same_v<xtd::raw_type<other_t>, native_type> && (!std::is_same_v<xtd::raw_type<other_t>, value_type>)
    auto operator =(other_t&& value) noexcept -> value_type& {__t__ = value; return *this;}
    [[nodiscard]] constexpr operator native_type() const noexcept {return __t__;}
    native_type __t__ {};
  };

  
  template<typename type_t>
  auto operator <<(std::ostream& os, const xtd::value_type<type_t>& v) -> std::ostream& {return os << v.__t__;}
  inline auto operator <<(std::ostream& os, const xtd::value_type<bool>& v) -> std::ostream& {return os << (v ? "true" : "false");}
}

#if defined(__xtd__cpp_lib_format)
template<typename type_t>
struct std::formatter<xtd::value_type<type_t>> : std::formatter<type_t> {auto format(const xtd::value_type<type_t>& v, format_context& ctx) const {return std::formatter<type_t>::format(v.value, ctx);}};
template<>
struct std::formatter<xtd::value_type<bool>> : std::formatter<bool> {auto format(const xtd::value_type<bool>& v, format_context& ctx) const {return v ? "true" : "false";}};
#endif