Print.hpp

Go to the documentation of this file.

//          Copyright Dominic (DNKpp) Koepke 2024-2026.
// Distributed under the Boost Software License, Version 1.0.
//    (See accompanying file LICENSE_1_0.txt or copy at
//          https://www.boost.org/LICENSE_1_0.txt)
 
#ifndef MIMICPP_PRINTING_STATE_PRINT_HPP
#define MIMICPP_PRINTING_STATE_PRINT_HPP
 
#pragma once
 
#include "mimic++/Fwd.hpp"
#include "mimic++/config/Config.hpp"
#include "mimic++/printing/Format.hpp"
#include "mimic++/printing/Fwd.hpp"
#include "mimic++/utilities/PriorityTag.hpp"
 
#ifndef MIMICPP_DETAIL_IS_MODULE
    #include <functional>
    #include <iterator>
    #include <type_traits>
    #include <utility>
#endif
 
namespace mimicpp::printing::detail::state
{
    template <
        print_iterator OutIter,
        typename T,
        printer_for<OutIter, T> Printer = custom::Printer<std::remove_const_t<T>>>
    constexpr OutIter print(
        [[maybe_unused]] util::priority_tag<4> const,
        OutIter out,
        T& value)
    {
        return Printer::print(
            std::move(out),
            value);
    }
 
    template <
        print_iterator OutIter,
        typename T,
        printer_for<OutIter, T> Printer = state::common_type_printer<std::remove_const_t<T>>>
    constexpr OutIter print(
        [[maybe_unused]] util::priority_tag<3> const,
        OutIter out,
        T& value)
    {
        return Printer::print(
            std::move(out),
            value);
    }
 
    template <
        print_iterator OutIter,
        typename T,
        printer_for<OutIter, T> Printer = state::cxx23_backport_printer<std::remove_const_t<T>>>
    constexpr OutIter print(
        [[maybe_unused]] util::priority_tag<2> const,
        OutIter out,
        T& value)
    {
        return Printer::print(
            std::move(out),
            value);
    }
 
    template <print_iterator OutIter, format::formattable T>
    constexpr OutIter print(
        [[maybe_unused]] util::priority_tag<1> const,
        OutIter out,
        T& value)
    {
        return format::format_to(
            std::move(out),
            "{}",
            value);
    }
 
    template <print_iterator OutIter>
    constexpr OutIter print(
        [[maybe_unused]] util::priority_tag<0> const,
        OutIter out,
        auto&)
    {
        return format::format_to(
            std::move(out),
            "{{?}}");
    }
 
    inline constexpr util::priority_tag<4> maxStatePrinterTag{};
}
 
MIMICPP_DETAIL_MODULE_EXPORT namespace mimicpp::printing
{
    class PrintFn
    {
    public:
        template <print_iterator OutIter>
        constexpr OutIter operator()(OutIter out, auto&& value) const
        {
            static_assert(
                requires {
                    {
                       detail::state::print(detail::state::maxStatePrinterTag, out, value)
                    } -> std::convertible_to<OutIter>; },
                "The given type is not printable. ");
 
            return detail::state::print(
                detail::state::maxStatePrinterTag,
                std::move(out),
                value);
        }
 
        [[nodiscard]]
        StringT operator()(auto&& value) const
        {
            StringStreamT stream{};
            std::invoke(*this, std::ostreambuf_iterator{stream}, value);
 
            return std::move(stream).str();
        }
    };
}
 
MIMICPP_DETAIL_MODULE_EXPORT namespace mimicpp
{


    [[maybe_unused]] inline constexpr printing::PrintFn print{};

}
 
#endif