1//===---------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===---------------------------------------------------------------------===//
8
9#ifndef _LIBCPP___OSTREAM_PRINT_H
10#define _LIBCPP___OSTREAM_PRINT_H
11
12#include <__config>
13
14#if _LIBCPP_HAS_LOCALIZATION
15
16# include <__fwd/ostream.h>
17# include <__iterator/ostreambuf_iterator.h>
18# include <__ostream/basic_ostream.h>
19# include <format>
20# include <ios>
21# include <print>
22# include <streambuf>
23
24# if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
25# pragma GCC system_header
26# endif
27
28_LIBCPP_BEGIN_NAMESPACE_STD
29
30# if _LIBCPP_STD_VER >= 23
31
32template <class = void> // TODO PRINT template or availability markup fires too eagerly (http://llvm.org/PR61563).
33_LIBCPP_HIDE_FROM_ABI inline void
34__vprint_nonunicode(ostream& __os, string_view __fmt, format_args __args, bool __write_nl) {
35 // [ostream.formatted.print]/3
36 // Effects: Behaves as a formatted output function
37 // ([ostream.formatted.reqmts]) of os, except that:
38 // - failure to generate output is reported as specified below, and
39 // - any exception thrown by the call to vformat is propagated without regard
40 // to the value of os.exceptions() and without turning on ios_base::badbit
41 // in the error state of os.
42 // After constructing a sentry object, the function initializes an automatic
43 // variable via
44 // string out = vformat(os.getloc(), fmt, args);
45
46 ostream::sentry __s(__os);
47 if (__s) {
48 string __o = std::vformat(loc: __os.getloc(), __fmt, __args);
49 if (__write_nl)
50 __o += '\n';
51
52# if _LIBCPP_HAS_EXCEPTIONS
53 try {
54# endif // _LIBCPP_HAS_EXCEPTIONS
55 if (auto __rdbuf = __os.rdbuf();
56 !__rdbuf || __rdbuf->sputn(s: __o.data(), n: __o.size()) != static_cast<streamsize>(__o.size()))
57 __os.setstate(ios_base::badbit | ios_base::failbit);
58
59# if _LIBCPP_HAS_EXCEPTIONS
60 } catch (...) {
61 __os.__set_badbit_and_consider_rethrow();
62 }
63# endif // _LIBCPP_HAS_EXCEPTIONS
64 }
65}
66
67template <class = void> // TODO PRINT template or availability markup fires too eagerly (http://llvm.org/PR61563).
68_LIBCPP_HIDE_FROM_ABI inline void vprint_nonunicode(ostream& __os, string_view __fmt, format_args __args) {
69 std::__vprint_nonunicode(__os, __fmt, __args, write_nl: false);
70}
71
72// Returns the FILE* associated with the __os.
73// Returns a nullptr when no FILE* is associated with __os.
74// This function is in the dylib since the type of the buffer associated
75// with std::cout, std::cerr, and std::clog is only known in the dylib.
76//
77// This function implements part of the implementation-defined behavior
78// of [ostream.formatted.print]/3
79// If the function is vprint_unicode and os is a stream that refers to
80// a terminal capable of displaying Unicode which is determined in an
81// implementation-defined manner, writes out to the terminal using the
82// native Unicode API;
83// Whether the returned FILE* is "a terminal capable of displaying Unicode"
84// is determined in the same way as the print(FILE*, ...) overloads.
85_LIBCPP_BEGIN_EXPLICIT_ABI_ANNOTATIONS
86_LIBCPP_EXPORTED_FROM_ABI FILE* __get_ostream_file(ostream& __os);
87_LIBCPP_END_EXPLICIT_ABI_ANNOTATIONS
88
89# if _LIBCPP_HAS_UNICODE
90template <class = void> // TODO PRINT template or availability markup fires too eagerly (http://llvm.org/PR61563).
91_LIBCPP_HIDE_FROM_ABI void __vprint_unicode(ostream& __os, string_view __fmt, format_args __args, bool __write_nl) {
92# ifndef _LIBCPP_WIN32API
93 return std::__vprint_nonunicode(__os, __fmt, __args, __write_nl);
94# else
95 FILE* __file = std::__get_ostream_file(__os);
96 if (!__file || !__print::__is_terminal(__file))
97 return std::__vprint_nonunicode(__os, __fmt, __args, __write_nl);
98
99 // [ostream.formatted.print]/3
100 // If the function is vprint_unicode and os is a stream that refers to a
101 // terminal capable of displaying Unicode which is determined in an
102 // implementation-defined manner, writes out to the terminal using the
103 // native Unicode API; if out contains invalid code units, the behavior is
104 // undefined and implementations are encouraged to diagnose it. If the
105 // native Unicode API is used, the function flushes os before writing out.
106 //
107 // This is the path for the native API, start with flushing.
108 __os.flush();
109
110# if _LIBCPP_HAS_EXCEPTIONS
111 try {
112# endif // _LIBCPP_HAS_EXCEPTIONS
113 ostream::sentry __s(__os);
114 if (__s) {
115 auto __result = std::vformat(__fmt, __args);
116 if (__write_nl)
117 __result.push_back('\n');
118 __print::__output_unicode_windows(__file, __result);
119 }
120
121# if _LIBCPP_HAS_EXCEPTIONS
122 } catch (...) {
123 __os.__set_badbit_and_consider_rethrow();
124 }
125# endif // _LIBCPP_HAS_EXCEPTIONS
126# endif // _LIBCPP_WIN32API
127}
128
129template <class = void> // TODO PRINT template or availability markup fires too eagerly (http://llvm.org/PR61563).
130_LIBCPP_HIDE_FROM_ABI inline void vprint_unicode(ostream& __os, string_view __fmt, format_args __args) {
131 std::__vprint_unicode(__os, __fmt, __args, write_nl: false);
132}
133# endif // _LIBCPP_HAS_UNICODE
134
135template <class... _Args>
136_LIBCPP_HIDE_FROM_ABI void print(ostream& __os, format_string<_Args...> __fmt, _Args&&... __args) {
137# if _LIBCPP_HAS_UNICODE
138 if constexpr (__print::__use_unicode_execution_charset)
139 std::__vprint_unicode(__os, __fmt.get(), std::make_format_args(__args...), false);
140 else
141 std::__vprint_nonunicode(__os, __fmt.get(), std::make_format_args(__args...), false);
142# else // _LIBCPP_HAS_UNICODE
143 std::__vprint_nonunicode(__os, __fmt.get(), std::make_format_args(__args...), false);
144# endif // _LIBCPP_HAS_UNICODE
145}
146
147template <class... _Args>
148_LIBCPP_HIDE_FROM_ABI void println(ostream& __os, format_string<_Args...> __fmt, _Args&&... __args) {
149# if _LIBCPP_HAS_UNICODE
150 // Note the wording in the Standard is inefficient. The output of
151 // std::format is a std::string which is then copied. This solution
152 // just appends a newline at the end of the output.
153 if constexpr (__print::__use_unicode_execution_charset)
154 std::__vprint_unicode(__os, __fmt.get(), std::make_format_args(__args...), true);
155 else
156 std::__vprint_nonunicode(__os, __fmt.get(), std::make_format_args(__args...), true);
157# else // _LIBCPP_HAS_UNICODE
158 std::__vprint_nonunicode(__os, __fmt.get(), std::make_format_args(__args...), true);
159# endif // _LIBCPP_HAS_UNICODE
160}
161
162template <class = void> // TODO PRINT template or availability markup fires too eagerly (http://llvm.org/PR61563).
163_LIBCPP_HIDE_FROM_ABI inline void println(ostream& __os) {
164 std::print(__os, fmt: "\n");
165}
166
167# endif // _LIBCPP_STD_VER >= 23
168
169_LIBCPP_END_NAMESPACE_STD
170
171#endif // _LIBCPP_HAS_LOCALIZATION
172
173#endif // _LIBCPP___OSTREAM_PRINT_H
174