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