This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub suisen-cp/cp-library-cpp
#include "library/io/output_stream.hpp"
#ifndef SUISEN_OUTPUT_STREAM #define SUISEN_OUTPUT_STREAM #include <iostream> #include "library/type_traits/type_traits.hpp" namespace suisen::io { template <typename OStream, std::enable_if_t<std::conjunction_v<std::is_base_of<std::ostream, std::remove_reference_t<OStream>>, std::negation<std::is_const<std::remove_reference_t<OStream>>>>, std::nullptr_t> = nullptr> struct OutputStream { private: using ostream_type = std::remove_reference_t<OStream>; OStream os; public: template <typename OStream_> OutputStream(OStream_ &&os) : os(std::move(os)) {} template <typename OStream_> OutputStream(OStream_ &os) : os(os) {} template <typename T> OutputStream& operator<<(const T& e) { if constexpr (suisen::is_writable_v<T>) os << e; else _print(e); return *this; } void print() { *this << '\n'; } template <typename Head, typename... Tail> void print(const Head& head, const Tail &...tails) { *this << head, ((*this << ' ' << tails), ...), *this << '\n'; } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void print_all(const Iterable& v, std::string sep = " ", std::string end = "\n") { for (auto it = v.begin(); it != v.end();) if (*this << *it; ++it != v.end()) *this << sep; *this << end; } ostream_type& get_stream() { return os; } private: void _print(__uint128_t value) { char buffer[41], *d = std::end(buffer); do *--d = '0' + (value % 10), value /= 10; while (value); os.rdbuf()->sputn(d, std::end(buffer) - d); } void _print(__int128_t value) { if (value < 0) *this << '-'; _print(__uint128_t(value < 0 ? -value : value)); } template <typename T, typename U> void _print(const std::pair<T, U>& a) { *this << a.first << ' ' << a.second; } template <size_t N = 0, typename ...Args> void _print(const std::tuple<Args...>& a) { if constexpr (N < std::tuple_size_v<std::tuple<Args...>>) { if constexpr (N) *this << ' '; *this << std::get<N>(a), _print<N + 1>(a); } } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void _print(const Iterable& a) { print_all(a, " ", ""); } }; template <typename OStream_> OutputStream(OStream_ &&) -> OutputStream<OStream_>; template <typename OStream_> OutputStream(OStream_ &) -> OutputStream<OStream_&>; OutputStream cout{ std::cout }, cerr{ std::cerr }; template <typename... Args> void print(const Args &... args) { cout.print(args...); } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void print_all(const Iterable& v, const std::string& sep = " ", const std::string& end = "\n") { cout.print_all(v, sep, end); } } // namespace suisen::io namespace suisen { using io::print, io::print_all; } // namespace suisen #endif // SUISEN_OUTPUT_STREAM
#line 1 "library/io/output_stream.hpp" #include <iostream> #line 1 "library/type_traits/type_traits.hpp" #include <limits> #line 6 "library/type_traits/type_traits.hpp" #include <type_traits> namespace suisen { template <typename ...Constraints> using constraints_t = std::enable_if_t<std::conjunction_v<Constraints...>, std::nullptr_t>; template <typename T, typename = std::nullptr_t> struct bitnum { static constexpr int value = 0; }; template <typename T> struct bitnum<T, constraints_t<std::is_integral<T>>> { static constexpr int value = std::numeric_limits<std::make_unsigned_t<T>>::digits; }; template <typename T> static constexpr int bitnum_v = bitnum<T>::value; template <typename T, size_t n> struct is_nbit { static constexpr bool value = bitnum_v<T> == n; }; template <typename T, size_t n> static constexpr bool is_nbit_v = is_nbit<T, n>::value; template <typename T, typename = std::nullptr_t> struct safely_multipliable { using type = T; }; template <typename T> struct safely_multipliable<T, constraints_t<std::is_signed<T>, is_nbit<T, 32>>> { using type = long long; }; template <typename T> struct safely_multipliable<T, constraints_t<std::is_signed<T>, is_nbit<T, 64>>> { using type = __int128_t; }; template <typename T> struct safely_multipliable<T, constraints_t<std::is_unsigned<T>, is_nbit<T, 32>>> { using type = unsigned long long; }; template <typename T> struct safely_multipliable<T, constraints_t<std::is_unsigned<T>, is_nbit<T, 64>>> { using type = __uint128_t; }; template <typename T> using safely_multipliable_t = typename safely_multipliable<T>::type; template <typename T, typename = void> struct rec_value_type { using type = T; }; template <typename T> struct rec_value_type<T, std::void_t<typename T::value_type>> { using type = typename rec_value_type<typename T::value_type>::type; }; template <typename T> using rec_value_type_t = typename rec_value_type<T>::type; template <typename T> class is_iterable { template <typename T_> static auto test(T_ e) -> decltype(e.begin(), e.end(), std::true_type{}); static std::false_type test(...); public: static constexpr bool value = decltype(test(std::declval<T>()))::value; }; template <typename T> static constexpr bool is_iterable_v = is_iterable<T>::value; template <typename T> class is_writable { template <typename T_> static auto test(T_ e) -> decltype(std::declval<std::ostream&>() << e, std::true_type{}); static std::false_type test(...); public: static constexpr bool value = decltype(test(std::declval<T>()))::value; }; template <typename T> static constexpr bool is_writable_v = is_writable<T>::value; template <typename T> class is_readable { template <typename T_> static auto test(T_ e) -> decltype(std::declval<std::istream&>() >> e, std::true_type{}); static std::false_type test(...); public: static constexpr bool value = decltype(test(std::declval<T>()))::value; }; template <typename T> static constexpr bool is_readable_v = is_readable<T>::value; } // namespace suisen #line 6 "library/io/output_stream.hpp" namespace suisen::io { template <typename OStream, std::enable_if_t<std::conjunction_v<std::is_base_of<std::ostream, std::remove_reference_t<OStream>>, std::negation<std::is_const<std::remove_reference_t<OStream>>>>, std::nullptr_t> = nullptr> struct OutputStream { private: using ostream_type = std::remove_reference_t<OStream>; OStream os; public: template <typename OStream_> OutputStream(OStream_ &&os) : os(std::move(os)) {} template <typename OStream_> OutputStream(OStream_ &os) : os(os) {} template <typename T> OutputStream& operator<<(const T& e) { if constexpr (suisen::is_writable_v<T>) os << e; else _print(e); return *this; } void print() { *this << '\n'; } template <typename Head, typename... Tail> void print(const Head& head, const Tail &...tails) { *this << head, ((*this << ' ' << tails), ...), *this << '\n'; } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void print_all(const Iterable& v, std::string sep = " ", std::string end = "\n") { for (auto it = v.begin(); it != v.end();) if (*this << *it; ++it != v.end()) *this << sep; *this << end; } ostream_type& get_stream() { return os; } private: void _print(__uint128_t value) { char buffer[41], *d = std::end(buffer); do *--d = '0' + (value % 10), value /= 10; while (value); os.rdbuf()->sputn(d, std::end(buffer) - d); } void _print(__int128_t value) { if (value < 0) *this << '-'; _print(__uint128_t(value < 0 ? -value : value)); } template <typename T, typename U> void _print(const std::pair<T, U>& a) { *this << a.first << ' ' << a.second; } template <size_t N = 0, typename ...Args> void _print(const std::tuple<Args...>& a) { if constexpr (N < std::tuple_size_v<std::tuple<Args...>>) { if constexpr (N) *this << ' '; *this << std::get<N>(a), _print<N + 1>(a); } } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void _print(const Iterable& a) { print_all(a, " ", ""); } }; template <typename OStream_> OutputStream(OStream_ &&) -> OutputStream<OStream_>; template <typename OStream_> OutputStream(OStream_ &) -> OutputStream<OStream_&>; OutputStream cout{ std::cout }, cerr{ std::cerr }; template <typename... Args> void print(const Args &... args) { cout.print(args...); } template <typename Iterable, std::enable_if_t<suisen::is_iterable_v<Iterable>, std::nullptr_t> = nullptr> void print_all(const Iterable& v, const std::string& sep = " ", const std::string& end = "\n") { cout.print_all(v, sep, end); } } // namespace suisen::io namespace suisen { using io::print, io::print_all; } // namespace suisen