xref: /llvm-project/libcxx/include/format (revision b9a2658a3e8bd13b0f9e7a8a440832a95b377216)
1081c1db0SMark de Wever// -*- C++ -*-
2eb8650a7SLouis Dionne//===----------------------------------------------------------------------===//
3081c1db0SMark de Wever//
4081c1db0SMark de Wever// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5081c1db0SMark de Wever// See https://llvm.org/LICENSE.txt for license information.
6081c1db0SMark de Wever// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7081c1db0SMark de Wever//
8081c1db0SMark de Wever//===----------------------------------------------------------------------===//
9081c1db0SMark de Wever
10081c1db0SMark de Wever#ifndef _LIBCPP_FORMAT
11081c1db0SMark de Wever#define _LIBCPP_FORMAT
12081c1db0SMark de Wever
13081c1db0SMark de Wever/*
14081c1db0SMark de Wever
15081c1db0SMark de Wevernamespace std {
160922ce56SMark de Wever  // [format.context], class template basic_format_context
174684857aSMark de Wever  template<class Out, class charT> class basic_format_context;
180922ce56SMark de Wever  using format_context = basic_format_context<unspecified, char>;
190922ce56SMark de Wever  using wformat_context = basic_format_context<unspecified, wchar_t>;
200922ce56SMark de Wever
210922ce56SMark de Wever  // [format.args], class template basic_format_args
224684857aSMark de Wever  template<class Context> class basic_format_args;
230922ce56SMark de Wever  using format_args = basic_format_args<format_context>;
240922ce56SMark de Wever  using wformat_args = basic_format_args<wformat_context>;
250922ce56SMark de Wever
26f712775dSMark de Wever  // [format.fmt.string], class template basic_format_string
27aed5ddf8SMark de Wever  template<class charT, class... Args>
28f712775dSMark de Wever    struct basic_format_string {                                // since C++23, exposition only before C++23
29f712775dSMark de Wever    private:
30f712775dSMark de Wever      basic_string_view<charT> str;                             // exposition only
31aed5ddf8SMark de Wever
32f712775dSMark de Wever    public:
33f712775dSMark de Wever      template<class T> consteval basic_format_string(const T& s);
3492d9f232SMark de Wever      basic_format_string(runtime-format-string<charT> s) noexcept : str(s.str) {}   // since C++26
35f712775dSMark de Wever
36f712775dSMark de Wever      constexpr basic_string_view<charT> get() const noexcept { return str; }
37f712775dSMark de Wever    };
38aed5ddf8SMark de Wever  template<class... Args>
39f712775dSMark de Wever    using format_string =                                       // since C++23, exposition only before C++23
40f712775dSMark de Wever      basic_format_string<char, type_identity_t<Args>...>;
41aed5ddf8SMark de Wever  template<class... Args>
42f712775dSMark de Wever    using wformat_string =                                      // since C++23, exposition only before C++23
43f712775dSMark de Wever      basic_format_string<wchar_t, type_identity_t<Args>...>;
44aed5ddf8SMark de Wever
4592d9f232SMark de Wever  template<class charT> struct runtime-format-string {          // since C++26, exposition-only
4692d9f232SMark de Wever  private:
4792d9f232SMark de Wever    basic_string_view<charT> str;                               // exposition-only
4892d9f232SMark de Wever
4992d9f232SMark de Wever  public:
5092d9f232SMark de Wever    runtime-format-string(basic_string_view<charT> s) noexcept : str(s) {}
5192d9f232SMark de Wever
5292d9f232SMark de Wever    runtime-format-string(const runtime-format-string&) = delete;
5392d9f232SMark de Wever    runtime-format-string& operator=(const runtime-format-string&) = delete;
5492d9f232SMark de Wever  };
5592d9f232SMark de Wever
5692d9f232SMark de Wever  runtime-format-string<char> runtime_format(string_view fmt) noexcept {
5792d9f232SMark de Wever    return fmt;
5892d9f232SMark de Wever  }
5992d9f232SMark de Wever  runtime-format-string<wchar_t> runtime_format(wstring_view fmt) noexcept {
6092d9f232SMark de Wever    return fmt;
6192d9f232SMark de Wever  }
6292d9f232SMark de Wever
63d7444d9fSMark de Wever  // [format.functions], formatting functions
64d7444d9fSMark de Wever  template<class... Args>
65606e2808SMark de Wever    string format(format-string<Args...> fmt, Args&&... args);
66d7444d9fSMark de Wever  template<class... Args>
67606e2808SMark de Wever    wstring format(wformat-string<Args...> fmt, Args&&... args);
68d7444d9fSMark de Wever  template<class... Args>
69606e2808SMark de Wever    string format(const locale& loc, format-string<Args...> fmt, Args&&... args);
70d7444d9fSMark de Wever  template<class... Args>
71606e2808SMark de Wever    wstring format(const locale& loc, wformat-string<Args...> fmt, Args&&... args);
72d7444d9fSMark de Wever
73d7444d9fSMark de Wever  string vformat(string_view fmt, format_args args);
74d7444d9fSMark de Wever  wstring vformat(wstring_view fmt, wformat_args args);
75d7444d9fSMark de Wever  string vformat(const locale& loc, string_view fmt, format_args args);
76d7444d9fSMark de Wever  wstring vformat(const locale& loc, wstring_view fmt, wformat_args args);
77d7444d9fSMark de Wever
78d7444d9fSMark de Wever  template<class Out, class... Args>
79606e2808SMark de Wever    Out format_to(Out out, format-string<Args...> fmt, Args&&... args);
80d7444d9fSMark de Wever  template<class Out, class... Args>
81606e2808SMark de Wever    Out format_to(Out out, wformat-string<Args...> fmt, Args&&... args);
82d7444d9fSMark de Wever  template<class Out, class... Args>
83606e2808SMark de Wever    Out format_to(Out out, const locale& loc, format-string<Args...> fmt, Args&&... args);
84d7444d9fSMark de Wever  template<class Out, class... Args>
85606e2808SMark de Wever    Out format_to(Out out, const locale& loc, wformat-string<Args...> fmt, Args&&... args);
86d7444d9fSMark de Wever
87d7444d9fSMark de Wever  template<class Out>
880e9979afSMark de Wever    Out vformat_to(Out out, string_view fmt, format_args args);
89d7444d9fSMark de Wever  template<class Out>
900e9979afSMark de Wever    Out vformat_to(Out out, wstring_view fmt, wformat_args args);
91d7444d9fSMark de Wever  template<class Out>
92d7444d9fSMark de Wever    Out vformat_to(Out out, const locale& loc, string_view fmt,
930e9979afSMark de Wever                   format_args char> args);
94d7444d9fSMark de Wever  template<class Out>
95d7444d9fSMark de Wever    Out vformat_to(Out out, const locale& loc, wstring_view fmt,
960e9979afSMark de Wever                   wformat_args args);
97d7444d9fSMark de Wever
98d7444d9fSMark de Wever  template<class Out> struct format_to_n_result {
99d7444d9fSMark de Wever    Out out;
100d7444d9fSMark de Wever    iter_difference_t<Out> size;
101d7444d9fSMark de Wever  };
102d7444d9fSMark de Wever  template<class Out, class... Args>
103d7444d9fSMark de Wever    format_to_n_result<Out> format_to_n(Out out, iter_difference_t<Out> n,
104606e2808SMark de Wever                                        format-string<Args...> fmt, Args&&... args);
105d7444d9fSMark de Wever  template<class Out, class... Args>
106d7444d9fSMark de Wever    format_to_n_result<Out> format_to_n(Out out, iter_difference_t<Out> n,
107606e2808SMark de Wever                                        wformat-string<Args...> fmt, Args&&... args);
108d7444d9fSMark de Wever  template<class Out, class... Args>
109d7444d9fSMark de Wever    format_to_n_result<Out> format_to_n(Out out, iter_difference_t<Out> n,
110aed5ddf8SMark de Wever                                        const locale& loc, format-string<Args...> fmt,
111606e2808SMark de Wever                                        Args&&... args);
112d7444d9fSMark de Wever  template<class Out, class... Args>
113d7444d9fSMark de Wever    format_to_n_result<Out> format_to_n(Out out, iter_difference_t<Out> n,
114aed5ddf8SMark de Wever                                        const locale& loc, wformat-string<Args...> fmt,
115606e2808SMark de Wever                                        Args&&... args);
116d7444d9fSMark de Wever
117d7444d9fSMark de Wever  template<class... Args>
118606e2808SMark de Wever    size_t formatted_size(format-string<Args...> fmt, Args&&... args);
119d7444d9fSMark de Wever  template<class... Args>
120606e2808SMark de Wever    size_t formatted_size(wformat-string<Args...> fmt, Args&&... args);
121d7444d9fSMark de Wever  template<class... Args>
122606e2808SMark de Wever    size_t formatted_size(const locale& loc, format-string<Args...> fmt, Args&&... args);
123d7444d9fSMark de Wever  template<class... Args>
124606e2808SMark de Wever    size_t formatted_size(const locale& loc, wformat-string<Args...> fmt, Args&&... args);
125d7444d9fSMark de Wever
126d7444d9fSMark de Wever  // [format.formatter], formatter
1274684857aSMark de Wever  template<class T, class charT = char> struct formatter;
128d7444d9fSMark de Wever
129f08df56dSMark de Wever  template<class T>
130f08df56dSMark de Wever  constexpr bool enable_nonlocking_formatter_optimization = false;   // since C++23
131f08df56dSMark de Wever
1320922ce56SMark de Wever  // [format.parse.ctx], class template basic_format_parse_context
1334684857aSMark de Wever  template<class charT> class basic_format_parse_context;
1340922ce56SMark de Wever  using format_parse_context = basic_format_parse_context<char>;
1350922ce56SMark de Wever  using wformat_parse_context = basic_format_parse_context<wchar_t>;
1360922ce56SMark de Wever
137d184958bSMark de Wever  // [format.range], formatting of ranges
138d184958bSMark de Wever  // [format.range.fmtkind], variable template format_kind
139d184958bSMark de Wever  enum class range_format {                                          // since C++23
140d184958bSMark de Wever    disabled,
141d184958bSMark de Wever    map,
142d184958bSMark de Wever    set,
143d184958bSMark de Wever    sequence,
144d184958bSMark de Wever    string,
145d184958bSMark de Wever    debug_string
146d184958bSMark de Wever  };
147d184958bSMark de Wever
148d184958bSMark de Wever  template<class R>
149d184958bSMark de Wever    constexpr unspecified format_kind = unspecified;                 // since C++23
150d184958bSMark de Wever
151d184958bSMark de Wever  template<ranges::input_range R>
152d184958bSMark de Wever      requires same_as<R, remove_cvref_t<R>>
153d184958bSMark de Wever    constexpr range_format format_kind<R> = see below;               // since C++23
154d184958bSMark de Wever
15522e8525dSMark de Wever  // [format.range.formatter], class template range_formatter
15622e8525dSMark de Wever  template<class T, class charT = char>
15722e8525dSMark de Wever    requires same_as<remove_cvref_t<T>, T> && formattable<T, charT>
15822e8525dSMark de Wever  class range_formatter;                                             // since C++23
15922e8525dSMark de Wever
160d184958bSMark de Wever  // [format.range.fmtdef], class template range-default-formatter
161d184958bSMark de Wever  template<range_format K, ranges::input_range R, class charT>
162d184958bSMark de Wever    struct range-default-formatter;                                  // exposition only, since C++23
163d184958bSMark de Wever
164d184958bSMark de Wever  // [format.range.fmtmap], [format.range.fmtset], [format.range.fmtstr],
165d184958bSMark de Wever  // specializations for maps, sets, and strings
166d184958bSMark de Wever  template<ranges::input_range R, class charT>
167d184958bSMark de Wever    requires (format_kind<R> != range_format::disabled) &&
168d184958bSMark de Wever             formattable<ranges::range_reference_t<R>, charT>
169d184958bSMark de Wever  struct formatter<R, charT> : range-default-formatter<format_kind<R>, R, charT> { }; // since C++23
170d184958bSMark de Wever
1710922ce56SMark de Wever  // [format.arguments], arguments
1720922ce56SMark de Wever  // [format.arg], class template basic_format_arg
1734684857aSMark de Wever  template<class Context> class basic_format_arg;
1740922ce56SMark de Wever
1750922ce56SMark de Wever  template<class Visitor, class Context>
17627e67cdbSHristo Hristov    see below visit_format_arg(Visitor&& vis, basic_format_arg<Context> arg); // Deprecated in C++26
1770922ce56SMark de Wever
1780922ce56SMark de Wever  // [format.arg.store], class template format-arg-store
1794684857aSMark de Wever  template<class Context, class... Args> struct format-arg-store;    // exposition only
1800922ce56SMark de Wever
1810922ce56SMark de Wever  template<class Context = format_context, class... Args>
1820922ce56SMark de Wever    format-arg-store<Context, Args...>
183e3f154d8SMark de Wever      make_format_args(Args&... args);
1840922ce56SMark de Wever  template<class... Args>
1850922ce56SMark de Wever    format-arg-store<wformat_context, Args...>
186e3f154d8SMark de Wever      make_wformat_args(Args&... args);
1870922ce56SMark de Wever
188081c1db0SMark de Wever  // [format.error], class format_error
1894684857aSMark de Wever  class format_error;
190081c1db0SMark de Wever}
191081c1db0SMark de Wever
192081c1db0SMark de Wever*/
193081c1db0SMark de Wever
194*b9a2658aSNikolas Klauser#if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
195*b9a2658aSNikolas Klauser#  include <__cxx03/format>
196*b9a2658aSNikolas Klauser#else
197081c1db0SMark de Wever#  include <__config>
198dfddc0c4SNikolas Klauser
199dfddc0c4SNikolas Klauser#  if _LIBCPP_STD_VER >= 20
200555214cbSMark de Wever#    include <__format/buffer.h>
20115c809e8SMark de Wever#    include <__format/concepts.h>
20204d4f4b3SMark de Wever#    include <__format/container_adaptor.h>
20388930229SMark de Wever#    include <__format/enable_insertable.h>
204e3dea5e3SMark de Wever#    include <__format/escaped_output_table.h>
205e3dea5e3SMark de Wever#    include <__format/extended_grapheme_cluster_table.h>
2060922ce56SMark de Wever#    include <__format/format_arg.h>
2074d8268fbSMark de Wever#    include <__format/format_arg_store.h>
2080922ce56SMark de Wever#    include <__format/format_args.h>
2090922ce56SMark de Wever#    include <__format/format_context.h>
21016342e39SMark de Wever#    include <__format/format_error.h>
21100798e50SMark de Wever#    include <__format/format_functions.h>
212de9df3f5SMark de Wever#    include <__format/format_parse_context.h>
213d7444d9fSMark de Wever#    include <__format/format_string.h>
2145baa4ee3SMark de Wever#    include <__format/format_to_n_result.h>
215d7444d9fSMark de Wever#    include <__format/formatter.h>
2167fb9f99fSMark de Wever#    include <__format/formatter_bool.h>
21749e736d8SMark de Wever#    include <__format/formatter_char.h>
218db2944e3SMark de Wever#    include <__format/formatter_floating_point.h>
2193e9689d7SMark de Wever#    include <__format/formatter_integer.h>
220787ccd34SMark de Wever#    include <__format/formatter_pointer.h>
221d550930aSMark de Wever#    include <__format/formatter_string.h>
222eb6e13cbSMark de Wever#    include <__format/formatter_tuple.h>
223d550930aSMark de Wever#    include <__format/parser_std_format_spec.h>
224d184958bSMark de Wever#    include <__format/range_default_formatter.h>
22522e8525dSMark de Wever#    include <__format/range_formatter.h>
226857a78c0SMark de Wever#    include <__format/unicode.h>
22708766681SNikolas Klauser#    include <__fwd/format.h>
228dfddc0c4SNikolas Klauser#  endif
229dfddc0c4SNikolas Klauser
230dff62f52SMark de Wever#  include <version>
23171909de3SMark de Wever
232081c1db0SMark de Wever#  if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
233081c1db0SMark de Wever#    pragma GCC system_header
234081c1db0SMark de Wever#  endif
235081c1db0SMark de Wever
2365bcb7814SNikolas Klauser#  if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
237dfddc0c4SNikolas Klauser#    include <array>
238dfddc0c4SNikolas Klauser#    include <cctype>
239dfddc0c4SNikolas Klauser#    include <cerrno>
240dfddc0c4SNikolas Klauser#    include <clocale>
241dfddc0c4SNikolas Klauser#    include <cmath>
242dfddc0c4SNikolas Klauser#    include <cstddef>
243dfddc0c4SNikolas Klauser#    include <cstdint>
244dfddc0c4SNikolas Klauser#    include <cstdlib>
245dfddc0c4SNikolas Klauser#    include <cstring>
246dfddc0c4SNikolas Klauser#    include <initializer_list>
247dfddc0c4SNikolas Klauser#    include <limits>
248ec56790cSTies Stuij#    include <locale>
249dfddc0c4SNikolas Klauser#    include <new>
250dfddc0c4SNikolas Klauser#    include <optional>
251ec56790cSTies Stuij#    include <queue>
252ec56790cSTies Stuij#    include <stack>
253dfddc0c4SNikolas Klauser#    include <stdexcept>
254dfddc0c4SNikolas Klauser#    include <string>
255dfddc0c4SNikolas Klauser#    include <string_view>
256dfddc0c4SNikolas Klauser#    include <tuple>
257dfddc0c4SNikolas Klauser
258c6f3b7bcSNikolas Klauser#    if _LIBCPP_HAS_WIDE_CHARACTERS
259ec56790cSTies Stuij#      include <cwchar>
260ec56790cSTies Stuij#    endif
2615bcb7814SNikolas Klauser#  endif
262*b9a2658aSNikolas Klauser#endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
2635bcb7814SNikolas Klauser
264081c1db0SMark de Wever#endif // _LIBCPP_FORMAT
265