xref: /openbsd-src/gnu/llvm/libcxx/include/__format/buffer.h (revision 4bdff4bed0e3d54e55670334c7d0077db4170f86)
1*4bdff4beSrobert // -*- C++ -*-
2*4bdff4beSrobert //===----------------------------------------------------------------------===//
3*4bdff4beSrobert //
4*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information.
6*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7*4bdff4beSrobert //
8*4bdff4beSrobert //===----------------------------------------------------------------------===//
9*4bdff4beSrobert 
10*4bdff4beSrobert #ifndef _LIBCPP___FORMAT_BUFFER_H
11*4bdff4beSrobert #define _LIBCPP___FORMAT_BUFFER_H
12*4bdff4beSrobert 
13*4bdff4beSrobert #include <__algorithm/copy_n.h>
14*4bdff4beSrobert #include <__algorithm/fill_n.h>
15*4bdff4beSrobert #include <__algorithm/max.h>
16*4bdff4beSrobert #include <__algorithm/min.h>
17*4bdff4beSrobert #include <__algorithm/ranges_copy_n.h>
18*4bdff4beSrobert #include <__algorithm/transform.h>
19*4bdff4beSrobert #include <__algorithm/unwrap_iter.h>
20*4bdff4beSrobert #include <__concepts/same_as.h>
21*4bdff4beSrobert #include <__config>
22*4bdff4beSrobert #include <__format/concepts.h>
23*4bdff4beSrobert #include <__format/enable_insertable.h>
24*4bdff4beSrobert #include <__format/format_to_n_result.h>
25*4bdff4beSrobert #include <__iterator/back_insert_iterator.h>
26*4bdff4beSrobert #include <__iterator/concepts.h>
27*4bdff4beSrobert #include <__iterator/incrementable_traits.h>
28*4bdff4beSrobert #include <__iterator/iterator_traits.h>
29*4bdff4beSrobert #include <__iterator/wrap_iter.h>
30*4bdff4beSrobert #include <__utility/move.h>
31*4bdff4beSrobert #include <cstddef>
32*4bdff4beSrobert #include <string_view>
33*4bdff4beSrobert #include <type_traits>
34*4bdff4beSrobert #include <vector>
35*4bdff4beSrobert 
36*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
37*4bdff4beSrobert #  pragma GCC system_header
38*4bdff4beSrobert #endif
39*4bdff4beSrobert 
40*4bdff4beSrobert _LIBCPP_PUSH_MACROS
41*4bdff4beSrobert #include <__undef_macros>
42*4bdff4beSrobert 
43*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD
44*4bdff4beSrobert 
45*4bdff4beSrobert #if _LIBCPP_STD_VER > 17
46*4bdff4beSrobert 
47*4bdff4beSrobert namespace __format {
48*4bdff4beSrobert 
49*4bdff4beSrobert /// A "buffer" that handles writing to the proper iterator.
50*4bdff4beSrobert ///
51*4bdff4beSrobert /// This helper is used together with the @ref back_insert_iterator to offer
52*4bdff4beSrobert /// type-erasure for the formatting functions. This reduces the number to
53*4bdff4beSrobert /// template instantiations.
54*4bdff4beSrobert template <__fmt_char_type _CharT>
55*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __output_buffer {
56*4bdff4beSrobert public:
57*4bdff4beSrobert   using value_type = _CharT;
58*4bdff4beSrobert 
59*4bdff4beSrobert   template <class _Tp>
__output_buffer(_CharT * __ptr,size_t __capacity,_Tp * __obj)60*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __output_buffer(_CharT* __ptr, size_t __capacity, _Tp* __obj)
61*4bdff4beSrobert       : __ptr_(__ptr),
62*4bdff4beSrobert         __capacity_(__capacity),
63*4bdff4beSrobert         __flush_([](_CharT* __p, size_t __n, void* __o) { static_cast<_Tp*>(__o)->__flush(__p, __n); }),
64*4bdff4beSrobert         __obj_(__obj) {}
65*4bdff4beSrobert 
__reset(_CharT * __ptr,size_t __capacity)66*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __reset(_CharT* __ptr, size_t __capacity) {
67*4bdff4beSrobert     __ptr_ = __ptr;
68*4bdff4beSrobert     __capacity_ = __capacity;
69*4bdff4beSrobert   }
70*4bdff4beSrobert 
__make_output_iterator()71*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI auto __make_output_iterator() { return std::back_insert_iterator{*this}; }
72*4bdff4beSrobert 
73*4bdff4beSrobert   // Used in std::back_insert_iterator.
push_back(_CharT __c)74*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void push_back(_CharT __c) {
75*4bdff4beSrobert     __ptr_[__size_++] = __c;
76*4bdff4beSrobert 
77*4bdff4beSrobert     // Profiling showed flushing after adding is more efficient than flushing
78*4bdff4beSrobert     // when entering the function.
79*4bdff4beSrobert     if (__size_ == __capacity_)
80*4bdff4beSrobert       __flush();
81*4bdff4beSrobert   }
82*4bdff4beSrobert 
83*4bdff4beSrobert   /// Copies the input __str to the buffer.
84*4bdff4beSrobert   ///
85*4bdff4beSrobert   /// Since some of the input is generated by std::to_chars, there needs to be a
86*4bdff4beSrobert   /// conversion when _CharT is wchar_t.
87*4bdff4beSrobert   template <__fmt_char_type _InCharT>
__copy(basic_string_view<_InCharT> __str)88*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __copy(basic_string_view<_InCharT> __str) {
89*4bdff4beSrobert     // When the underlying iterator is a simple iterator the __capacity_ is
90*4bdff4beSrobert     // infinite. For a string or container back_inserter it isn't. This means
91*4bdff4beSrobert     // adding a large string the the buffer can cause some overhead. In that
92*4bdff4beSrobert     // case a better approach could be:
93*4bdff4beSrobert     // - flush the buffer
94*4bdff4beSrobert     // - container.append(__str.begin(), __str.end());
95*4bdff4beSrobert     // The same holds true for the fill.
96*4bdff4beSrobert     // For transform it might be slightly harder, however the use case for
97*4bdff4beSrobert     // transform is slightly less common; it converts hexadecimal values to
98*4bdff4beSrobert     // upper case. For integral these strings are short.
99*4bdff4beSrobert     // TODO FMT Look at the improvements above.
100*4bdff4beSrobert     size_t __n = __str.size();
101*4bdff4beSrobert 
102*4bdff4beSrobert     __flush_on_overflow(__n);
103*4bdff4beSrobert     if (__n <= __capacity_) {
104*4bdff4beSrobert       _VSTD::copy_n(__str.data(), __n, _VSTD::addressof(__ptr_[__size_]));
105*4bdff4beSrobert       __size_ += __n;
106*4bdff4beSrobert       return;
107*4bdff4beSrobert     }
108*4bdff4beSrobert 
109*4bdff4beSrobert     // The output doesn't fit in the internal buffer.
110*4bdff4beSrobert     // Copy the data in "__capacity_" sized chunks.
111*4bdff4beSrobert     _LIBCPP_ASSERT(__size_ == 0, "the buffer should be flushed by __flush_on_overflow");
112*4bdff4beSrobert     const _InCharT* __first = __str.data();
113*4bdff4beSrobert     do {
114*4bdff4beSrobert       size_t __chunk = _VSTD::min(__n, __capacity_);
115*4bdff4beSrobert       _VSTD::copy_n(__first, __chunk, _VSTD::addressof(__ptr_[__size_]));
116*4bdff4beSrobert       __size_ = __chunk;
117*4bdff4beSrobert       __first += __chunk;
118*4bdff4beSrobert       __n -= __chunk;
119*4bdff4beSrobert       __flush();
120*4bdff4beSrobert     } while (__n);
121*4bdff4beSrobert   }
122*4bdff4beSrobert 
123*4bdff4beSrobert   /// A std::transform wrapper.
124*4bdff4beSrobert   ///
125*4bdff4beSrobert   /// Like @ref __copy it may need to do type conversion.
126*4bdff4beSrobert   template <__fmt_char_type _InCharT, class _UnaryOperation>
__transform(const _InCharT * __first,const _InCharT * __last,_UnaryOperation __operation)127*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __transform(const _InCharT* __first, const _InCharT* __last, _UnaryOperation __operation) {
128*4bdff4beSrobert     _LIBCPP_ASSERT(__first <= __last, "not a valid range");
129*4bdff4beSrobert 
130*4bdff4beSrobert     size_t __n = static_cast<size_t>(__last - __first);
131*4bdff4beSrobert     __flush_on_overflow(__n);
132*4bdff4beSrobert     if (__n <= __capacity_) {
133*4bdff4beSrobert       _VSTD::transform(__first, __last, _VSTD::addressof(__ptr_[__size_]), _VSTD::move(__operation));
134*4bdff4beSrobert       __size_ += __n;
135*4bdff4beSrobert       return;
136*4bdff4beSrobert     }
137*4bdff4beSrobert 
138*4bdff4beSrobert     // The output doesn't fit in the internal buffer.
139*4bdff4beSrobert     // Transform the data in "__capacity_" sized chunks.
140*4bdff4beSrobert     _LIBCPP_ASSERT(__size_ == 0, "the buffer should be flushed by __flush_on_overflow");
141*4bdff4beSrobert     do {
142*4bdff4beSrobert       size_t __chunk = _VSTD::min(__n, __capacity_);
143*4bdff4beSrobert       _VSTD::transform(__first, __first + __chunk, _VSTD::addressof(__ptr_[__size_]), __operation);
144*4bdff4beSrobert       __size_ = __chunk;
145*4bdff4beSrobert       __first += __chunk;
146*4bdff4beSrobert       __n -= __chunk;
147*4bdff4beSrobert       __flush();
148*4bdff4beSrobert     } while (__n);
149*4bdff4beSrobert   }
150*4bdff4beSrobert 
151*4bdff4beSrobert   /// A \c fill_n wrapper.
__fill(size_t __n,_CharT __value)152*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __fill(size_t __n, _CharT __value) {
153*4bdff4beSrobert     __flush_on_overflow(__n);
154*4bdff4beSrobert     if (__n <= __capacity_) {
155*4bdff4beSrobert       _VSTD::fill_n(_VSTD::addressof(__ptr_[__size_]), __n, __value);
156*4bdff4beSrobert       __size_ += __n;
157*4bdff4beSrobert       return;
158*4bdff4beSrobert     }
159*4bdff4beSrobert 
160*4bdff4beSrobert     // The output doesn't fit in the internal buffer.
161*4bdff4beSrobert     // Fill the buffer in "__capacity_" sized chunks.
162*4bdff4beSrobert     _LIBCPP_ASSERT(__size_ == 0, "the buffer should be flushed by __flush_on_overflow");
163*4bdff4beSrobert     do {
164*4bdff4beSrobert       size_t __chunk = _VSTD::min(__n, __capacity_);
165*4bdff4beSrobert       _VSTD::fill_n(_VSTD::addressof(__ptr_[__size_]), __chunk, __value);
166*4bdff4beSrobert       __size_ = __chunk;
167*4bdff4beSrobert       __n -= __chunk;
168*4bdff4beSrobert       __flush();
169*4bdff4beSrobert     } while (__n);
170*4bdff4beSrobert   }
171*4bdff4beSrobert 
__flush()172*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush() {
173*4bdff4beSrobert     __flush_(__ptr_, __size_, __obj_);
174*4bdff4beSrobert     __size_ = 0;
175*4bdff4beSrobert   }
176*4bdff4beSrobert 
177*4bdff4beSrobert private:
178*4bdff4beSrobert   _CharT* __ptr_;
179*4bdff4beSrobert   size_t __capacity_;
180*4bdff4beSrobert   size_t __size_{0};
181*4bdff4beSrobert   void (*__flush_)(_CharT*, size_t, void*);
182*4bdff4beSrobert   void* __obj_;
183*4bdff4beSrobert 
184*4bdff4beSrobert   /// Flushes the buffer when the output operation would overflow the buffer.
185*4bdff4beSrobert   ///
186*4bdff4beSrobert   /// A simple approach for the overflow detection would be something along the
187*4bdff4beSrobert   /// lines:
188*4bdff4beSrobert   /// \code
189*4bdff4beSrobert   /// // The internal buffer is large enough.
190*4bdff4beSrobert   /// if (__n <= __capacity_) {
191*4bdff4beSrobert   ///   // Flush when we really would overflow.
192*4bdff4beSrobert   ///   if (__size_ + __n >= __capacity_)
193*4bdff4beSrobert   ///     __flush();
194*4bdff4beSrobert   ///   ...
195*4bdff4beSrobert   /// }
196*4bdff4beSrobert   /// \endcode
197*4bdff4beSrobert   ///
198*4bdff4beSrobert   /// This approach works for all cases but one:
199*4bdff4beSrobert   /// A __format_to_n_buffer_base where \ref __enable_direct_output is true.
200*4bdff4beSrobert   /// In that case the \ref __capacity_ of the buffer changes during the first
201*4bdff4beSrobert   /// \ref __flush. During that operation the output buffer switches from its
202*4bdff4beSrobert   /// __writer_ to its __storage_. The \ref __capacity_ of the former depends
203*4bdff4beSrobert   /// on the value of n, of the latter is a fixed size. For example:
204*4bdff4beSrobert   /// - a format_to_n call with a 10'000 char buffer,
205*4bdff4beSrobert   /// - the buffer is filled with 9'500 chars,
206*4bdff4beSrobert   /// - adding 1'000 elements would overflow the buffer so the buffer gets
207*4bdff4beSrobert   ///   changed and the \ref __capacity_ decreases from 10'000 to
208*4bdff4beSrobert   ///   __buffer_size (256 at the time of writing).
209*4bdff4beSrobert   ///
210*4bdff4beSrobert   /// This means that the \ref __flush for this class may need to copy a part of
211*4bdff4beSrobert   /// the internal buffer to the proper output. In this example there will be
212*4bdff4beSrobert   /// 500 characters that need this copy operation.
213*4bdff4beSrobert   ///
214*4bdff4beSrobert   /// Note it would be more efficient to write 500 chars directly and then swap
215*4bdff4beSrobert   /// the buffers. This would make the code more complex and \ref format_to_n is
216*4bdff4beSrobert   /// not the most common use case. Therefore the optimization isn't done.
__flush_on_overflow(size_t __n)217*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush_on_overflow(size_t __n) {
218*4bdff4beSrobert     if (__size_ + __n >= __capacity_)
219*4bdff4beSrobert       __flush();
220*4bdff4beSrobert   }
221*4bdff4beSrobert };
222*4bdff4beSrobert 
223*4bdff4beSrobert /// A storage using an internal buffer.
224*4bdff4beSrobert ///
225*4bdff4beSrobert /// This storage is used when writing a single element to the output iterator
226*4bdff4beSrobert /// is expensive.
227*4bdff4beSrobert template <__fmt_char_type _CharT>
228*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __internal_storage {
229*4bdff4beSrobert public:
__begin()230*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI _CharT* __begin() { return __buffer_; }
231*4bdff4beSrobert 
232*4bdff4beSrobert   static constexpr size_t __buffer_size = 256 / sizeof(_CharT);
233*4bdff4beSrobert 
234*4bdff4beSrobert private:
235*4bdff4beSrobert   _CharT __buffer_[__buffer_size];
236*4bdff4beSrobert };
237*4bdff4beSrobert 
238*4bdff4beSrobert /// A storage writing directly to the storage.
239*4bdff4beSrobert ///
240*4bdff4beSrobert /// This requires the storage to be a contiguous buffer of \a _CharT.
241*4bdff4beSrobert /// Since the output is directly written to the underlying storage this class
242*4bdff4beSrobert /// is just an empty class.
243*4bdff4beSrobert template <__fmt_char_type _CharT>
244*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __direct_storage {};
245*4bdff4beSrobert 
246*4bdff4beSrobert template <class _OutIt, class _CharT>
247*4bdff4beSrobert concept __enable_direct_output = __fmt_char_type<_CharT> &&
248*4bdff4beSrobert     (same_as<_OutIt, _CharT*>
249*4bdff4beSrobert #ifndef _LIBCPP_ENABLE_DEBUG_MODE
250*4bdff4beSrobert      || same_as<_OutIt, __wrap_iter<_CharT*>>
251*4bdff4beSrobert #endif
252*4bdff4beSrobert     );
253*4bdff4beSrobert 
254*4bdff4beSrobert /// Write policy for directly writing to the underlying output.
255*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT>
256*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __writer_direct {
257*4bdff4beSrobert public:
__writer_direct(_OutIt __out_it)258*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __writer_direct(_OutIt __out_it)
259*4bdff4beSrobert       : __out_it_(__out_it) {}
260*4bdff4beSrobert 
__out_it()261*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI _OutIt __out_it() { return __out_it_; }
262*4bdff4beSrobert 
__flush(_CharT *,size_t __n)263*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT*, size_t __n) {
264*4bdff4beSrobert     // _OutIt can be a __wrap_iter<CharT*>. Therefore the original iterator
265*4bdff4beSrobert     // is adjusted.
266*4bdff4beSrobert     __out_it_ += __n;
267*4bdff4beSrobert   }
268*4bdff4beSrobert 
269*4bdff4beSrobert private:
270*4bdff4beSrobert   _OutIt __out_it_;
271*4bdff4beSrobert };
272*4bdff4beSrobert 
273*4bdff4beSrobert /// Write policy for copying the buffer to the output.
274*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT>
275*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __writer_iterator {
276*4bdff4beSrobert public:
__writer_iterator(_OutIt __out_it)277*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __writer_iterator(_OutIt __out_it)
278*4bdff4beSrobert       : __out_it_{_VSTD::move(__out_it)} {}
279*4bdff4beSrobert 
__out_it()280*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI _OutIt __out_it() && { return std::move(__out_it_); }
281*4bdff4beSrobert 
__flush(_CharT * __ptr,size_t __n)282*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT* __ptr, size_t __n) {
283*4bdff4beSrobert     __out_it_ = std::ranges::copy_n(__ptr, __n, std::move(__out_it_)).out;
284*4bdff4beSrobert   }
285*4bdff4beSrobert 
286*4bdff4beSrobert private:
287*4bdff4beSrobert   _OutIt __out_it_;
288*4bdff4beSrobert };
289*4bdff4beSrobert 
290*4bdff4beSrobert /// Concept to see whether a \a _Container is insertable.
291*4bdff4beSrobert ///
292*4bdff4beSrobert /// The concept is used to validate whether multiple calls to a
293*4bdff4beSrobert /// \ref back_insert_iterator can be replace by a call to \c _Container::insert.
294*4bdff4beSrobert ///
295*4bdff4beSrobert /// \note a \a _Container needs to opt-in to the concept by specializing
296*4bdff4beSrobert /// \ref __enable_insertable.
297*4bdff4beSrobert template <class _Container>
298*4bdff4beSrobert concept __insertable =
299*4bdff4beSrobert     __enable_insertable<_Container> && __fmt_char_type<typename _Container::value_type> &&
requires(_Container & __t,add_pointer_t<typename _Container::value_type> __first,add_pointer_t<typename _Container::value_type> __last)300*4bdff4beSrobert     requires(_Container& __t, add_pointer_t<typename _Container::value_type> __first,
301*4bdff4beSrobert              add_pointer_t<typename _Container::value_type> __last) { __t.insert(__t.end(), __first, __last); };
302*4bdff4beSrobert 
303*4bdff4beSrobert /// Extract the container type of a \ref back_insert_iterator.
304*4bdff4beSrobert template <class _It>
305*4bdff4beSrobert struct _LIBCPP_TEMPLATE_VIS __back_insert_iterator_container {
306*4bdff4beSrobert   using type = void;
307*4bdff4beSrobert };
308*4bdff4beSrobert 
309*4bdff4beSrobert template <__insertable _Container>
310*4bdff4beSrobert struct _LIBCPP_TEMPLATE_VIS __back_insert_iterator_container<back_insert_iterator<_Container>> {
311*4bdff4beSrobert   using type = _Container;
312*4bdff4beSrobert };
313*4bdff4beSrobert 
314*4bdff4beSrobert /// Write policy for inserting the buffer in a container.
315*4bdff4beSrobert template <class _Container>
316*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __writer_container {
317*4bdff4beSrobert public:
318*4bdff4beSrobert   using _CharT = typename _Container::value_type;
319*4bdff4beSrobert 
320*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __writer_container(back_insert_iterator<_Container> __out_it)
321*4bdff4beSrobert       : __container_{__out_it.__get_container()} {}
322*4bdff4beSrobert 
323*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI auto __out_it() { return std::back_inserter(*__container_); }
324*4bdff4beSrobert 
325*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT* __ptr, size_t __n) {
326*4bdff4beSrobert     __container_->insert(__container_->end(), __ptr, __ptr + __n);
327*4bdff4beSrobert   }
328*4bdff4beSrobert 
329*4bdff4beSrobert private:
330*4bdff4beSrobert   _Container* __container_;
331*4bdff4beSrobert };
332*4bdff4beSrobert 
333*4bdff4beSrobert /// Selects the type of the writer used for the output iterator.
334*4bdff4beSrobert template <class _OutIt, class _CharT>
335*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __writer_selector {
336*4bdff4beSrobert   using _Container = typename __back_insert_iterator_container<_OutIt>::type;
337*4bdff4beSrobert 
338*4bdff4beSrobert public:
339*4bdff4beSrobert   using type = conditional_t<!same_as<_Container, void>, __writer_container<_Container>,
340*4bdff4beSrobert                              conditional_t<__enable_direct_output<_OutIt, _CharT>, __writer_direct<_OutIt, _CharT>,
341*4bdff4beSrobert                                            __writer_iterator<_OutIt, _CharT>>>;
342*4bdff4beSrobert };
343*4bdff4beSrobert 
344*4bdff4beSrobert /// The generic formatting buffer.
345*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT>
346*4bdff4beSrobert requires(output_iterator<_OutIt, const _CharT&>) class _LIBCPP_TEMPLATE_VIS
347*4bdff4beSrobert     __format_buffer {
348*4bdff4beSrobert   using _Storage =
349*4bdff4beSrobert       conditional_t<__enable_direct_output<_OutIt, _CharT>,
350*4bdff4beSrobert                     __direct_storage<_CharT>, __internal_storage<_CharT>>;
351*4bdff4beSrobert 
352*4bdff4beSrobert public:
353*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __format_buffer(_OutIt __out_it)
354*4bdff4beSrobert     requires(same_as<_Storage, __internal_storage<_CharT>>)
355*4bdff4beSrobert       : __output_(__storage_.__begin(), __storage_.__buffer_size, this), __writer_(_VSTD::move(__out_it)) {}
356*4bdff4beSrobert 
357*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __format_buffer(_OutIt __out_it) requires(
358*4bdff4beSrobert       same_as<_Storage, __direct_storage<_CharT>>)
359*4bdff4beSrobert       : __output_(_VSTD::__unwrap_iter(__out_it), size_t(-1), this),
360*4bdff4beSrobert         __writer_(_VSTD::move(__out_it)) {}
361*4bdff4beSrobert 
362*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI auto __make_output_iterator() { return __output_.__make_output_iterator(); }
363*4bdff4beSrobert 
364*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT* __ptr, size_t __n) { __writer_.__flush(__ptr, __n); }
365*4bdff4beSrobert 
366*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI _OutIt __out_it() && {
367*4bdff4beSrobert     __output_.__flush();
368*4bdff4beSrobert     return _VSTD::move(__writer_).__out_it();
369*4bdff4beSrobert   }
370*4bdff4beSrobert 
371*4bdff4beSrobert private:
372*4bdff4beSrobert   _LIBCPP_NO_UNIQUE_ADDRESS _Storage __storage_;
373*4bdff4beSrobert   __output_buffer<_CharT> __output_;
374*4bdff4beSrobert   typename __writer_selector<_OutIt, _CharT>::type __writer_;
375*4bdff4beSrobert };
376*4bdff4beSrobert 
377*4bdff4beSrobert /// A buffer that counts the number of insertions.
378*4bdff4beSrobert ///
379*4bdff4beSrobert /// Since \ref formatted_size only needs to know the size, the output itself is
380*4bdff4beSrobert /// discarded.
381*4bdff4beSrobert template <__fmt_char_type _CharT>
382*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __formatted_size_buffer {
383*4bdff4beSrobert public:
384*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI auto __make_output_iterator() { return __output_.__make_output_iterator(); }
385*4bdff4beSrobert 
386*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(const _CharT*, size_t __n) { __size_ += __n; }
387*4bdff4beSrobert 
388*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI size_t __result() && {
389*4bdff4beSrobert     __output_.__flush();
390*4bdff4beSrobert     return __size_;
391*4bdff4beSrobert   }
392*4bdff4beSrobert 
393*4bdff4beSrobert private:
394*4bdff4beSrobert   __internal_storage<_CharT> __storage_;
395*4bdff4beSrobert   __output_buffer<_CharT> __output_{__storage_.__begin(), __storage_.__buffer_size, this};
396*4bdff4beSrobert   size_t __size_{0};
397*4bdff4beSrobert };
398*4bdff4beSrobert 
399*4bdff4beSrobert /// The base of a buffer that counts and limits the number of insertions.
400*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT, bool>
401*4bdff4beSrobert   requires(output_iterator<_OutIt, const _CharT&>)
402*4bdff4beSrobert struct _LIBCPP_TEMPLATE_VIS __format_to_n_buffer_base {
403*4bdff4beSrobert   using _Size = iter_difference_t<_OutIt>;
404*4bdff4beSrobert 
405*4bdff4beSrobert public:
406*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __format_to_n_buffer_base(_OutIt __out_it, _Size __max_size)
407*4bdff4beSrobert       : __writer_(_VSTD::move(__out_it)), __max_size_(_VSTD::max(_Size(0), __max_size)) {}
408*4bdff4beSrobert 
409*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT* __ptr, size_t __n) {
410*4bdff4beSrobert     if (_Size(__size_) <= __max_size_)
411*4bdff4beSrobert       __writer_.__flush(__ptr, _VSTD::min(_Size(__n), __max_size_ - __size_));
412*4bdff4beSrobert     __size_ += __n;
413*4bdff4beSrobert   }
414*4bdff4beSrobert 
415*4bdff4beSrobert protected:
416*4bdff4beSrobert   __internal_storage<_CharT> __storage_;
417*4bdff4beSrobert   __output_buffer<_CharT> __output_{__storage_.__begin(), __storage_.__buffer_size, this};
418*4bdff4beSrobert   typename __writer_selector<_OutIt, _CharT>::type __writer_;
419*4bdff4beSrobert 
420*4bdff4beSrobert   _Size __max_size_;
421*4bdff4beSrobert   _Size __size_{0};
422*4bdff4beSrobert };
423*4bdff4beSrobert 
424*4bdff4beSrobert /// The base of a buffer that counts and limits the number of insertions.
425*4bdff4beSrobert ///
426*4bdff4beSrobert /// This version is used when \c __enable_direct_output<_OutIt, _CharT> == true.
427*4bdff4beSrobert ///
428*4bdff4beSrobert /// This class limits the size available to the direct writer so it will not
429*4bdff4beSrobert /// exceed the maximum number of code units.
430*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT>
431*4bdff4beSrobert   requires(output_iterator<_OutIt, const _CharT&>)
432*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __format_to_n_buffer_base<_OutIt, _CharT, true> {
433*4bdff4beSrobert   using _Size = iter_difference_t<_OutIt>;
434*4bdff4beSrobert 
435*4bdff4beSrobert public:
436*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __format_to_n_buffer_base(_OutIt __out_it, _Size __max_size)
437*4bdff4beSrobert       : __output_(_VSTD::__unwrap_iter(__out_it), __max_size, this),
438*4bdff4beSrobert         __writer_(_VSTD::move(__out_it)),
439*4bdff4beSrobert         __max_size_(__max_size) {
440*4bdff4beSrobert     if (__max_size <= 0) [[unlikely]]
441*4bdff4beSrobert       __output_.__reset(__storage_.__begin(), __storage_.__buffer_size);
442*4bdff4beSrobert   }
443*4bdff4beSrobert 
444*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __flush(_CharT* __ptr, size_t __n) {
445*4bdff4beSrobert     // A __flush to the direct writer happens in the following occasions:
446*4bdff4beSrobert     // - The format function has written the maximum number of allowed code
447*4bdff4beSrobert     //   units. At this point it's no longer valid to write to this writer. So
448*4bdff4beSrobert     //   switch to the internal storage. This internal storage doesn't need to
449*4bdff4beSrobert     //   be written anywhere so the __flush for that storage writes no output.
450*4bdff4beSrobert     // - Like above, but the next "mass write" operation would overflow the
451*4bdff4beSrobert     //   buffer. In that case the buffer is pre-emptively switched. The still
452*4bdff4beSrobert     //   valid code units will be written separately.
453*4bdff4beSrobert     // - The format_to_n function is finished. In this case there's no need to
454*4bdff4beSrobert     //   switch the buffer, but for simplicity the buffers are still switched.
455*4bdff4beSrobert     // When the __max_size <= 0 the constructor already switched the buffers.
456*4bdff4beSrobert     if (__size_ == 0 && __ptr != __storage_.__begin()) {
457*4bdff4beSrobert       __writer_.__flush(__ptr, __n);
458*4bdff4beSrobert       __output_.__reset(__storage_.__begin(), __storage_.__buffer_size);
459*4bdff4beSrobert     } else if (__size_ < __max_size_) {
460*4bdff4beSrobert       // Copies a part of the internal buffer to the output up to n characters.
461*4bdff4beSrobert       // See __output_buffer<_CharT>::__flush_on_overflow for more information.
462*4bdff4beSrobert       _Size __s = _VSTD::min(_Size(__n), __max_size_ - __size_);
463*4bdff4beSrobert       std::copy_n(__ptr, __s, __writer_.__out_it());
464*4bdff4beSrobert       __writer_.__flush(__ptr, __s);
465*4bdff4beSrobert     }
466*4bdff4beSrobert 
467*4bdff4beSrobert     __size_ += __n;
468*4bdff4beSrobert   }
469*4bdff4beSrobert 
470*4bdff4beSrobert protected:
471*4bdff4beSrobert   __internal_storage<_CharT> __storage_;
472*4bdff4beSrobert   __output_buffer<_CharT> __output_;
473*4bdff4beSrobert   __writer_direct<_OutIt, _CharT> __writer_;
474*4bdff4beSrobert 
475*4bdff4beSrobert   _Size __max_size_;
476*4bdff4beSrobert   _Size __size_{0};
477*4bdff4beSrobert };
478*4bdff4beSrobert 
479*4bdff4beSrobert /// The buffer that counts and limits the number of insertions.
480*4bdff4beSrobert template <class _OutIt, __fmt_char_type _CharT>
481*4bdff4beSrobert   requires(output_iterator<_OutIt, const _CharT&>)
482*4bdff4beSrobert struct _LIBCPP_TEMPLATE_VIS __format_to_n_buffer final
483*4bdff4beSrobert     : public __format_to_n_buffer_base< _OutIt, _CharT, __enable_direct_output<_OutIt, _CharT>> {
484*4bdff4beSrobert   using _Base = __format_to_n_buffer_base<_OutIt, _CharT, __enable_direct_output<_OutIt, _CharT>>;
485*4bdff4beSrobert   using _Size = iter_difference_t<_OutIt>;
486*4bdff4beSrobert 
487*4bdff4beSrobert public:
488*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __format_to_n_buffer(_OutIt __out_it, _Size __max_size)
489*4bdff4beSrobert       : _Base(_VSTD::move(__out_it), __max_size) {}
490*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI auto __make_output_iterator() { return this->__output_.__make_output_iterator(); }
491*4bdff4beSrobert 
492*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI format_to_n_result<_OutIt> __result() && {
493*4bdff4beSrobert     this->__output_.__flush();
494*4bdff4beSrobert     return {_VSTD::move(this->__writer_).__out_it(), this->__size_};
495*4bdff4beSrobert   }
496*4bdff4beSrobert };
497*4bdff4beSrobert 
498*4bdff4beSrobert // A dynamically growing buffer intended to be used for retargeting a context.
499*4bdff4beSrobert //
500*4bdff4beSrobert // P2286 Formatting ranges adds range formatting support. It allows the user to
501*4bdff4beSrobert // specify the minimum width for the entire formatted range.  The width of the
502*4bdff4beSrobert // range is not known until the range is formatted. Formatting is done to an
503*4bdff4beSrobert // output_iterator so there's no guarantee it would be possible to add the fill
504*4bdff4beSrobert // to the front of the output. Instead the range is formatted to a temporary
505*4bdff4beSrobert // buffer and that buffer is formatted as a string.
506*4bdff4beSrobert //
507*4bdff4beSrobert // There is an issue with that approach, the format context used in
508*4bdff4beSrobert // std::formatter<T>::format contains the output iterator used as part of its
509*4bdff4beSrobert // type. So using this output iterator means there needs to be a new format
510*4bdff4beSrobert // context and the format arguments need to be retargeted to the new context.
511*4bdff4beSrobert // This retargeting is done by a basic_format_context specialized for the
512*4bdff4beSrobert // __iterator of this container.
513*4bdff4beSrobert template <__fmt_char_type _CharT>
514*4bdff4beSrobert class _LIBCPP_TEMPLATE_VIS __retarget_buffer {
515*4bdff4beSrobert public:
516*4bdff4beSrobert   using value_type = _CharT;
517*4bdff4beSrobert 
518*4bdff4beSrobert   struct __iterator {
519*4bdff4beSrobert     using difference_type = ptrdiff_t;
520*4bdff4beSrobert 
521*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr explicit __iterator(__retarget_buffer& __buffer)
522*4bdff4beSrobert         : __buffer_(std::addressof(__buffer)) {}
523*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr __iterator& operator=(const _CharT& __c) {
524*4bdff4beSrobert       __buffer_->push_back(__c);
525*4bdff4beSrobert       return *this;
526*4bdff4beSrobert     }
527*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr __iterator& operator=(_CharT&& __c) {
528*4bdff4beSrobert       __buffer_->push_back(__c);
529*4bdff4beSrobert       return *this;
530*4bdff4beSrobert     }
531*4bdff4beSrobert 
532*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr __iterator& operator*() { return *this; }
533*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr __iterator& operator++() { return *this; }
534*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr __iterator operator++(int) { return *this; }
535*4bdff4beSrobert     __retarget_buffer* __buffer_;
536*4bdff4beSrobert   };
537*4bdff4beSrobert 
538*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI explicit __retarget_buffer(size_t __size_hint) { __buffer_.reserve(__size_hint); }
539*4bdff4beSrobert 
540*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI __iterator __make_output_iterator() { return __iterator{*this}; }
541*4bdff4beSrobert 
542*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void push_back(_CharT __c) { __buffer_.push_back(__c); }
543*4bdff4beSrobert 
544*4bdff4beSrobert   template <__fmt_char_type _InCharT>
545*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __copy(basic_string_view<_InCharT> __str) {
546*4bdff4beSrobert     __buffer_.insert(__buffer_.end(), __str.begin(), __str.end());
547*4bdff4beSrobert   }
548*4bdff4beSrobert 
549*4bdff4beSrobert   template <__fmt_char_type _InCharT, class _UnaryOperation>
550*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __transform(const _InCharT* __first, const _InCharT* __last, _UnaryOperation __operation) {
551*4bdff4beSrobert     _LIBCPP_ASSERT(__first <= __last, "not a valid range");
552*4bdff4beSrobert     std::transform(__first, __last, std::back_inserter(__buffer_), std::move(__operation));
553*4bdff4beSrobert   }
554*4bdff4beSrobert 
555*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI void __fill(size_t __n, _CharT __value) { __buffer_.insert(__buffer_.end(), __n, __value); }
556*4bdff4beSrobert 
557*4bdff4beSrobert   _LIBCPP_HIDE_FROM_ABI basic_string_view<_CharT> __view() { return {__buffer_.data(), __buffer_.size()}; }
558*4bdff4beSrobert 
559*4bdff4beSrobert private:
560*4bdff4beSrobert   // Use vector instead of string to avoid adding zeros after every append
561*4bdff4beSrobert   // operation. The buffer is exposed as a string_view and not as a c-string.
562*4bdff4beSrobert   vector<_CharT> __buffer_;
563*4bdff4beSrobert };
564*4bdff4beSrobert 
565*4bdff4beSrobert } // namespace __format
566*4bdff4beSrobert 
567*4bdff4beSrobert #endif //_LIBCPP_STD_VER > 17
568*4bdff4beSrobert 
569*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD
570*4bdff4beSrobert 
571*4bdff4beSrobert _LIBCPP_POP_MACROS
572*4bdff4beSrobert 
573*4bdff4beSrobert #endif // _LIBCPP___FORMAT_BUFFER_H
574