ext-fmt/include/fmt/core.h

2915 lines
96 KiB
C
Raw Normal View History

2021-06-02 03:47:16 +00:00
// Formatting library for C++ - the core API for char/UTF-8
2018-01-06 17:09:50 +00:00
//
// Copyright (c) 2012 - present, Victor Zverovich
// All rights reserved.
//
// For the license information refer to format.h.
#ifndef FMT_CORE_H_
#define FMT_CORE_H_
#include <cstddef> // std::byte
#include <cstdio> // std::FILE
#include <cstring> // std::strlen
2018-01-14 22:15:59 +00:00
#include <iterator>
2021-06-14 02:05:31 +00:00
#include <limits>
#include <string>
#include <type_traits>
2018-01-22 00:36:22 +00:00
// The fmt library version in the form major * 10000 + minor * 100 + patch.
2023-05-12 01:57:50 +00:00
#define FMT_VERSION 100001
2018-01-22 00:36:22 +00:00
#if defined(__clang__) && !defined(__ibmxl__)
# define FMT_CLANG_VERSION (__clang_major__ * 100 + __clang_minor__)
#else
# define FMT_CLANG_VERSION 0
#endif
#if defined(__GNUC__) && !defined(__clang__) && !defined(__INTEL_COMPILER) && \
!defined(__NVCOMPILER)
2019-01-13 02:27:38 +00:00
# define FMT_GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__)
2018-02-03 03:16:13 +00:00
#else
2019-01-13 02:27:38 +00:00
# define FMT_GCC_VERSION 0
2021-10-02 20:35:12 +00:00
#endif
#ifndef FMT_GCC_PRAGMA
// Workaround _Pragma bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59884.
# if FMT_GCC_VERSION >= 504
# define FMT_GCC_PRAGMA(arg) _Pragma(arg)
# else
# define FMT_GCC_PRAGMA(arg)
# endif
2018-02-03 03:16:13 +00:00
#endif
#ifdef __ICL
# define FMT_ICC_VERSION __ICL
#elif defined(__INTEL_COMPILER)
2021-05-16 14:18:04 +00:00
# define FMT_ICC_VERSION __INTEL_COMPILER
#else
# define FMT_ICC_VERSION 0
#endif
#ifdef _MSC_VER
2022-05-29 22:01:43 +00:00
# define FMT_MSC_VERSION _MSC_VER
2020-11-12 00:16:33 +00:00
# define FMT_MSC_WARNING(...) __pragma(warning(__VA_ARGS__))
#else
2022-05-29 22:01:43 +00:00
# define FMT_MSC_VERSION 0
2020-11-12 00:16:33 +00:00
# define FMT_MSC_WARNING(...)
#endif
2020-09-07 21:43:00 +00:00
2022-05-29 20:47:06 +00:00
#ifdef _MSVC_LANG
# define FMT_CPLUSPLUS _MSVC_LANG
#else
# define FMT_CPLUSPLUS __cplusplus
#endif
#ifdef __has_feature
# define FMT_HAS_FEATURE(x) __has_feature(x)
#else
# define FMT_HAS_FEATURE(x) 0
#endif
#if defined(__has_include) || FMT_ICC_VERSION >= 1600 || FMT_MSC_VERSION > 1900
# define FMT_HAS_INCLUDE(x) __has_include(x)
#else
# define FMT_HAS_INCLUDE(x) 0
#endif
#ifdef __has_cpp_attribute
# define FMT_HAS_CPP_ATTRIBUTE(x) __has_cpp_attribute(x)
#else
# define FMT_HAS_CPP_ATTRIBUTE(x) 0
#endif
#define FMT_HAS_CPP14_ATTRIBUTE(attribute) \
(FMT_CPLUSPLUS >= 201402L && FMT_HAS_CPP_ATTRIBUTE(attribute))
#define FMT_HAS_CPP17_ATTRIBUTE(attribute) \
(FMT_CPLUSPLUS >= 201703L && FMT_HAS_CPP_ATTRIBUTE(attribute))
2018-07-18 16:14:10 +00:00
// Check if relaxed C++14 constexpr is supported.
2018-03-16 16:02:19 +00:00
// GCC doesn't allow throw in constexpr until version 6 (bug 67371).
2018-02-04 16:52:43 +00:00
#ifndef FMT_USE_CONSTEXPR
2022-05-29 22:01:43 +00:00
# if (FMT_HAS_FEATURE(cxx_relaxed_constexpr) || FMT_MSC_VERSION >= 1912 || \
(FMT_GCC_VERSION >= 600 && FMT_CPLUSPLUS >= 201402L)) && \
2022-05-29 21:07:40 +00:00
!FMT_ICC_VERSION && !defined(__NVCC__)
# define FMT_USE_CONSTEXPR 1
# else
# define FMT_USE_CONSTEXPR 0
# endif
#endif
2018-02-04 16:52:43 +00:00
#if FMT_USE_CONSTEXPR
2019-01-13 02:27:38 +00:00
# define FMT_CONSTEXPR constexpr
2018-02-04 16:52:43 +00:00
#else
# define FMT_CONSTEXPR
2018-02-03 14:14:10 +00:00
#endif
#if ((FMT_CPLUSPLUS >= 202002L) && \
(!defined(_GLIBCXX_RELEASE) || _GLIBCXX_RELEASE > 9)) || \
(FMT_CPLUSPLUS >= 201709L && FMT_GCC_VERSION >= 1002)
# define FMT_CONSTEXPR20 constexpr
#else
# define FMT_CONSTEXPR20
#endif
2022-05-29 23:40:46 +00:00
// Check if constexpr std::char_traits<>::{compare,length} are supported.
2021-05-16 14:18:04 +00:00
#if defined(__GLIBCXX__)
# if FMT_CPLUSPLUS >= 201703L && defined(_GLIBCXX_RELEASE) && \
2021-05-16 14:18:04 +00:00
_GLIBCXX_RELEASE >= 7 // GCC 7+ libstdc++ has _GLIBCXX_RELEASE.
# define FMT_CONSTEXPR_CHAR_TRAITS constexpr
# endif
#elif defined(_LIBCPP_VERSION) && FMT_CPLUSPLUS >= 201703L && \
2021-05-16 14:18:04 +00:00
_LIBCPP_VERSION >= 4000
# define FMT_CONSTEXPR_CHAR_TRAITS constexpr
2022-05-29 22:01:43 +00:00
#elif FMT_MSC_VERSION >= 1914 && FMT_CPLUSPLUS >= 201703L
2021-05-16 14:18:04 +00:00
# define FMT_CONSTEXPR_CHAR_TRAITS constexpr
#endif
#ifndef FMT_CONSTEXPR_CHAR_TRAITS
# define FMT_CONSTEXPR_CHAR_TRAITS
#endif
// Check if exceptions are disabled.
#ifndef FMT_EXCEPTIONS
2019-01-13 02:27:38 +00:00
# if (defined(__GNUC__) && !defined(__EXCEPTIONS)) || \
2022-05-30 00:00:09 +00:00
(FMT_MSC_VERSION && !_HAS_EXCEPTIONS)
2019-01-13 02:27:38 +00:00
# define FMT_EXCEPTIONS 0
# else
# define FMT_EXCEPTIONS 1
# endif
#endif
2022-12-26 15:36:34 +00:00
// Disable [[noreturn]] on MSVC/NVCC because of bogus unreachable code warnings.
2022-05-29 22:01:43 +00:00
#if FMT_EXCEPTIONS && FMT_HAS_CPP_ATTRIBUTE(noreturn) && !FMT_MSC_VERSION && \
2022-05-29 21:07:40 +00:00
!defined(__NVCC__)
2019-04-08 11:52:20 +00:00
# define FMT_NORETURN [[noreturn]]
#else
# define FMT_NORETURN
#endif
#ifndef FMT_NODISCARD
# if FMT_HAS_CPP17_ATTRIBUTE(nodiscard)
# define FMT_NODISCARD [[nodiscard]]
# else
# define FMT_NODISCARD
# endif
#endif
2020-04-19 14:41:55 +00:00
#ifndef FMT_INLINE
2020-05-31 00:57:57 +00:00
# if FMT_GCC_VERSION || FMT_CLANG_VERSION
2020-04-19 15:12:27 +00:00
# define FMT_INLINE inline __attribute__((always_inline))
2020-04-19 14:41:55 +00:00
# else
2020-05-22 21:14:57 +00:00
# define FMT_INLINE inline
2020-04-19 14:41:55 +00:00
# endif
#endif
#ifdef _MSC_VER
# define FMT_UNCHECKED_ITERATOR(It) \
using _Unchecked_type = It // Mark iterator as checked.
#else
2022-05-30 00:00:09 +00:00
# define FMT_UNCHECKED_ITERATOR(It) using unchecked_type = It
#endif
#ifndef FMT_BEGIN_NAMESPACE
# define FMT_BEGIN_NAMESPACE \
namespace fmt { \
2023-05-09 22:00:36 +00:00
inline namespace v10 {
2021-09-03 22:59:23 +00:00
# define FMT_END_NAMESPACE \
} \
}
2018-05-12 15:33:51 +00:00
#endif
2023-05-17 14:37:53 +00:00
#ifndef FMT_EXPORT
# define FMT_EXPORT
2023-04-10 16:43:56 +00:00
# define FMT_BEGIN_EXPORT
# define FMT_END_EXPORT
#endif
#if !defined(FMT_HEADER_ONLY) && defined(_WIN32)
2023-04-10 15:24:23 +00:00
# ifdef FMT_LIB_EXPORT
# define FMT_API __declspec(dllexport)
2019-01-13 02:27:38 +00:00
# elif defined(FMT_SHARED)
# define FMT_API __declspec(dllimport)
2019-01-13 02:27:38 +00:00
# endif
2020-04-11 13:17:31 +00:00
#else
2023-04-10 15:24:23 +00:00
# if defined(FMT_LIB_EXPORT) || defined(FMT_SHARED)
# if defined(__GNUC__) || defined(__clang__)
# define FMT_API __attribute__((visibility("default")))
# endif
# endif
#endif
#ifndef FMT_API
2020-06-26 17:21:14 +00:00
# define FMT_API
#endif
2018-03-26 17:00:41 +00:00
// libc++ supports string_view in pre-c++17.
2022-05-29 23:30:39 +00:00
#if FMT_HAS_INCLUDE(<string_view>) && \
(FMT_CPLUSPLUS >= 201703L || defined(_LIBCPP_VERSION))
2019-01-13 02:27:38 +00:00
# include <string_view>
2019-05-31 03:50:07 +00:00
# define FMT_USE_STRING_VIEW
#elif FMT_HAS_INCLUDE("experimental/string_view") && FMT_CPLUSPLUS >= 201402L
2019-01-13 02:27:38 +00:00
# include <experimental/string_view>
2019-05-31 03:50:07 +00:00
# define FMT_USE_EXPERIMENTAL_STRING_VIEW
#endif
2019-12-22 16:58:00 +00:00
#ifndef FMT_UNICODE
2022-05-29 22:01:43 +00:00
# define FMT_UNICODE !FMT_MSC_VERSION
2019-12-22 16:58:00 +00:00
#endif
2021-06-07 00:35:40 +00:00
#ifndef FMT_CONSTEVAL
# if ((FMT_GCC_VERSION >= 1000 || FMT_CLANG_VERSION >= 1101) && \
(!defined(__apple_build_version__) || \
__apple_build_version__ >= 14000029L) && \
FMT_CPLUSPLUS >= 202002L) || \
(defined(__cpp_consteval) && \
2022-05-29 22:01:43 +00:00
(!FMT_MSC_VERSION || _MSC_FULL_VER >= 193030704))
// consteval is broken in MSVC before VS2022 and Apple clang before 14.
2021-06-07 00:35:40 +00:00
# define FMT_CONSTEVAL consteval
# define FMT_HAS_CONSTEVAL
# else
# define FMT_CONSTEVAL
# endif
#endif
2022-05-30 00:00:09 +00:00
#ifndef FMT_USE_NONTYPE_TEMPLATE_ARGS
# if defined(__cpp_nontype_template_args) && \
((FMT_GCC_VERSION >= 903 && FMT_CPLUSPLUS >= 201709L) || \
__cpp_nontype_template_args >= 201911L) && \
!defined(__NVCOMPILER) && !defined(__LCC__)
2022-05-30 00:00:09 +00:00
# define FMT_USE_NONTYPE_TEMPLATE_ARGS 1
# else
2022-05-30 00:00:09 +00:00
# define FMT_USE_NONTYPE_TEMPLATE_ARGS 0
# endif
#endif
#if defined __cpp_inline_variables && __cpp_inline_variables >= 201606L
# define FMT_INLINE_VARIABLE inline
#else
# define FMT_INLINE_VARIABLE
#endif
// Enable minimal optimizations for more compact code in debug mode.
FMT_GCC_PRAGMA("GCC push_options")
2023-03-19 13:51:47 +00:00
#if !defined(__OPTIMIZE__) && !defined(__NVCOMPILER) && !defined(__LCC__) && \
!defined(__CUDACC__)
FMT_GCC_PRAGMA("GCC optimize(\"Og\")")
#endif
2018-05-12 15:33:51 +00:00
FMT_BEGIN_NAMESPACE
// Implementations of enable_if_t and other metafunctions for older systems.
2021-07-02 20:56:37 +00:00
template <bool B, typename T = void>
using enable_if_t = typename std::enable_if<B, T>::type;
2021-07-02 20:56:37 +00:00
template <bool B, typename T, typename F>
2019-06-05 01:50:30 +00:00
using conditional_t = typename std::conditional<B, T, F>::type;
2019-06-05 13:46:40 +00:00
template <bool B> using bool_constant = std::integral_constant<bool, B>;
2019-06-12 03:28:05 +00:00
template <typename T>
using remove_reference_t = typename std::remove_reference<T>::type;
template <typename T>
2021-09-02 14:25:26 +00:00
using remove_const_t = typename std::remove_const<T>::type;
template <typename T>
using remove_cvref_t = typename std::remove_cv<remove_reference_t<T>>::type;
template <typename T> struct type_identity { using type = T; };
template <typename T> using type_identity_t = typename type_identity<T>::type;
2022-02-19 15:57:43 +00:00
template <typename T>
using underlying_t = typename std::underlying_type<T>::type;
2023-05-12 01:57:50 +00:00
// Checks whether T is a container with contiguous storage.
template <typename T> struct is_contiguous : std::false_type {};
template <typename Char>
struct is_contiguous<std::basic_string<Char>> : std::true_type {};
2021-06-15 13:48:00 +00:00
struct monostate {
constexpr monostate() {}
};
2019-06-11 01:10:26 +00:00
// An enable_if helper to be used in template parameters which results in much
// shorter symbols: https://godbolt.org/z/sWw4vP. Extra parentheses are needed
// to workaround a bug in MSVC 2019 (see #1140 and #1186).
#ifdef FMT_DOC
# define FMT_ENABLE_IF(...)
#else
2022-09-03 00:27:19 +00:00
# define FMT_ENABLE_IF(...) fmt::enable_if_t<(__VA_ARGS__), int> = 0
#endif
2023-05-13 15:04:53 +00:00
// This is defined in core.h instead of format.h to avoid injecting in std.
2023-03-20 01:56:45 +00:00
#ifdef __cpp_lib_byte
inline auto format_as(std::byte b) -> unsigned char {
return static_cast<unsigned char>(b);
}
#endif
2023-04-10 16:43:56 +00:00
namespace detail {
2022-05-30 00:00:09 +00:00
// Suppresses "unused variable" warnings with the method described in
2021-07-09 15:24:11 +00:00
// https://herbsutter.com/2009/10/18/mailbag-shutting-up-compiler-warnings/.
// (void)var does not work on many Intel compilers.
template <typename... T> FMT_CONSTEXPR void ignore_unused(const T&...) {}
2022-01-28 14:31:29 +00:00
constexpr FMT_INLINE auto is_constant_evaluated(
bool default_value = false) noexcept -> bool {
// Workaround for incompatibility between libstdc++ consteval-based
// std::is_constant_evaluated() implementation and clang-14.
// https://github.com/fmtlib/fmt/issues/3247
#if FMT_CPLUSPLUS >= 202002L && defined(_GLIBCXX_RELEASE) && \
_GLIBCXX_RELEASE >= 12 && \
(FMT_CLANG_VERSION >= 1400 && FMT_CLANG_VERSION < 1500)
ignore_unused(default_value);
return __builtin_is_constant_evaluated();
#elif defined(__cpp_lib_is_constant_evaluated)
2021-10-02 14:03:08 +00:00
ignore_unused(default_value);
return std::is_constant_evaluated();
#else
2021-10-02 14:03:08 +00:00
return default_value;
#endif
}
2022-05-30 00:00:09 +00:00
// Suppresses "conditional expression is constant" warnings.
2021-08-27 04:17:35 +00:00
template <typename T> constexpr FMT_INLINE auto const_check(T value) -> T {
return value;
}
FMT_NORETURN FMT_API void assert_fail(const char* file, int line,
const char* message);
2019-11-29 16:04:47 +00:00
#ifndef FMT_ASSERT
# ifdef NDEBUG
2022-05-30 00:00:09 +00:00
// FMT_ASSERT is not empty to avoid -Wempty-body.
# define FMT_ASSERT(condition, message) \
2023-03-27 04:05:06 +00:00
fmt::detail::ignore_unused((condition), (message))
2019-11-29 16:04:47 +00:00
# else
# define FMT_ASSERT(condition, message) \
((condition) /* void() fails with -Winvalid-constexpr on clang 4.0.1 */ \
? (void)0 \
2023-03-27 04:05:06 +00:00
: fmt::detail::assert_fail(__FILE__, __LINE__, (message)))
2019-11-29 16:04:47 +00:00
# endif
#endif
2019-05-31 03:50:07 +00:00
#if defined(FMT_USE_STRING_VIEW)
template <typename Char> using std_string_view = std::basic_string_view<Char>;
#elif defined(FMT_USE_EXPERIMENTAL_STRING_VIEW)
template <typename Char>
using std_string_view = std::experimental::basic_string_view<Char>;
#else
template <typename T> struct std_string_view {};
#endif
#ifdef FMT_USE_INT128
// Do nothing.
2022-05-29 21:07:40 +00:00
#elif defined(__SIZEOF_INT128__) && !defined(__NVCC__) && \
2022-05-29 22:01:43 +00:00
!(FMT_CLANG_VERSION && FMT_MSC_VERSION)
# define FMT_USE_INT128 1
using int128_opt = __int128_t; // An optional native 128-bit integer.
2022-02-18 03:05:25 +00:00
using uint128_opt = __uint128_t;
2021-05-22 00:24:00 +00:00
template <typename T> inline auto convert_for_visit(T value) -> T {
return value;
}
#else
# define FMT_USE_INT128 0
#endif
#if !FMT_USE_INT128
2022-02-18 03:05:25 +00:00
enum class int128_opt {};
enum class uint128_opt {};
2021-05-16 18:43:44 +00:00
// Reduce template instantiations.
2022-02-18 15:41:55 +00:00
template <typename T> auto convert_for_visit(T) -> monostate { return {}; }
#endif
2019-09-08 00:07:53 +00:00
// Casts a nonnegative integer to unsigned.
2018-06-27 12:31:20 +00:00
template <typename Int>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto to_unsigned(Int value) ->
typename std::make_unsigned<Int>::type {
FMT_ASSERT(std::is_unsigned<Int>::value || value >= 0, "negative value");
2018-06-27 12:31:20 +00:00
return static_cast<typename std::make_unsigned<Int>::type>(value);
}
2020-03-14 17:32:34 +00:00
FMT_CONSTEXPR inline auto is_utf8() -> bool {
FMT_MSC_WARNING(suppress : 4566) constexpr unsigned char section[] = "\u00A7";
2020-03-22 14:57:56 +00:00
2022-05-30 00:00:09 +00:00
// Avoid buggy sign extensions in MSVC's constant evaluation mode (#2297).
using uchar = unsigned char;
return FMT_UNICODE || (sizeof(section) == 3 && uchar(section[0]) == 0xC2 &&
uchar(section[1]) == 0xA7);
2020-03-22 14:57:56 +00:00
}
2023-04-10 16:43:56 +00:00
} // namespace detail
2020-05-10 14:25:42 +00:00
/**
An implementation of ``std::basic_string_view`` for pre-C++17. It provides a
subset of the API. ``fmt::basic_string_view`` is used for format strings even
if ``std::string_view`` is available to prevent issues when a library is
compiled with a different ``-std`` option than the client code (which is not
recommended).
*/
2023-05-17 14:37:53 +00:00
FMT_EXPORT
2019-01-13 02:27:38 +00:00
template <typename Char> class basic_string_view {
private:
2019-01-13 02:27:38 +00:00
const Char* data_;
size_t size_;
public:
using value_type = Char;
using iterator = const Char*;
2022-01-21 00:55:47 +00:00
constexpr basic_string_view() noexcept : data_(nullptr), size_(0) {}
/** Constructs a string reference object from a C string and a size. */
2022-01-21 00:55:47 +00:00
constexpr basic_string_view(const Char* s, size_t count) noexcept
2022-01-28 14:31:29 +00:00
: data_(s), size_(count) {}
/**
\rst
Constructs a string reference object from a C string computing
the size with ``std::char_traits<Char>::length``.
\endrst
*/
FMT_CONSTEXPR_CHAR_TRAITS
2021-04-23 13:52:10 +00:00
FMT_INLINE
basic_string_view(const Char* s)
: data_(s),
size_(detail::const_check(std::is_same<Char, char>::value &&
!detail::is_constant_evaluated(true))
? std::strlen(reinterpret_cast<const char*>(s))
: std::char_traits<Char>::length(s)) {}
2018-05-16 15:19:26 +00:00
/** Constructs a string reference from a ``std::basic_string`` object. */
template <typename Traits, typename Alloc>
FMT_CONSTEXPR basic_string_view(
2022-01-21 00:55:47 +00:00
const std::basic_string<Char, Traits, Alloc>& s) noexcept
2022-01-28 14:31:29 +00:00
: data_(s.data()), size_(s.size()) {}
2020-05-10 14:25:42 +00:00
template <typename S, FMT_ENABLE_IF(std::is_same<
S, detail::std_string_view<Char>>::value)>
2022-01-28 14:31:29 +00:00
FMT_CONSTEXPR basic_string_view(S s) noexcept
: data_(s.data()), size_(s.size()) {}
/** Returns a pointer to the string data. */
2022-01-21 00:55:47 +00:00
constexpr auto data() const noexcept -> const Char* { return data_; }
/** Returns the string size. */
2022-01-21 00:55:47 +00:00
constexpr auto size() const noexcept -> size_t { return size_; }
2022-01-21 00:55:47 +00:00
constexpr auto begin() const noexcept -> iterator { return data_; }
constexpr auto end() const noexcept -> iterator { return data_ + size_; }
2022-01-21 00:55:47 +00:00
constexpr auto operator[](size_t pos) const noexcept -> const Char& {
2021-05-22 00:24:00 +00:00
return data_[pos];
}
2022-01-21 00:55:47 +00:00
FMT_CONSTEXPR void remove_prefix(size_t n) noexcept {
data_ += n;
size_ -= n;
}
FMT_CONSTEXPR_CHAR_TRAITS bool starts_with(
basic_string_view<Char> sv) const noexcept {
return size_ >= sv.size_ &&
std::char_traits<Char>::compare(data_, sv.data_, sv.size_) == 0;
}
FMT_CONSTEXPR_CHAR_TRAITS bool starts_with(Char c) const noexcept {
return size_ >= 1 && std::char_traits<Char>::eq(*data_, c);
}
FMT_CONSTEXPR_CHAR_TRAITS bool starts_with(const Char* s) const {
return starts_with(basic_string_view<Char>(s));
}
// Lexicographically compare this string reference to other.
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR_CHAR_TRAITS auto compare(basic_string_view other) const -> int {
2018-06-10 20:58:10 +00:00
size_t str_size = size_ < other.size_ ? size_ : other.size_;
int result = std::char_traits<Char>::compare(data_, other.data_, str_size);
if (result == 0)
result = size_ == other.size_ ? 0 : (size_ < other.size_ ? -1 : 1);
return result;
}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR_CHAR_TRAITS friend auto operator==(basic_string_view lhs,
basic_string_view rhs)
-> bool {
return lhs.compare(rhs) == 0;
}
2021-05-22 00:24:00 +00:00
friend auto operator!=(basic_string_view lhs, basic_string_view rhs) -> bool {
return lhs.compare(rhs) != 0;
}
2021-05-22 00:24:00 +00:00
friend auto operator<(basic_string_view lhs, basic_string_view rhs) -> bool {
return lhs.compare(rhs) < 0;
}
2021-05-22 00:24:00 +00:00
friend auto operator<=(basic_string_view lhs, basic_string_view rhs) -> bool {
return lhs.compare(rhs) <= 0;
}
2021-05-22 00:24:00 +00:00
friend auto operator>(basic_string_view lhs, basic_string_view rhs) -> bool {
return lhs.compare(rhs) > 0;
}
2021-05-22 00:24:00 +00:00
friend auto operator>=(basic_string_view lhs, basic_string_view rhs) -> bool {
return lhs.compare(rhs) >= 0;
}
};
2023-05-17 14:37:53 +00:00
FMT_EXPORT
using string_view = basic_string_view<char>;
/** Specifies if ``T`` is a character type. Can be specialized by users. */
2023-05-17 14:37:53 +00:00
FMT_EXPORT
2019-06-05 00:08:58 +00:00
template <typename T> struct is_char : std::false_type {};
template <> struct is_char<char> : std::true_type {};
2023-04-10 16:43:56 +00:00
namespace detail {
2022-05-30 13:41:33 +00:00
// A base class for compile-time strings.
2022-05-30 05:49:34 +00:00
struct compile_string {};
template <typename S>
struct is_compile_string : std::is_base_of<compile_string, S> {};
template <typename Char, FMT_ENABLE_IF(is_char<Char>::value)>
2021-05-22 00:24:00 +00:00
FMT_INLINE auto to_string_view(const Char* s) -> basic_string_view<Char> {
return s;
}
template <typename Char, typename Traits, typename Alloc>
2021-05-22 00:24:00 +00:00
inline auto to_string_view(const std::basic_string<Char, Traits, Alloc>& s)
-> basic_string_view<Char> {
return s;
}
template <typename Char>
2021-05-22 00:24:00 +00:00
constexpr auto to_string_view(basic_string_view<Char> s)
-> basic_string_view<Char> {
return s;
}
2019-05-31 03:50:07 +00:00
template <typename Char,
2022-05-30 05:49:34 +00:00
FMT_ENABLE_IF(!std::is_empty<std_string_view<Char>>::value)>
2022-05-30 13:41:33 +00:00
inline auto to_string_view(std_string_view<Char> s) -> basic_string_view<Char> {
2019-01-13 02:27:38 +00:00
return s;
}
2019-03-16 19:58:18 +00:00
template <typename S, FMT_ENABLE_IF(is_compile_string<S>::value)>
2021-05-22 00:24:00 +00:00
constexpr auto to_string_view(const S& s)
-> basic_string_view<typename S::char_type> {
return basic_string_view<typename S::char_type>(s);
2019-01-13 02:27:38 +00:00
}
2019-06-05 15:41:00 +00:00
void to_string_view(...);
2019-06-05 13:46:40 +00:00
// Specifies whether S is a string type convertible to fmt::basic_string_view.
// It should be a constexpr function but MSVC 2017 fails to compile it in
2019-06-05 15:41:00 +00:00
// enable_if and MSVC 2015 fails to compile it as an alias template.
2023-04-09 15:44:17 +00:00
// ADL is intentionally disabled as to_string_view is not an extension point.
2019-06-05 13:46:40 +00:00
template <typename S>
2023-04-09 15:44:17 +00:00
struct is_string
: std::is_class<decltype(detail::to_string_view(std::declval<S>()))> {};
2019-06-05 13:46:40 +00:00
2019-06-05 15:53:23 +00:00
template <typename S, typename = void> struct char_t_impl {};
template <typename S> struct char_t_impl<S, enable_if_t<is_string<S>::value>> {
using result = decltype(to_string_view(std::declval<S>()));
using type = typename result::value_type;
2019-06-05 15:53:23 +00:00
};
2022-06-05 23:46:50 +00:00
enum class type {
none_type,
// Integer types should go first,
int_type,
uint_type,
long_long_type,
ulong_long_type,
int128_type,
uint128_type,
bool_type,
char_type,
last_integer_type = char_type,
// followed by floating-point types.
float_type,
double_type,
long_double_type,
last_numeric_type = long_double_type,
cstring_type,
string_type,
pointer_type,
custom_type
};
// Maps core type T to the corresponding type enum constant.
template <typename T, typename Char>
struct type_constant : std::integral_constant<type, type::custom_type> {};
#define FMT_TYPE_CONSTANT(Type, constant) \
template <typename Char> \
struct type_constant<Type, Char> \
: std::integral_constant<type, type::constant> {}
FMT_TYPE_CONSTANT(int, int_type);
FMT_TYPE_CONSTANT(unsigned, uint_type);
FMT_TYPE_CONSTANT(long long, long_long_type);
FMT_TYPE_CONSTANT(unsigned long long, ulong_long_type);
FMT_TYPE_CONSTANT(int128_opt, int128_type);
FMT_TYPE_CONSTANT(uint128_opt, uint128_type);
FMT_TYPE_CONSTANT(bool, bool_type);
FMT_TYPE_CONSTANT(Char, char_type);
FMT_TYPE_CONSTANT(float, float_type);
FMT_TYPE_CONSTANT(double, double_type);
FMT_TYPE_CONSTANT(long double, long_double_type);
FMT_TYPE_CONSTANT(const Char*, cstring_type);
FMT_TYPE_CONSTANT(basic_string_view<Char>, string_type);
FMT_TYPE_CONSTANT(const void*, pointer_type);
constexpr bool is_integral_type(type t) {
return t > type::none_type && t <= type::last_integer_type;
}
constexpr bool is_arithmetic_type(type t) {
return t > type::none_type && t <= type::last_numeric_type;
}
2022-12-30 22:59:42 +00:00
constexpr auto set(type rhs) -> int { return 1 << static_cast<int>(rhs); }
constexpr auto in(type t, int set) -> bool {
return ((set >> static_cast<int>(t)) & 1) != 0;
}
// Bitsets of types.
enum {
sint_set =
set(type::int_type) | set(type::long_long_type) | set(type::int128_type),
uint_set = set(type::uint_type) | set(type::ulong_long_type) |
set(type::uint128_type),
bool_set = set(type::bool_type),
char_set = set(type::char_type),
float_set = set(type::float_type) | set(type::double_type) |
set(type::long_double_type),
string_set = set(type::string_type),
cstring_set = set(type::cstring_type),
pointer_set = set(type::pointer_type)
};
2022-12-30 18:58:22 +00:00
FMT_NORETURN FMT_API void throw_format_error(const char* message);
2019-06-05 13:46:40 +00:00
struct error_handler {
2020-05-03 03:35:46 +00:00
constexpr error_handler() = default;
2019-06-05 13:46:40 +00:00
// This function is intentionally not constexpr to give a compile-time error.
FMT_NORETURN void on_error(const char* message) {
2022-05-21 19:08:40 +00:00
throw_format_error(message);
}
2019-06-05 13:46:40 +00:00
};
2023-04-10 16:43:56 +00:00
} // namespace detail
2019-06-05 13:46:40 +00:00
2019-06-05 15:53:23 +00:00
/** String's character type. */
2020-05-10 14:25:42 +00:00
template <typename S> using char_t = typename detail::char_t_impl<S>::type;
2019-06-05 15:53:23 +00:00
/**
2019-11-06 15:16:02 +00:00
\rst
Parsing context consisting of a format string range being parsed and an
argument counter for automatic indexing.
2021-06-28 12:32:33 +00:00
You can use the ``format_parse_context`` type alias for ``char`` instead.
2019-11-06 15:16:02 +00:00
\endrst
*/
2023-05-17 14:37:53 +00:00
FMT_EXPORT
2022-12-24 23:09:09 +00:00
template <typename Char> class basic_format_parse_context {
private:
basic_string_view<Char> format_str_;
int next_arg_id_;
2022-06-05 20:19:34 +00:00
FMT_CONSTEXPR void do_check_arg_id(int id);
public:
using char_type = Char;
2022-12-26 16:52:44 +00:00
using iterator = const Char*;
2020-05-03 03:35:46 +00:00
explicit constexpr basic_format_parse_context(
2022-12-24 23:09:09 +00:00
basic_string_view<Char> format_str, int next_arg_id = 0)
: format_str_(format_str), next_arg_id_(next_arg_id) {}
/**
Returns an iterator to the beginning of the format string range being
parsed.
*/
2022-01-21 00:55:47 +00:00
constexpr auto begin() const noexcept -> iterator {
2021-05-22 00:24:00 +00:00
return format_str_.begin();
}
/**
Returns an iterator past the end of the format string range being parsed.
*/
2022-01-28 14:31:29 +00:00
constexpr auto end() const noexcept -> iterator { return format_str_.end(); }
/** Advances the begin iterator to ``it``. */
FMT_CONSTEXPR void advance_to(iterator it) {
2020-05-10 14:25:42 +00:00
format_str_.remove_prefix(detail::to_unsigned(it - begin()));
}
/**
Reports an error if using the manual argument indexing; otherwise returns
the next argument index and switches to the automatic indexing.
*/
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto next_arg_id() -> int {
2022-06-05 20:19:34 +00:00
if (next_arg_id_ < 0) {
2022-12-24 23:09:09 +00:00
detail::throw_format_error(
"cannot switch from manual to automatic argument indexing");
2022-06-05 20:19:34 +00:00
return 0;
}
int id = next_arg_id_++;
do_check_arg_id(id);
return id;
2019-06-07 20:58:11 +00:00
}
/**
Reports an error if using the automatic argument indexing; otherwise
switches to the manual indexing.
*/
2022-06-05 20:19:34 +00:00
FMT_CONSTEXPR void check_arg_id(int id) {
if (next_arg_id_ > 0) {
2022-12-24 23:09:09 +00:00
detail::throw_format_error(
"cannot switch from automatic to manual argument indexing");
2022-06-05 20:19:34 +00:00
return;
}
next_arg_id_ = -1;
do_check_arg_id(id);
}
FMT_CONSTEXPR void check_arg_id(basic_string_view<Char>) {}
FMT_CONSTEXPR void check_dynamic_spec(int arg_id);
};
2023-05-17 14:37:53 +00:00
FMT_EXPORT
using format_parse_context = basic_format_parse_context<char>;
2023-04-10 16:43:56 +00:00
namespace detail {
2022-06-05 20:19:34 +00:00
// A parse context with extra data used only in compile-time checks.
2022-12-24 23:09:09 +00:00
template <typename Char>
class compile_parse_context : public basic_format_parse_context<Char> {
2022-06-05 20:19:34 +00:00
private:
int num_args_;
2022-06-05 23:46:50 +00:00
const type* types_;
2022-12-24 23:09:09 +00:00
using base = basic_format_parse_context<Char>;
2022-06-05 20:19:34 +00:00
public:
explicit FMT_CONSTEXPR compile_parse_context(
2022-06-09 23:57:52 +00:00
basic_string_view<Char> format_str, int num_args, const type* types,
2022-12-24 23:09:09 +00:00
int next_arg_id = 0)
: base(format_str, next_arg_id), num_args_(num_args), types_(types) {}
2022-06-05 20:19:34 +00:00
constexpr auto num_args() const -> int { return num_args_; }
constexpr auto arg_type(int id) const -> type { return types_[id]; }
2022-06-05 20:19:34 +00:00
FMT_CONSTEXPR auto next_arg_id() -> int {
int id = base::next_arg_id();
2022-12-24 23:09:09 +00:00
if (id >= num_args_) throw_format_error("argument not found");
2022-06-05 20:19:34 +00:00
return id;
}
FMT_CONSTEXPR void check_arg_id(int id) {
base::check_arg_id(id);
2022-12-24 23:09:09 +00:00
if (id >= num_args_) throw_format_error("argument not found");
2022-06-05 20:19:34 +00:00
}
using base::check_arg_id;
FMT_CONSTEXPR void check_dynamic_spec(int arg_id) {
detail::ignore_unused(arg_id);
#if !defined(__LCC__)
if (arg_id < num_args_ && types_ && !is_integral_type(types_[arg_id]))
2022-12-24 23:09:09 +00:00
throw_format_error("width/precision is not integer");
#endif
}
2022-06-05 20:19:34 +00:00
};
2020-07-18 13:44:44 +00:00
// Extracts a reference to the container from back_insert_iterator.
template <typename Container>
2021-05-22 00:24:00 +00:00
inline auto get_container(std::back_insert_iterator<Container> it)
-> Container& {
2022-05-30 03:31:15 +00:00
using base = std::back_insert_iterator<Container>;
struct accessor : base {
accessor(base b) : base(b) {}
using base::container;
2020-07-18 13:44:44 +00:00
};
return *accessor(it).container;
}
template <typename Char, typename InputIt, typename OutputIt>
FMT_CONSTEXPR auto copy_str(InputIt begin, InputIt end, OutputIt out)
-> OutputIt {
while (begin != end) *out++ = static_cast<Char>(*begin++);
return out;
}
2021-09-02 14:25:26 +00:00
template <typename Char, typename T, typename U,
2021-09-03 22:49:40 +00:00
FMT_ENABLE_IF(
std::is_same<remove_const_t<T>, U>::value&& is_char<U>::value)>
FMT_CONSTEXPR auto copy_str(T* begin, T* end, U* out) -> U* {
if (is_constant_evaluated()) return copy_str<Char, T*, U*>(begin, end, out);
auto size = to_unsigned(end - begin);
if (size > 0) memcpy(out, begin, size * sizeof(U));
return out + size;
}
/**
\rst
A contiguous memory buffer with an optional growing ability. It is an internal
class and shouldn't be used directly, only via `~fmt::basic_memory_buffer`.
\endrst
*/
2019-06-05 13:46:40 +00:00
template <typename T> class buffer {
private:
T* ptr_;
2020-05-07 22:59:46 +00:00
size_t size_;
size_t capacity_;
2019-06-05 13:46:40 +00:00
protected:
// Don't initialize ptr_ since it is not accessed to save a few cycles.
2020-11-12 00:16:33 +00:00
FMT_MSC_WARNING(suppress : 26495)
2022-01-21 00:55:47 +00:00
buffer(size_t sz) noexcept : size_(sz), capacity_(sz) {}
2019-06-05 13:46:40 +00:00
2022-01-28 14:31:29 +00:00
FMT_CONSTEXPR20 buffer(T* p = nullptr, size_t sz = 0, size_t cap = 0) noexcept
: ptr_(p), size_(sz), capacity_(cap) {}
2020-07-10 14:50:37 +00:00
FMT_CONSTEXPR20 ~buffer() = default;
2021-05-25 14:49:48 +00:00
buffer(buffer&&) = default;
2019-06-05 13:46:40 +00:00
/** Sets the buffer data and capacity. */
2022-01-21 00:55:47 +00:00
FMT_CONSTEXPR void set(T* buf_data, size_t buf_capacity) noexcept {
2019-06-05 13:46:40 +00:00
ptr_ = buf_data;
capacity_ = buf_capacity;
}
/** Increases the buffer capacity to hold at least *capacity* elements. */
virtual FMT_CONSTEXPR20 void grow(size_t capacity) = 0;
2019-06-05 13:46:40 +00:00
public:
using value_type = T;
using const_reference = const T&;
buffer(const buffer&) = delete;
void operator=(const buffer&) = delete;
2019-06-05 13:46:40 +00:00
2022-09-02 01:25:23 +00:00
FMT_INLINE auto begin() noexcept -> T* { return ptr_; }
FMT_INLINE auto end() noexcept -> T* { return ptr_ + size_; }
2019-06-05 13:46:40 +00:00
2022-09-02 01:25:23 +00:00
FMT_INLINE auto begin() const noexcept -> const T* { return ptr_; }
FMT_INLINE auto end() const noexcept -> const T* { return ptr_ + size_; }
2019-06-05 13:46:40 +00:00
/** Returns the size of this buffer. */
2022-01-21 00:55:47 +00:00
constexpr auto size() const noexcept -> size_t { return size_; }
2019-06-05 13:46:40 +00:00
/** Returns the capacity of this buffer. */
2022-01-21 00:55:47 +00:00
constexpr auto capacity() const noexcept -> size_t { return capacity_; }
2019-06-05 13:46:40 +00:00
/** Returns a pointer to the buffer data. */
2022-01-21 00:55:47 +00:00
FMT_CONSTEXPR auto data() noexcept -> T* { return ptr_; }
2019-06-05 13:46:40 +00:00
/** Returns a pointer to the buffer data. */
2022-01-21 00:55:47 +00:00
FMT_CONSTEXPR auto data() const noexcept -> const T* { return ptr_; }
2019-06-05 13:46:40 +00:00
/** Clears this buffer. */
void clear() { size_ = 0; }
2020-07-10 14:50:37 +00:00
// Tries resizing the buffer to contain *count* elements. If T is a POD type
// the new elements may not be initialized.
FMT_CONSTEXPR20 void try_resize(size_t count) {
2020-07-10 14:50:37 +00:00
try_reserve(count);
size_ = count <= capacity_ ? count : capacity_;
}
// Tries increasing the buffer capacity to *new_capacity*. It can increase the
// capacity by a smaller amount than requested but guarantees there is space
// for at least one additional element either by increasing the capacity or by
// flushing the buffer if it is full.
FMT_CONSTEXPR20 void try_reserve(size_t new_capacity) {
2019-06-05 13:46:40 +00:00
if (new_capacity > capacity_) grow(new_capacity);
}
FMT_CONSTEXPR20 void push_back(const T& value) {
2020-07-10 14:50:37 +00:00
try_reserve(size_ + 1);
2019-06-05 13:46:40 +00:00
ptr_[size_++] = value;
}
/** Appends data to the end of the buffer. */
template <typename U> void append(const U* begin, const U* end);
2022-08-02 22:49:41 +00:00
template <typename Idx> FMT_CONSTEXPR auto operator[](Idx index) -> T& {
return ptr_[index];
}
2022-08-02 22:49:41 +00:00
template <typename Idx>
FMT_CONSTEXPR auto operator[](Idx index) const -> const T& {
2020-03-25 14:08:14 +00:00
return ptr_[index];
}
2019-06-05 13:46:40 +00:00
};
2020-07-24 15:28:23 +00:00
struct buffer_traits {
explicit buffer_traits(size_t) {}
2021-05-22 00:24:00 +00:00
auto count() const -> size_t { return 0; }
auto limit(size_t size) -> size_t { return size; }
2020-07-24 15:28:23 +00:00
};
class fixed_buffer_traits {
2020-07-17 18:21:11 +00:00
private:
2020-07-24 15:28:23 +00:00
size_t count_ = 0;
size_t limit_;
public:
explicit fixed_buffer_traits(size_t limit) : limit_(limit) {}
2021-05-22 00:24:00 +00:00
auto count() const -> size_t { return count_; }
auto limit(size_t size) -> size_t {
2020-11-18 14:43:47 +00:00
size_t n = limit_ > count_ ? limit_ - count_ : 0;
2020-07-24 15:28:23 +00:00
count_ += size;
return size < n ? size : n;
}
};
2020-07-17 18:21:11 +00:00
2020-07-24 15:28:23 +00:00
// A buffer that writes to an output iterator when flushed.
template <typename OutputIt, typename T, typename Traits = buffer_traits>
class iterator_buffer final : public Traits, public buffer<T> {
2020-07-24 15:28:23 +00:00
private:
2020-07-17 18:21:11 +00:00
OutputIt out_;
2020-07-24 15:28:23 +00:00
enum { buffer_size = 256 };
2020-07-17 18:21:11 +00:00
T data_[buffer_size];
protected:
FMT_CONSTEXPR20 void grow(size_t) override {
2020-07-17 18:21:11 +00:00
if (this->size() == buffer_size) flush();
}
void flush() {
auto size = this->size();
this->clear();
out_ = copy_str<T>(data_, data_ + this->limit(size), out_);
}
2020-07-17 18:21:11 +00:00
public:
explicit iterator_buffer(OutputIt out, size_t n = buffer_size)
2020-11-11 16:31:34 +00:00
: Traits(n), buffer<T>(data_, 0, buffer_size), out_(out) {}
iterator_buffer(iterator_buffer&& other)
: Traits(other), buffer<T>(data_, 0, buffer_size), out_(other.out_) {}
2020-07-17 18:21:11 +00:00
~iterator_buffer() { flush(); }
2021-05-22 00:24:00 +00:00
auto out() -> OutputIt {
2020-07-18 13:44:44 +00:00
flush();
return out_;
}
2021-05-22 00:24:00 +00:00
auto count() const -> size_t { return Traits::count() + this->size(); }
};
template <typename T>
2021-09-25 12:55:05 +00:00
class iterator_buffer<T*, T, fixed_buffer_traits> final
: public fixed_buffer_traits,
public buffer<T> {
private:
T* out_;
enum { buffer_size = 256 };
T data_[buffer_size];
protected:
FMT_CONSTEXPR20 void grow(size_t) override {
if (this->size() == this->capacity()) flush();
}
void flush() {
size_t n = this->limit(this->size());
if (this->data() == out_) {
out_ += n;
this->set(data_, buffer_size);
}
this->clear();
}
public:
explicit iterator_buffer(T* out, size_t n = buffer_size)
: fixed_buffer_traits(n), buffer<T>(out, 0, n), out_(out) {}
iterator_buffer(iterator_buffer&& other)
2021-09-25 12:55:05 +00:00
: fixed_buffer_traits(other),
buffer<T>(std::move(other)),
out_(other.out_) {
if (this->data() != out_) {
this->set(data_, buffer_size);
this->clear();
}
}
~iterator_buffer() { flush(); }
auto out() -> T* {
flush();
return out_;
}
2021-09-25 12:55:05 +00:00
auto count() const -> size_t {
return fixed_buffer_traits::count() + this->size();
}
2020-07-17 18:21:11 +00:00
};
template <typename T> class iterator_buffer<T*, T> final : public buffer<T> {
2020-07-17 18:21:11 +00:00
protected:
FMT_CONSTEXPR20 void grow(size_t) override {}
2020-07-17 18:21:11 +00:00
public:
2020-07-24 15:28:23 +00:00
explicit iterator_buffer(T* out, size_t = 0) : buffer<T>(out, 0, ~size_t()) {}
2020-07-17 18:21:11 +00:00
2021-05-22 00:24:00 +00:00
auto out() -> T* { return &*this->end(); }
2020-07-17 18:21:11 +00:00
};
2020-07-18 13:44:44 +00:00
// A buffer that writes to a container with the contiguous storage.
template <typename Container>
class iterator_buffer<std::back_insert_iterator<Container>,
enable_if_t<is_contiguous<Container>::value,
2020-10-20 20:35:31 +00:00
typename Container::value_type>>
final : public buffer<typename Container::value_type> {
2020-07-18 13:44:44 +00:00
private:
Container& container_;
protected:
FMT_CONSTEXPR20 void grow(size_t capacity) override {
2020-07-18 13:44:44 +00:00
container_.resize(capacity);
this->set(&container_[0], capacity);
}
public:
explicit iterator_buffer(Container& c)
: buffer<typename Container::value_type>(c.size()), container_(c) {}
2020-07-24 15:28:23 +00:00
explicit iterator_buffer(std::back_insert_iterator<Container> out, size_t = 0)
2020-07-18 13:44:44 +00:00
: iterator_buffer(get_container(out)) {}
2022-05-30 15:21:01 +00:00
2021-05-22 00:24:00 +00:00
auto out() -> std::back_insert_iterator<Container> {
2020-07-18 13:44:44 +00:00
return std::back_inserter(container_);
}
};
// A buffer that counts the number of code units written discarding the output.
template <typename T = char> class counting_buffer final : public buffer<T> {
private:
enum { buffer_size = 256 };
T data_[buffer_size];
size_t count_ = 0;
protected:
FMT_CONSTEXPR20 void grow(size_t) override {
if (this->size() != buffer_size) return;
count_ += this->size();
this->clear();
}
public:
counting_buffer() : buffer<T>(data_, 0, buffer_size) {}
2021-05-22 00:24:00 +00:00
auto count() -> size_t { return count_ + this->size(); }
};
2023-05-12 01:57:50 +00:00
} // namespace detail
template <typename Char>
FMT_CONSTEXPR void basic_format_parse_context<Char>::do_check_arg_id(int id) {
// Argument id is only checked at compile-time during parsing because
// formatting has its own validation.
if (detail::is_constant_evaluated() &&
(!FMT_GCC_VERSION || FMT_GCC_VERSION >= 1200)) {
using context = detail::compile_parse_context<Char>;
if (id >= static_cast<context*>(this)->num_args())
detail::throw_format_error("argument not found");
}
}
template <typename Char>
FMT_CONSTEXPR void basic_format_parse_context<Char>::check_dynamic_spec(
int arg_id) {
if (detail::is_constant_evaluated() &&
(!FMT_GCC_VERSION || FMT_GCC_VERSION >= 1200)) {
using context = detail::compile_parse_context<Char>;
static_cast<context*>(this)->check_dynamic_spec(arg_id);
}
}
2023-05-17 14:37:53 +00:00
FMT_EXPORT template <typename Context> class basic_format_arg;
FMT_EXPORT template <typename Context> class basic_format_args;
FMT_EXPORT template <typename Context> class dynamic_format_arg_store;
2023-05-12 01:57:50 +00:00
// A formatter for objects of type T.
2023-05-17 14:37:53 +00:00
FMT_EXPORT
2023-05-12 01:57:50 +00:00
template <typename T, typename Char = char, typename Enable = void>
struct formatter {
// A deleted default constructor indicates a disabled formatter.
formatter() = delete;
};
// Specifies if T has an enabled formatter specialization. A type can be
// formattable even if it doesn't have a formatter e.g. via a conversion.
template <typename T, typename Context>
using has_formatter =
std::is_constructible<typename Context::template formatter_type<T>>;
// An output iterator that appends to a buffer.
// It is used to reduce symbol sizes for the common case.
class appender : public std::back_insert_iterator<detail::buffer<char>> {
using base = std::back_insert_iterator<detail::buffer<char>>;
public:
using std::back_insert_iterator<detail::buffer<char>>::back_insert_iterator;
appender(base it) noexcept : base(it) {}
FMT_UNCHECKED_ITERATOR(appender);
auto operator++() noexcept -> appender& { return *this; }
auto operator++(int) noexcept -> appender { return *this; }
};
namespace detail {
template <typename Context, typename T>
constexpr auto has_const_formatter_impl(T*)
-> decltype(typename Context::template formatter_type<T>().format(
std::declval<const T&>(), std::declval<Context&>()),
true) {
return true;
}
template <typename Context>
constexpr auto has_const_formatter_impl(...) -> bool {
return false;
}
template <typename T, typename Context>
constexpr auto has_const_formatter() -> bool {
return has_const_formatter_impl<Context>(static_cast<T*>(nullptr));
}
2020-07-18 13:44:44 +00:00
template <typename T>
2021-05-20 14:21:20 +00:00
using buffer_appender = conditional_t<std::is_same<T, char>::value, appender,
std::back_insert_iterator<buffer<T>>>;
2021-05-20 14:21:20 +00:00
// Maps an output iterator to a buffer.
2021-05-22 03:15:56 +00:00
template <typename T, typename OutputIt>
auto get_buffer(OutputIt out) -> iterator_buffer<OutputIt, T> {
return iterator_buffer<OutputIt, T>(out);
2020-07-18 13:44:44 +00:00
}
template <typename T, typename Buf,
FMT_ENABLE_IF(std::is_base_of<buffer<char>, Buf>::value)>
auto get_buffer(std::back_insert_iterator<Buf> out) -> buffer<char>& {
return get_container(out);
}
2020-07-18 13:44:44 +00:00
template <typename Buf, typename OutputIt>
FMT_INLINE auto get_iterator(Buf& buf, OutputIt) -> decltype(buf.out()) {
2020-07-18 13:44:44 +00:00
return buf.out();
}
template <typename T, typename OutputIt>
auto get_iterator(buffer<T>&, OutputIt out) -> OutputIt {
return out;
2019-06-05 13:46:40 +00:00
}
2020-05-09 23:38:37 +00:00
struct view {};
2020-05-10 14:25:42 +00:00
template <typename Char, typename T> struct named_arg : view {
2020-05-09 23:38:37 +00:00
const Char* name;
const T& value;
named_arg(const Char* n, const T& v) : name(n), value(v) {}
};
2020-04-11 16:55:21 +00:00
template <typename Char> struct named_arg_info {
const Char* name;
2020-04-14 13:48:55 +00:00
int id;
2020-04-11 16:55:21 +00:00
};
template <typename T, typename Char, size_t NUM_ARGS, size_t NUM_NAMED_ARGS>
struct arg_data {
2020-04-15 13:28:41 +00:00
// args_[0].named_args points to named_args_ to avoid bloating format_args.
// +1 to workaround a bug in gcc 7.5 that causes duplicated-branches warning.
T args_[1 + (NUM_ARGS != 0 ? NUM_ARGS : +1)];
2020-04-14 13:48:55 +00:00
named_arg_info<Char> named_args_[NUM_NAMED_ARGS];
template <typename... U>
arg_data(const U&... init) : args_{T(named_args_, NUM_NAMED_ARGS), init...} {}
arg_data(const arg_data& other) = delete;
2021-05-22 00:24:00 +00:00
auto args() const -> const T* { return args_ + 1; }
auto named_args() -> named_arg_info<Char>* { return named_args_; }
2020-04-11 16:55:21 +00:00
};
template <typename T, typename Char, size_t NUM_ARGS>
struct arg_data<T, Char, NUM_ARGS, 0> {
// +1 to workaround a bug in gcc 7.5 that causes duplicated-branches warning.
T args_[NUM_ARGS != 0 ? NUM_ARGS : +1];
2020-04-11 16:55:21 +00:00
2020-04-19 15:12:27 +00:00
template <typename... U>
FMT_CONSTEXPR FMT_INLINE arg_data(const U&... init) : args_{init...} {}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto args() const -> const T* { return args_; }
FMT_CONSTEXPR FMT_INLINE auto named_args() -> std::nullptr_t {
return nullptr;
}
2020-04-14 13:48:55 +00:00
};
2020-04-11 16:55:21 +00:00
template <typename Char>
inline void init_named_args(named_arg_info<Char>*, int, int) {}
template <typename T> struct is_named_arg : std::false_type {};
template <typename T> struct is_statically_named_arg : std::false_type {};
template <typename T, typename Char>
struct is_named_arg<named_arg<Char, T>> : std::true_type {};
template <typename Char, typename T, typename... Tail,
FMT_ENABLE_IF(!is_named_arg<T>::value)>
2020-04-11 16:55:21 +00:00
void init_named_args(named_arg_info<Char>* named_args, int arg_count,
int named_arg_count, const T&, const Tail&... args) {
init_named_args(named_args, arg_count + 1, named_arg_count, args...);
}
template <typename Char, typename T, typename... Tail,
FMT_ENABLE_IF(is_named_arg<T>::value)>
2020-04-11 16:55:21 +00:00
void init_named_args(named_arg_info<Char>* named_args, int arg_count,
int named_arg_count, const T& arg, const Tail&... args) {
named_args[named_arg_count++] = {arg.name, arg_count};
2020-04-11 16:55:21 +00:00
init_named_args(named_args, arg_count + 1, named_arg_count, args...);
}
template <typename... Args>
FMT_CONSTEXPR FMT_INLINE void init_named_args(std::nullptr_t, int, int,
const Args&...) {}
2020-04-11 16:55:21 +00:00
2021-05-22 00:24:00 +00:00
template <bool B = false> constexpr auto count() -> size_t { return B ? 1 : 0; }
template <bool B1, bool B2, bool... Tail> constexpr auto count() -> size_t {
2020-04-11 16:55:21 +00:00
return (B1 ? 1 : 0) + count<B2, Tail...>();
}
2021-05-22 00:24:00 +00:00
template <typename... Args> constexpr auto count_named_args() -> size_t {
2020-04-11 16:55:21 +00:00
return count<is_named_arg<Args>::value...>();
}
template <typename... Args>
constexpr auto count_statically_named_args() -> size_t {
return count<is_statically_named_arg<Args>::value...>();
}
2021-08-26 22:47:44 +00:00
struct unformattable {};
struct unformattable_char : unformattable {};
2021-08-27 01:47:59 +00:00
struct unformattable_pointer : unformattable {};
2021-08-26 22:47:44 +00:00
2019-01-13 02:27:38 +00:00
template <typename Char> struct string_value {
2019-06-10 14:58:00 +00:00
const Char* data;
2020-05-07 22:59:46 +00:00
size_t size;
};
2020-04-14 13:48:55 +00:00
template <typename Char> struct named_arg_value {
const named_arg_info<Char>* data;
2020-05-07 22:59:46 +00:00
size_t size;
2020-04-14 13:48:55 +00:00
};
2019-01-13 02:27:38 +00:00
template <typename Context> struct custom_value {
2020-05-06 03:00:31 +00:00
using parse_context = typename Context::parse_context_type;
void* value;
void (*format)(void* arg, parse_context& parse_ctx, Context& ctx);
};
// A formatting argument value.
2019-01-13 02:27:38 +00:00
template <typename Context> class value {
public:
using char_type = typename Context::char_type;
union {
2021-06-15 13:48:00 +00:00
monostate no_value;
int int_value;
unsigned uint_value;
long long long_long_value;
unsigned long long ulong_long_value;
2022-02-18 03:05:25 +00:00
int128_opt int128_value;
uint128_opt uint128_value;
2019-06-10 14:58:00 +00:00
bool bool_value;
char_type char_value;
2019-10-12 02:47:59 +00:00
float float_value;
double double_value;
long double long_double_value;
2019-01-13 02:27:38 +00:00
const void* pointer;
string_value<char_type> string;
custom_value<Context> custom;
2020-04-14 13:48:55 +00:00
named_arg_value<char_type> named_args;
};
2021-06-15 13:48:00 +00:00
constexpr FMT_INLINE value() : no_value() {}
constexpr FMT_INLINE value(int val) : int_value(val) {}
2020-05-03 03:35:46 +00:00
constexpr FMT_INLINE value(unsigned val) : uint_value(val) {}
constexpr FMT_INLINE value(long long val) : long_long_value(val) {}
constexpr FMT_INLINE value(unsigned long long val) : ulong_long_value(val) {}
2022-02-18 03:05:25 +00:00
FMT_INLINE value(int128_opt val) : int128_value(val) {}
FMT_INLINE value(uint128_opt val) : uint128_value(val) {}
constexpr FMT_INLINE value(float val) : float_value(val) {}
constexpr FMT_INLINE value(double val) : double_value(val) {}
2020-04-19 14:41:55 +00:00
FMT_INLINE value(long double val) : long_double_value(val) {}
constexpr FMT_INLINE value(bool val) : bool_value(val) {}
constexpr FMT_INLINE value(char_type val) : char_value(val) {}
FMT_CONSTEXPR FMT_INLINE value(const char_type* val) {
string.data = val;
if (is_constant_evaluated()) string.size = {};
}
FMT_CONSTEXPR FMT_INLINE value(basic_string_view<char_type> val) {
2019-06-10 14:58:00 +00:00
string.data = val.data();
2018-02-03 14:14:10 +00:00
string.size = val.size();
}
2020-04-19 14:41:55 +00:00
FMT_INLINE value(const void* val) : pointer(val) {}
FMT_INLINE value(const named_arg_info<char_type>* args, size_t size)
2020-04-14 13:48:55 +00:00
: named_args{args, size} {}
template <typename T> FMT_CONSTEXPR FMT_INLINE value(T& val) {
2023-05-12 03:11:08 +00:00
using value_type = remove_const_t<T>;
custom.value = const_cast<value_type*>(&val);
// Get the formatter type through the context to allow different contexts
// have different extension points, e.g. `formatter<T>` for `format` and
// `printf_formatter<T>` for `printf`.
2019-06-08 16:42:11 +00:00
custom.format = format_custom_arg<
2023-03-26 15:40:12 +00:00
value_type, typename Context::template formatter_type<value_type>>;
}
2021-08-26 22:47:44 +00:00
value(unformattable);
value(unformattable_char);
2021-08-27 01:47:59 +00:00
value(unformattable_pointer);
private:
// Formats an argument of a custom type, such as a user-defined class.
template <typename T, typename Formatter>
static void format_custom_arg(void* arg,
2020-04-12 14:38:54 +00:00
typename Context::parse_context_type& parse_ctx,
Context& ctx) {
auto f = Formatter();
parse_ctx.advance_to(f.parse(parse_ctx));
using qualified_type =
conditional_t<has_const_formatter<T, Context>(), const T, T>;
ctx.advance_to(f.format(*static_cast<qualified_type*>(arg), ctx));
}
};
2018-02-03 14:14:10 +00:00
// To minimize the number of types we need to deal with, long is translated
// either to int or to long long depending on its size.
2019-06-10 04:10:09 +00:00
enum { long_short = sizeof(long) == sizeof(int) };
using long_type = conditional_t<long_short, int, long long>;
using ulong_type = conditional_t<long_short, unsigned, unsigned long long>;
2018-02-03 14:14:10 +00:00
2023-03-19 13:51:47 +00:00
template <typename T> struct format_as_result {
template <typename U,
FMT_ENABLE_IF(std::is_enum<U>::value || std::is_class<U>::value)>
static auto map(U*) -> decltype(format_as(std::declval<U>()));
static auto map(...) -> void;
2023-01-02 18:53:41 +00:00
2023-03-19 13:51:47 +00:00
using type = decltype(map(static_cast<T*>(nullptr)));
2022-03-27 14:10:15 +00:00
};
2023-03-19 13:51:47 +00:00
template <typename T> using format_as_t = typename format_as_result<T>::type;
template <typename T>
struct has_format_as
: bool_constant<!std::is_same<format_as_t<T>, void>::value> {};
2022-03-27 14:10:15 +00:00
2019-06-10 04:10:09 +00:00
// Maps formatting arguments to core types.
2021-08-26 23:30:58 +00:00
// arg_mapper reports errors by returning unformattable instead of using
// static_assert because it's used in the is_formattable trait.
2019-06-10 04:10:09 +00:00
template <typename Context> struct arg_mapper {
using char_type = typename Context::char_type;
2019-06-06 15:29:16 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(signed char val) -> int { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(unsigned char val) -> unsigned {
return val;
}
FMT_CONSTEXPR FMT_INLINE auto map(short val) -> int { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(unsigned short val) -> unsigned {
return val;
}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(int val) -> int { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(unsigned val) -> unsigned { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(long val) -> long_type { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(unsigned long val) -> ulong_type {
return val;
}
FMT_CONSTEXPR FMT_INLINE auto map(long long val) -> long long { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(unsigned long long val)
-> unsigned long long {
return val;
}
2022-02-18 03:05:25 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(int128_opt val) -> int128_opt {
return val;
}
FMT_CONSTEXPR FMT_INLINE auto map(uint128_opt val) -> uint128_opt {
return val;
}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(bool val) -> bool { return val; }
2019-06-10 04:10:09 +00:00
template <typename T, FMT_ENABLE_IF(std::is_same<T, char>::value ||
std::is_same<T, char_type>::value)>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(T val) -> char_type {
2019-06-10 04:10:09 +00:00
return val;
}
2021-10-17 15:58:41 +00:00
template <typename T, enable_if_t<(std::is_same<T, wchar_t>::value ||
#ifdef __cpp_char8_t
std::is_same<T, char8_t>::value ||
#endif
std::is_same<T, char16_t>::value ||
std::is_same<T, char32_t>::value) &&
!std::is_same<T, char_type>::value,
int> = 0>
FMT_CONSTEXPR FMT_INLINE auto map(T) -> unformattable_char {
return {};
}
2018-02-03 14:14:10 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(float val) -> float { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(double val) -> double { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(long double val) -> long double {
return val;
}
2019-06-10 04:10:09 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(char_type* val) -> const char_type* {
return val;
}
FMT_CONSTEXPR FMT_INLINE auto map(const char_type* val) -> const char_type* {
return val;
}
2021-08-26 23:54:27 +00:00
template <typename T,
FMT_ENABLE_IF(is_string<T>::value && !std::is_pointer<T>::value &&
std::is_same<char_type, char_t<T>>::value)>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(const T& val)
-> basic_string_view<char_type> {
2019-06-10 04:10:09 +00:00
return to_string_view(val);
}
template <typename T,
FMT_ENABLE_IF(is_string<T>::value && !std::is_pointer<T>::value &&
!std::is_same<char_type, char_t<T>>::value)>
FMT_CONSTEXPR FMT_INLINE auto map(const T&) -> unformattable_char {
return {};
}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(void* val) -> const void* { return val; }
FMT_CONSTEXPR FMT_INLINE auto map(const void* val) -> const void* {
return val;
}
FMT_CONSTEXPR FMT_INLINE auto map(std::nullptr_t val) -> const void* {
return val;
}
2020-10-24 09:25:29 +00:00
2023-01-03 19:57:37 +00:00
// Use SFINAE instead of a const T* parameter to avoid a conflict with the
// array overload.
template <
typename T,
FMT_ENABLE_IF(
std::is_pointer<T>::value || std::is_member_pointer<T>::value ||
std::is_function<typename std::remove_pointer<T>::type>::value ||
(std::is_convertible<const T&, const void*>::value &&
!std::is_convertible<const T&, const char_type*>::value &&
!has_formatter<T, Context>::value))>
FMT_CONSTEXPR auto map(const T&) -> unformattable_pointer {
2021-08-26 22:47:44 +00:00
return {};
2019-06-10 04:10:09 +00:00
}
2018-02-03 14:14:10 +00:00
2021-08-26 22:47:44 +00:00
template <typename T, std::size_t N,
FMT_ENABLE_IF(!std::is_same<T, wchar_t>::value)>
FMT_CONSTEXPR FMT_INLINE auto map(const T (&values)[N]) -> const T (&)[N] {
2020-10-24 09:25:29 +00:00
return values;
}
2023-03-19 13:51:47 +00:00
// Only map owning types because mapping views can be unsafe.
template <typename T, typename U = format_as_t<T>,
FMT_ENABLE_IF(std::is_arithmetic<U>::value)>
FMT_CONSTEXPR FMT_INLINE auto map(const T& val) -> decltype(this->map(U())) {
2022-01-28 14:31:29 +00:00
return map(format_as(val));
}
2023-05-12 13:44:47 +00:00
template <typename T, typename U = remove_const_t<T>>
struct formattable : bool_constant<has_const_formatter<U, Context>() ||
(has_formatter<U, Context>::value &&
!std::is_const<T>::value)> {};
2021-08-27 01:47:59 +00:00
template <typename T, FMT_ENABLE_IF(formattable<T>::value)>
2023-05-12 13:44:47 +00:00
FMT_CONSTEXPR FMT_INLINE auto do_map(T& val) -> T& {
2021-08-27 01:47:59 +00:00
return val;
}
template <typename T, FMT_ENABLE_IF(!formattable<T>::value)>
2023-05-12 13:44:47 +00:00
FMT_CONSTEXPR FMT_INLINE auto do_map(T&) -> unformattable {
2021-08-27 01:47:59 +00:00
return {};
}
2023-05-12 13:44:47 +00:00
template <typename T, typename U = remove_const_t<T>,
FMT_ENABLE_IF((std::is_class<U>::value || std::is_enum<U>::value ||
std::is_union<U>::value) &&
!is_string<U>::value && !is_char<U>::value &&
!is_named_arg<U>::value &&
!std::is_arithmetic<format_as_t<U>>::value)>
2023-05-12 13:44:47 +00:00
FMT_CONSTEXPR FMT_INLINE auto map(T& val) -> decltype(this->do_map(val)) {
return do_map(val);
2019-06-10 04:10:09 +00:00
}
template <typename T, FMT_ENABLE_IF(is_named_arg<T>::value)>
FMT_CONSTEXPR FMT_INLINE auto map(const T& named_arg)
2023-01-04 00:19:34 +00:00
-> decltype(this->map(named_arg.value)) {
return map(named_arg.value);
2019-06-10 04:10:09 +00:00
}
2019-12-13 19:28:09 +00:00
2021-05-22 00:24:00 +00:00
auto map(...) -> unformattable { return {}; }
2019-06-10 04:10:09 +00:00
};
2018-02-03 14:14:10 +00:00
2019-06-11 04:21:45 +00:00
// A type constant after applying arg_mapper<Context>.
template <typename T, typename Context>
using mapped_type_constant =
type_constant<decltype(arg_mapper<Context>().map(std::declval<const T&>())),
2019-06-11 04:21:45 +00:00
typename Context::char_type>;
2020-05-09 19:56:35 +00:00
enum { packed_arg_bits = 4 };
// Maximum number of arguments with packed types.
2020-04-14 13:48:55 +00:00
enum { max_packed_args = 62 / packed_arg_bits };
enum : unsigned long long { is_unpacked_bit = 1ULL << 63 };
2020-04-14 13:48:55 +00:00
enum : unsigned long long { has_named_args_bit = 1ULL << 62 };
template <typename Char, typename InputIt>
auto copy_str(InputIt begin, InputIt end, appender out) -> appender {
get_container(out).append(begin, end);
return out;
}
template <typename Char, typename R, typename OutputIt>
FMT_CONSTEXPR auto copy_str(R&& rng, OutputIt out) -> OutputIt {
return detail::copy_str<Char>(rng.begin(), rng.end(), out);
}
#if FMT_GCC_VERSION && FMT_GCC_VERSION < 500
2020-07-18 13:44:44 +00:00
// A workaround for gcc 4.8 to make void_t work in a SFINAE context.
2022-12-26 15:36:34 +00:00
template <typename...> struct void_t_impl { using type = void; };
template <typename... T> using void_t = typename void_t_impl<T...>::type;
#else
template <typename...> using void_t = void;
#endif
2020-07-18 13:44:44 +00:00
2020-10-20 20:35:31 +00:00
template <typename It, typename T, typename Enable = void>
struct is_output_iterator : std::false_type {};
2020-07-18 13:44:44 +00:00
2020-10-20 20:35:31 +00:00
template <typename It, typename T>
struct is_output_iterator<
It, T,
2020-10-20 23:44:49 +00:00
void_t<typename std::iterator_traits<It>::iterator_category,
2020-10-20 20:35:31 +00:00
decltype(*std::declval<It>() = std::declval<T>())>>
: std::true_type {};
2020-07-18 13:44:44 +00:00
2022-12-26 15:36:34 +00:00
template <typename It> struct is_back_insert_iterator : std::false_type {};
template <typename Container>
struct is_back_insert_iterator<std::back_insert_iterator<Container>>
: std::true_type {};
2022-05-30 15:21:01 +00:00
// A type-erased reference to an std::locale to avoid a heavy <locale> include.
2018-11-14 17:39:37 +00:00
class locale_ref {
private:
2019-01-13 02:27:38 +00:00
const void* locale_; // A type-erased pointer to std::locale.
2018-11-14 17:39:37 +00:00
public:
2022-09-02 01:25:23 +00:00
constexpr FMT_INLINE locale_ref() : locale_(nullptr) {}
2019-01-13 02:27:38 +00:00
template <typename Locale> explicit locale_ref(const Locale& loc);
2018-11-14 17:39:37 +00:00
2022-01-21 00:55:47 +00:00
explicit operator bool() const noexcept { return locale_ != nullptr; }
2019-11-13 12:08:47 +00:00
2021-05-22 00:24:00 +00:00
template <typename Locale> auto get() const -> Locale;
2018-11-14 17:39:37 +00:00
};
2021-05-22 00:24:00 +00:00
template <typename> constexpr auto encode_types() -> unsigned long long {
return 0;
}
template <typename Context, typename Arg, typename... Args>
2021-05-22 00:24:00 +00:00
constexpr auto encode_types() -> unsigned long long {
2019-12-21 17:31:14 +00:00
return static_cast<unsigned>(mapped_type_constant<Arg, Context>::value) |
(encode_types<Context, Args...>() << packed_arg_bits);
}
2023-05-12 03:11:08 +00:00
template <bool PACKED, typename Context, typename T, FMT_ENABLE_IF(PACKED)>
FMT_CONSTEXPR FMT_INLINE auto make_arg(T& val) -> value<Context> {
auto&& arg = arg_mapper<Context>().map(val);
2023-05-06 13:32:10 +00:00
using arg_type = remove_cvref_t<decltype(arg)>;
2021-08-26 23:30:58 +00:00
2021-08-27 03:56:28 +00:00
constexpr bool formattable_char =
2023-05-06 13:32:10 +00:00
!std::is_same<arg_type, unformattable_char>::value;
2021-08-27 03:56:28 +00:00
static_assert(formattable_char, "Mixing character types is disallowed.");
2022-12-26 15:36:34 +00:00
// Formatting of arbitrary pointers is disallowed. If you want to format a
// pointer cast it to `void*` or `const void*`. In particular, this forbids
// formatting of `[const] volatile char*` printed as bool by iostreams.
2021-08-27 01:47:59 +00:00
constexpr bool formattable_pointer =
2023-05-06 13:32:10 +00:00
!std::is_same<arg_type, unformattable_pointer>::value;
2021-08-27 01:47:59 +00:00
static_assert(formattable_pointer,
"Formatting of non-void pointers is disallowed.");
2023-05-06 13:32:10 +00:00
constexpr bool formattable = !std::is_same<arg_type, unformattable>::value;
2021-03-28 01:57:18 +00:00
static_assert(
2021-08-26 22:47:44 +00:00
formattable,
2021-03-28 01:57:18 +00:00
"Cannot format an argument. To make type T formattable provide a "
"formatter<T> specialization: https://fmt.dev/latest/api.html#udt");
return {arg};
}
template <typename Context, typename T>
2023-05-12 01:37:33 +00:00
FMT_CONSTEXPR auto make_arg(T& val) -> basic_format_arg<Context> {
2022-12-26 15:36:34 +00:00
auto arg = basic_format_arg<Context>();
arg.type_ = mapped_type_constant<T, Context>::value;
2023-05-12 03:11:08 +00:00
arg.value_ = make_arg<true, Context>(val);
return arg;
}
2023-05-12 01:37:33 +00:00
template <bool PACKED, typename Context, typename T, FMT_ENABLE_IF(!PACKED)>
FMT_CONSTEXPR inline auto make_arg(T& val) -> basic_format_arg<Context> {
return make_arg<Context>(val);
2018-01-15 16:22:31 +00:00
}
2023-04-10 16:43:56 +00:00
} // namespace detail
FMT_BEGIN_EXPORT
2018-01-15 16:22:31 +00:00
2023-05-12 01:37:33 +00:00
// A formatting argument. It is a trivially copyable/constructible type to
// allow storage in basic_memory_buffer.
template <typename Context> class basic_format_arg {
private:
detail::value<Context> value_;
detail::type type_;
template <typename ContextType, typename T>
friend FMT_CONSTEXPR auto detail::make_arg(T& value)
-> basic_format_arg<ContextType>;
template <typename Visitor, typename Ctx>
friend FMT_CONSTEXPR auto visit_format_arg(Visitor&& vis,
const basic_format_arg<Ctx>& arg)
-> decltype(vis(0));
friend class basic_format_args<Context>;
friend class dynamic_format_arg_store<Context>;
using char_type = typename Context::char_type;
template <typename T, typename Char, size_t NUM_ARGS, size_t NUM_NAMED_ARGS>
friend struct detail::arg_data;
basic_format_arg(const detail::named_arg_info<char_type>* args, size_t size)
: value_(args, size) {}
public:
class handle {
public:
explicit handle(detail::custom_value<Context> custom) : custom_(custom) {}
void format(typename Context::parse_context_type& parse_ctx,
Context& ctx) const {
custom_.format(custom_.value, parse_ctx, ctx);
}
private:
detail::custom_value<Context> custom_;
};
constexpr basic_format_arg() : type_(detail::type::none_type) {}
constexpr explicit operator bool() const noexcept {
return type_ != detail::type::none_type;
}
auto type() const -> detail::type { return type_; }
auto is_integral() const -> bool { return detail::is_integral_type(type_); }
auto is_arithmetic() const -> bool {
return detail::is_arithmetic_type(type_);
}
};
/**
\rst
Visits an argument dispatching to the appropriate visit method based on
the argument type. For example, if the argument type is ``double`` then
``vis(value)`` will be called with the value of type ``double``.
\endrst
*/
2023-05-17 14:37:53 +00:00
FMT_EXPORT
2023-05-12 01:37:33 +00:00
template <typename Visitor, typename Context>
FMT_CONSTEXPR FMT_INLINE auto visit_format_arg(
Visitor&& vis, const basic_format_arg<Context>& arg) -> decltype(vis(0)) {
switch (arg.type_) {
case detail::type::none_type:
break;
case detail::type::int_type:
return vis(arg.value_.int_value);
case detail::type::uint_type:
return vis(arg.value_.uint_value);
case detail::type::long_long_type:
return vis(arg.value_.long_long_value);
case detail::type::ulong_long_type:
return vis(arg.value_.ulong_long_value);
case detail::type::int128_type:
return vis(detail::convert_for_visit(arg.value_.int128_value));
case detail::type::uint128_type:
return vis(detail::convert_for_visit(arg.value_.uint128_value));
case detail::type::bool_type:
return vis(arg.value_.bool_value);
case detail::type::char_type:
return vis(arg.value_.char_value);
case detail::type::float_type:
return vis(arg.value_.float_value);
case detail::type::double_type:
return vis(arg.value_.double_value);
case detail::type::long_double_type:
return vis(arg.value_.long_double_value);
case detail::type::cstring_type:
return vis(arg.value_.string.data);
case detail::type::string_type:
using sv = basic_string_view<typename Context::char_type>;
return vis(sv(arg.value_.string.data, arg.value_.string.size));
case detail::type::pointer_type:
return vis(arg.value_.pointer);
case detail::type::custom_type:
return vis(typename basic_format_arg<Context>::handle(arg.value_.custom));
}
return vis(monostate());
}
2018-01-14 15:19:23 +00:00
// Formatting context.
2019-02-10 03:34:42 +00:00
template <typename OutputIt, typename Char> class basic_format_context {
private:
2019-02-10 03:34:42 +00:00
OutputIt out_;
basic_format_args<basic_format_context> args_;
2020-05-10 14:25:42 +00:00
detail::locale_ref loc_;
public:
using iterator = OutputIt;
2023-05-17 16:13:46 +00:00
using format_arg = basic_format_arg<basic_format_context>;
2022-12-26 16:52:44 +00:00
using format_args = basic_format_args<basic_format_context>;
2020-04-12 14:38:54 +00:00
using parse_context_type = basic_format_parse_context<Char>;
2022-12-26 15:36:34 +00:00
template <typename T> using formatter_type = formatter<T, Char>;
/** The character type for the output. */
using char_type = Char;
2018-01-14 19:00:27 +00:00
2021-04-24 00:11:01 +00:00
basic_format_context(basic_format_context&&) = default;
basic_format_context(const basic_format_context&) = delete;
void operator=(const basic_format_context&) = delete;
/**
2022-12-26 16:52:44 +00:00
Constructs a ``basic_format_context`` object. References to the arguments
are stored in the object so make sure they have appropriate lifetimes.
*/
2022-12-26 16:52:44 +00:00
constexpr basic_format_context(OutputIt out, format_args ctx_args,
detail::locale_ref loc = {})
2019-02-10 03:34:42 +00:00
: out_(out), args_(ctx_args), loc_(loc) {}
2021-05-22 00:24:00 +00:00
constexpr auto arg(int id) const -> format_arg { return args_.get(id); }
2022-12-26 15:36:34 +00:00
FMT_CONSTEXPR auto arg(basic_string_view<Char> name) -> format_arg {
return args_.get(name);
}
2022-12-26 15:36:34 +00:00
FMT_CONSTEXPR auto arg_id(basic_string_view<Char> name) -> int {
2021-05-22 00:24:00 +00:00
return args_.get_id(name);
}
2022-12-26 16:52:44 +00:00
auto args() const -> const format_args& { return args_; }
2019-01-19 17:10:57 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto error_handler() -> detail::error_handler { return {}; }
2019-02-10 03:34:42 +00:00
void on_error(const char* message) { error_handler().on_error(message); }
// Returns an iterator to the beginning of the output range.
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto out() -> iterator { return out_; }
2019-02-10 03:34:42 +00:00
// Advances the begin iterator to ``it``.
void advance_to(iterator it) {
if (!detail::is_back_insert_iterator<iterator>()) out_ = it;
}
2019-02-10 03:34:42 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto locale() -> detail::locale_ref { return loc_; }
};
2019-06-03 00:13:50 +00:00
template <typename Char>
using buffer_context =
basic_format_context<detail::buffer_appender<Char>, Char>;
2019-06-03 00:13:50 +00:00
using format_context = buffer_context<char>;
2018-02-03 14:14:10 +00:00
2021-02-28 23:25:33 +00:00
template <typename T, typename Char = char>
2023-03-26 15:40:12 +00:00
using is_formattable = bool_constant<!std::is_base_of<
detail::unformattable, decltype(detail::arg_mapper<buffer_context<Char>>()
2023-05-12 13:44:47 +00:00
.map(std::declval<T&>()))>::value>;
2021-02-28 23:25:33 +00:00
2018-03-20 02:47:14 +00:00
/**
\rst
An array of references to arguments. It can be implicitly converted into
`~fmt::basic_format_args` for passing into type-erased formatting functions
such as `~fmt::vformat`.
\endrst
*/
template <typename Context, typename... Args>
class format_arg_store
2020-04-04 18:23:36 +00:00
#if FMT_GCC_VERSION && FMT_GCC_VERSION < 409
// Workaround a GCC template argument substitution bug.
: public basic_format_args<Context>
#endif
{
private:
2019-06-07 20:58:11 +00:00
static const size_t num_args = sizeof...(Args);
static constexpr size_t num_named_args = detail::count_named_args<Args...>();
2020-05-10 14:25:42 +00:00
static const bool is_packed = num_args <= detail::max_packed_args;
2020-05-10 14:25:42 +00:00
using value_type = conditional_t<is_packed, detail::value<Context>,
2019-06-05 01:50:30 +00:00
basic_format_arg<Context>>;
2020-05-10 14:25:42 +00:00
detail::arg_data<value_type, typename Context::char_type, num_args,
num_named_args>
2020-04-11 16:55:21 +00:00
data_;
2018-03-20 02:47:14 +00:00
friend class basic_format_args<Context>;
2020-04-11 16:55:21 +00:00
static constexpr unsigned long long desc =
2020-05-10 14:25:42 +00:00
(is_packed ? detail::encode_types<Context, Args...>()
: detail::is_unpacked_bit | num_args) |
2020-04-14 13:48:55 +00:00
(num_named_args != 0
2020-05-10 14:25:42 +00:00
? static_cast<unsigned long long>(detail::has_named_args_bit)
2020-04-14 13:48:55 +00:00
: 0);
2020-04-11 16:55:21 +00:00
public:
template <typename... T>
2023-05-11 17:19:56 +00:00
FMT_CONSTEXPR FMT_INLINE format_arg_store(T&... args)
:
2020-04-04 18:23:36 +00:00
#if FMT_GCC_VERSION && FMT_GCC_VERSION < 409
basic_format_args<Context>(*this),
#endif
2023-05-12 01:37:33 +00:00
data_{detail::make_arg<is_packed, Context>(args)...} {
if (num_named_args != 0)
detail::init_named_args(data_.named_args(), 0, 0, args...);
}
};
2018-03-20 02:47:14 +00:00
/**
\rst
2020-07-20 17:38:14 +00:00
Constructs a `~fmt::format_arg_store` object that contains references to
2018-07-21 16:13:21 +00:00
arguments and can be implicitly converted to `~fmt::format_args`. `Context`
2023-05-12 01:57:50 +00:00
can be omitted in which case it defaults to `~fmt::format_context`.
See `~fmt::arg` for lifetime considerations.
2018-03-20 02:47:14 +00:00
\endrst
*/
2023-05-12 01:57:50 +00:00
// Arguments are taken by lvalue references to avoid some lifetime issues.
2022-12-25 03:22:39 +00:00
template <typename Context = format_context, typename... T>
2023-05-11 13:32:58 +00:00
constexpr auto make_format_args(T&... args)
2022-12-25 03:22:39 +00:00
-> format_arg_store<Context, remove_cvref_t<T>...> {
2023-05-11 13:32:58 +00:00
return {args...};
2019-01-13 02:27:38 +00:00
}
/**
\rst
Returns a named argument to be used in a formatting function.
It should only be used in a call to a formatting function or
`dynamic_format_arg_store::push_back`.
**Example**::
fmt::print("Elapsed time: {s:.2f} seconds", fmt::arg("s", 1.23));
\endrst
*/
template <typename Char, typename T>
2021-05-22 00:24:00 +00:00
inline auto arg(const Char* name, const T& arg) -> detail::named_arg<Char, T> {
2020-05-10 14:25:42 +00:00
static_assert(!detail::is_named_arg<T>(), "nested named arguments");
return {name, arg};
}
FMT_END_EXPORT
2019-12-30 18:51:47 +00:00
/**
\rst
A view of a collection of formatting arguments. To avoid lifetime issues it
should only be used as a parameter type in type-erased functions such as
``vformat``::
2020-01-02 17:31:45 +00:00
void vlog(string_view format_str, format_args args); // OK
2023-05-11 16:39:44 +00:00
format_args args = make_format_args(); // Error: dangling reference
2019-12-30 18:51:47 +00:00
\endrst
*/
2019-01-13 02:27:38 +00:00
template <typename Context> class basic_format_args {
public:
2019-07-17 19:07:05 +00:00
using size_type = int;
using format_arg = basic_format_arg<Context>;
private:
2020-04-11 15:22:53 +00:00
// A descriptor that contains information about formatting arguments.
// If the number of arguments is less or equal to max_packed_args then
// argument types are passed in the descriptor. This reduces binary code size
// per formatting function call.
unsigned long long desc_;
union {
2020-04-11 15:22:53 +00:00
// If is_packed() returns true then argument values are stored in values_;
// otherwise they are stored in args_. This is done to improve cache
// locality and reduce compiled code size since storing larger objects
// may require more code (at least on x86-64) even if the same amount of
// data is actually copied to stack. It saves ~10% on the bloat test.
2020-05-10 14:25:42 +00:00
const detail::value<Context>* values_;
2019-01-13 02:27:38 +00:00
const format_arg* args_;
};
2021-05-22 00:24:00 +00:00
constexpr auto is_packed() const -> bool {
return (desc_ & detail::is_unpacked_bit) == 0;
}
2021-05-22 00:24:00 +00:00
auto has_named_args() const -> bool {
2020-05-10 14:25:42 +00:00
return (desc_ & detail::has_named_args_bit) != 0;
2020-04-14 13:48:55 +00:00
}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto type(int index) const -> detail::type {
2020-05-10 14:25:42 +00:00
int shift = index * detail::packed_arg_bits;
unsigned int mask = (1 << detail::packed_arg_bits) - 1;
return static_cast<detail::type>((desc_ >> shift) & mask);
}
2021-03-28 14:32:17 +00:00
constexpr FMT_INLINE basic_format_args(unsigned long long desc,
const detail::value<Context>* values)
2020-04-21 00:24:43 +00:00
: desc_(desc), values_(values) {}
constexpr basic_format_args(unsigned long long desc, const format_arg* args)
2020-04-21 00:24:43 +00:00
: desc_(desc), args_(args) {}
public:
constexpr basic_format_args() : desc_(0), args_(nullptr) {}
2018-03-20 02:47:14 +00:00
/**
\rst
Constructs a `basic_format_args` object from `~fmt::format_arg_store`.
2018-03-20 02:47:14 +00:00
\endrst
*/
template <typename... Args>
constexpr FMT_INLINE basic_format_args(
const format_arg_store<Context, Args...>& store)
: basic_format_args(format_arg_store<Context, Args...>::desc,
store.data_.args()) {}
/**
\rst
Constructs a `basic_format_args` object from
`~fmt::dynamic_format_arg_store`.
\endrst
*/
constexpr FMT_INLINE basic_format_args(
const dynamic_format_arg_store<Context>& store)
: basic_format_args(store.get_types(), store.data()) {}
/**
\rst
Constructs a `basic_format_args` object from a dynamic set of arguments.
\endrst
*/
constexpr basic_format_args(const format_arg* args, int count)
2020-05-10 14:25:42 +00:00
: basic_format_args(detail::is_unpacked_bit | detail::to_unsigned(count),
args) {}
2020-04-14 13:48:55 +00:00
/** Returns the argument with the specified id. */
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto get(int id) const -> format_arg {
2020-05-09 19:56:35 +00:00
format_arg arg;
if (!is_packed()) {
if (id < max_size()) arg = args_[id];
return arg;
}
2020-05-10 14:25:42 +00:00
if (id >= detail::max_packed_args) return arg;
2020-05-09 19:56:35 +00:00
arg.type_ = type(id);
2020-05-10 14:25:42 +00:00
if (arg.type_ == detail::type::none_type) return arg;
2020-05-09 19:56:35 +00:00
arg.value_ = values_[id];
2018-07-14 22:28:55 +00:00
return arg;
}
2021-05-22 00:24:00 +00:00
template <typename Char>
auto get(basic_string_view<Char> name) const -> format_arg {
2020-06-06 13:54:24 +00:00
int id = get_id(name);
return id >= 0 ? get(id) : format_arg();
}
2021-05-22 00:24:00 +00:00
template <typename Char>
auto get_id(basic_string_view<Char> name) const -> int {
if (!has_named_args()) return -1;
2020-04-14 13:48:55 +00:00
const auto& named_args =
(is_packed() ? values_[-1] : args_[-1].value_).named_args;
for (size_t i = 0; i < named_args.size; ++i) {
2020-06-06 13:54:24 +00:00
if (named_args.data[i].name == name) return named_args.data[i].id;
2020-04-14 13:48:55 +00:00
}
2020-06-06 13:54:24 +00:00
return -1;
2020-04-14 13:48:55 +00:00
}
2021-05-22 00:24:00 +00:00
auto max_size() const -> int {
2020-05-10 14:25:42 +00:00
unsigned long long max_packed = detail::max_packed_args;
2019-07-18 04:28:53 +00:00
return static_cast<int>(is_packed() ? max_packed
2020-05-10 14:25:42 +00:00
: desc_ & ~detail::is_unpacked_bit);
}
};
/** An alias to ``basic_format_args<format_context>``. */
// A separate type would result in shorter symbols but break ABI compatibility
// between clang and gcc on ARM (#1919).
2023-05-17 14:37:53 +00:00
FMT_EXPORT using format_args = basic_format_args<format_context>;
2022-05-11 21:40:26 +00:00
// We cannot use enum classes as bit fields because of a gcc bug, so we put them
// in namespaces instead (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61414).
// Additionally, if an underlying type is specified, older gcc incorrectly warns
2022-05-11 21:40:26 +00:00
// that the type is too small. Both bugs are fixed in gcc 9.3.
#if FMT_GCC_VERSION && FMT_GCC_VERSION < 903
2022-05-11 21:40:26 +00:00
# define FMT_ENUM_UNDERLYING_TYPE(type)
#else
2022-05-11 21:40:26 +00:00
# define FMT_ENUM_UNDERLYING_TYPE(type) : type
#endif
2021-05-06 13:49:46 +00:00
namespace align {
2022-05-11 21:40:26 +00:00
enum type FMT_ENUM_UNDERLYING_TYPE(unsigned char){none, left, right, center,
numeric};
2021-05-06 13:49:46 +00:00
}
using align_t = align::type;
2021-05-14 01:28:19 +00:00
namespace sign {
2022-05-11 21:40:26 +00:00
enum type FMT_ENUM_UNDERLYING_TYPE(unsigned char){none, minus, plus, space};
2021-05-14 01:28:19 +00:00
}
using sign_t = sign::type;
2023-04-10 16:43:56 +00:00
namespace detail {
2021-05-14 01:28:19 +00:00
// Workaround an array initialization issue in gcc 4.8.
template <typename Char> struct fill_t {
private:
enum { max_size = 4 };
Char data_[max_size] = {Char(' '), Char(0), Char(0), Char(0)};
unsigned char size_ = 1;
public:
FMT_CONSTEXPR void operator=(basic_string_view<Char> s) {
auto size = s.size();
2022-12-24 17:40:35 +00:00
FMT_ASSERT(size <= max_size, "invalid fill");
2021-05-14 01:28:19 +00:00
for (size_t i = 0; i < size; ++i) data_[i] = s[i];
size_ = static_cast<unsigned char>(size);
}
2021-05-22 00:24:00 +00:00
constexpr auto size() const -> size_t { return size_; }
constexpr auto data() const -> const Char* { return data_; }
2021-05-14 01:28:19 +00:00
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto operator[](size_t index) -> Char& { return data_[index]; }
FMT_CONSTEXPR auto operator[](size_t index) const -> const Char& {
2021-05-14 01:28:19 +00:00
return data_[index];
}
};
2023-04-10 16:43:56 +00:00
} // namespace detail
2021-05-14 01:28:19 +00:00
2021-09-06 17:24:21 +00:00
enum class presentation_type : unsigned char {
none,
dec, // 'd'
oct, // 'o'
hex_lower, // 'x'
hex_upper, // 'X'
bin_lower, // 'b'
bin_upper, // 'B'
hexfloat_lower, // 'a'
hexfloat_upper, // 'A'
exp_lower, // 'e'
exp_upper, // 'E'
fixed_lower, // 'f'
fixed_upper, // 'F'
general_lower, // 'g'
general_upper, // 'G'
chr, // 'c'
string, // 's'
pointer, // 'p'
debug // '?'
2021-09-06 17:24:21 +00:00
};
2021-05-14 01:28:19 +00:00
// Format specifiers for built-in and string types.
2022-12-24 22:34:50 +00:00
template <typename Char = char> struct format_specs {
2021-05-14 01:28:19 +00:00
int width;
int precision;
2021-09-06 17:24:21 +00:00
presentation_type type;
2021-05-14 01:28:19 +00:00
align_t align : 4;
sign_t sign : 3;
bool alt : 1; // Alternate form ('#').
bool localized : 1;
detail::fill_t<Char> fill;
2022-12-24 22:34:50 +00:00
constexpr format_specs()
2021-05-14 01:28:19 +00:00
: width(0),
precision(-1),
2021-09-06 17:24:21 +00:00
type(presentation_type::none),
2021-05-14 01:28:19 +00:00
align(align::none),
sign(sign::none),
alt(false),
localized(false) {}
};
2023-04-10 16:43:56 +00:00
namespace detail {
2021-05-14 02:01:21 +00:00
enum class arg_id_kind { none, index, name };
// An argument reference.
template <typename Char> struct arg_ref {
FMT_CONSTEXPR arg_ref() : kind(arg_id_kind::none), val() {}
FMT_CONSTEXPR explicit arg_ref(int index)
: kind(arg_id_kind::index), val(index) {}
FMT_CONSTEXPR explicit arg_ref(basic_string_view<Char> name)
: kind(arg_id_kind::name), val(name) {}
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto operator=(int idx) -> arg_ref& {
2021-05-14 02:01:21 +00:00
kind = arg_id_kind::index;
val.index = idx;
return *this;
}
arg_id_kind kind;
union value {
2022-12-25 19:21:48 +00:00
FMT_CONSTEXPR value(int idx = 0) : index(idx) {}
2021-05-14 02:01:21 +00:00
FMT_CONSTEXPR value(basic_string_view<Char> n) : name(n) {}
int index;
basic_string_view<Char> name;
} val;
};
// Format specifiers with width and precision resolved at formatting rather
2022-12-25 19:21:48 +00:00
// than parsing time to allow reusing the same parsed specifiers with
2021-05-14 02:01:21 +00:00
// different sets of arguments (precompilation of format strings).
2022-12-25 20:31:38 +00:00
template <typename Char = char>
struct dynamic_format_specs : format_specs<Char> {
2021-05-14 02:01:21 +00:00
arg_ref<Char> width_ref;
arg_ref<Char> precision_ref;
};
2022-12-30 15:30:28 +00:00
// Converts a character to ASCII. Returns '\0' on conversion failure.
2021-05-06 13:49:46 +00:00
template <typename Char, FMT_ENABLE_IF(std::is_integral<Char>::value)>
2022-12-30 15:30:28 +00:00
constexpr auto to_ascii(Char c) -> char {
return c <= 0xff ? static_cast<char>(c) : '\0';
2021-05-06 13:49:46 +00:00
}
template <typename Char, FMT_ENABLE_IF(std::is_enum<Char>::value)>
2022-12-30 15:30:28 +00:00
constexpr auto to_ascii(Char c) -> char {
return c <= 0xff ? static_cast<char>(c) : '\0';
2021-05-06 13:49:46 +00:00
}
// Returns the number of code units in a code point or 1 on error.
2021-05-06 13:49:46 +00:00
template <typename Char>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto code_point_length(const Char* begin) -> int {
2021-05-06 13:49:46 +00:00
if (const_check(sizeof(Char) != 1)) return 1;
auto c = static_cast<unsigned char>(*begin);
return static_cast<int>((0x3a55000000000000ull >> (2 * (c >> 3))) & 0x3) + 1;
2021-05-06 13:49:46 +00:00
}
2021-05-16 14:18:04 +00:00
// Return the result via the out param to workaround gcc bug 77539.
template <bool IS_CONSTEXPR, typename T, typename Ptr = const T*>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto find(Ptr first, Ptr last, T value, Ptr& out) -> bool {
2021-05-16 14:18:04 +00:00
for (out = first; out != last; ++out) {
if (*out == value) return true;
}
return false;
}
template <>
2021-05-22 00:24:00 +00:00
inline auto find<false, char>(const char* first, const char* last, char value,
const char*& out) -> bool {
2021-05-16 14:18:04 +00:00
out = static_cast<const char*>(
std::memchr(first, value, to_unsigned(last - first)));
return out != nullptr;
}
2021-05-06 13:49:46 +00:00
// Parses the range [begin, end) as an unsigned integer. This function assumes
// that the range is non-empty and the first character is a digit.
template <typename Char>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto parse_nonnegative_int(const Char*& begin, const Char* end,
int error_value) noexcept -> int {
2021-05-06 13:49:46 +00:00
FMT_ASSERT(begin != end && '0' <= *begin && *begin <= '9', "");
2021-06-14 02:05:31 +00:00
unsigned value = 0, prev = 0;
auto p = begin;
2021-05-06 13:49:46 +00:00
do {
2021-06-14 02:05:31 +00:00
prev = value;
value = value * 10 + unsigned(*p - '0');
++p;
} while (p != end && '0' <= *p && *p <= '9');
auto num_digits = p - begin;
begin = p;
if (num_digits <= std::numeric_limits<int>::digits10)
return static_cast<int>(value);
// Check for overflow.
const unsigned max = to_unsigned((std::numeric_limits<int>::max)());
return num_digits == std::numeric_limits<int>::digits10 + 1 &&
prev * 10ull + unsigned(p[-1] - '0') <= max
? static_cast<int>(value)
: error_value;
2021-05-06 13:49:46 +00:00
}
2023-01-01 16:50:50 +00:00
FMT_CONSTEXPR inline auto parse_align(char c) -> align_t {
switch (c) {
case '<':
return align::left;
case '>':
return align::right;
case '^':
return align::center;
}
return align::none;
2021-05-06 13:49:46 +00:00
}
2022-12-30 15:30:28 +00:00
template <typename Char> constexpr auto is_name_start(Char c) -> bool {
return ('a' <= c && c <= 'z') || ('A' <= c && c <= 'Z') || c == '_';
2021-05-06 15:12:24 +00:00
}
2022-12-25 19:21:48 +00:00
template <typename Char, typename Handler>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto do_parse_arg_id(const Char* begin, const Char* end,
2022-12-25 19:21:48 +00:00
Handler&& handler) -> const Char* {
2021-05-06 14:37:40 +00:00
Char c = *begin;
if (c >= '0' && c <= '9') {
int index = 0;
2022-12-25 19:21:48 +00:00
constexpr int max = (std::numeric_limits<int>::max)();
2021-05-06 14:37:40 +00:00
if (c != '0')
2022-12-25 19:21:48 +00:00
index = parse_nonnegative_int(begin, end, max);
2021-05-06 14:37:40 +00:00
else
++begin;
if (begin == end || (*begin != '}' && *begin != ':'))
2022-12-25 00:27:29 +00:00
throw_format_error("invalid format string");
2021-05-06 14:37:40 +00:00
else
2022-12-25 00:27:29 +00:00
handler.on_index(index);
2021-05-06 14:37:40 +00:00
return begin;
}
if (!is_name_start(c)) {
2022-12-25 00:27:29 +00:00
throw_format_error("invalid format string");
2021-05-06 14:37:40 +00:00
return begin;
}
auto it = begin;
do {
++it;
2022-12-25 00:27:29 +00:00
} while (it != end && (is_name_start(*it) || ('0' <= *it && *it <= '9')));
handler.on_name({begin, to_unsigned(it - begin)});
2021-05-06 14:37:40 +00:00
return it;
}
2022-12-25 19:21:48 +00:00
template <typename Char, typename Handler>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR FMT_INLINE auto parse_arg_id(const Char* begin, const Char* end,
2022-12-25 19:21:48 +00:00
Handler&& handler) -> const Char* {
FMT_ASSERT(begin != end, "");
2021-05-06 14:37:40 +00:00
Char c = *begin;
if (c != '}' && c != ':') return do_parse_arg_id(begin, end, handler);
2022-12-25 00:27:29 +00:00
handler.on_auto();
2021-05-06 14:37:40 +00:00
return begin;
}
2022-12-24 19:40:34 +00:00
template <typename Char> struct dynamic_spec_id_handler {
basic_format_parse_context<Char>& ctx;
2022-12-25 19:21:48 +00:00
arg_ref<Char>& ref;
2022-12-24 19:40:34 +00:00
2022-12-25 00:27:29 +00:00
FMT_CONSTEXPR void on_auto() {
2022-12-25 19:21:48 +00:00
int id = ctx.next_arg_id();
ref = arg_ref<Char>(id);
ctx.check_dynamic_spec(id);
2022-12-24 19:40:34 +00:00
}
2022-12-25 00:27:29 +00:00
FMT_CONSTEXPR void on_index(int id) {
2022-12-25 19:21:48 +00:00
ref = arg_ref<Char>(id);
2022-12-24 19:40:34 +00:00
ctx.check_arg_id(id);
ctx.check_dynamic_spec(id);
}
2022-12-25 00:27:29 +00:00
FMT_CONSTEXPR void on_name(basic_string_view<Char> id) {
2022-12-25 19:21:48 +00:00
ref = arg_ref<Char>(id);
2022-12-24 19:40:34 +00:00
ctx.check_arg_id(id);
}
};
// Parses [integer | "{" [arg_id] "}"].
2022-12-24 00:05:05 +00:00
template <typename Char>
2022-12-24 19:40:34 +00:00
FMT_CONSTEXPR auto parse_dynamic_spec(const Char* begin, const Char* end,
2022-12-25 19:21:48 +00:00
int& value, arg_ref<Char>& ref,
2022-12-24 19:40:34 +00:00
basic_format_parse_context<Char>& ctx)
2022-12-25 19:21:48 +00:00
-> const Char* {
2021-05-06 13:49:46 +00:00
FMT_ASSERT(begin != end, "");
if ('0' <= *begin && *begin <= '9') {
2022-12-25 19:21:48 +00:00
int val = parse_nonnegative_int(begin, end, -1);
if (val != -1)
value = val;
else
throw_format_error("number is too big");
2021-05-06 13:49:46 +00:00
} else if (*begin == '{') {
++begin;
2022-12-25 19:21:48 +00:00
auto handler = dynamic_spec_id_handler<Char>{ctx, ref};
2022-12-24 00:05:05 +00:00
if (begin != end) begin = parse_arg_id(begin, end, handler);
2022-12-25 19:21:48 +00:00
if (begin != end && *begin == '}') return ++begin;
2022-12-24 00:05:05 +00:00
throw_format_error("invalid format string");
2021-05-06 13:49:46 +00:00
}
2022-12-25 19:21:48 +00:00
return begin;
2021-05-06 13:49:46 +00:00
}
2022-12-24 19:40:34 +00:00
template <typename Char>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto parse_precision(const Char* begin, const Char* end,
2022-12-25 19:21:48 +00:00
int& value, arg_ref<Char>& ref,
2022-12-24 19:40:34 +00:00
basic_format_parse_context<Char>& ctx)
2022-12-25 19:21:48 +00:00
-> const Char* {
2021-05-06 13:49:46 +00:00
++begin;
2022-12-24 19:40:34 +00:00
if (begin == end || *begin == '}') {
2022-12-30 18:58:22 +00:00
throw_format_error("invalid precision");
2022-12-25 19:21:48 +00:00
return begin;
2022-12-24 19:40:34 +00:00
}
2022-12-25 19:21:48 +00:00
return parse_dynamic_spec(begin, end, value, ref, ctx);
2021-05-06 13:49:46 +00:00
}
2023-01-01 16:50:50 +00:00
enum class state { start, align, sign, hash, zero, width, precision, locale };
2022-12-25 03:22:39 +00:00
// Parses standard format specifiers.
template <typename Char>
FMT_CONSTEXPR FMT_INLINE auto parse_format_specs(
2022-12-25 20:31:38 +00:00
const Char* begin, const Char* end, dynamic_format_specs<Char>& specs,
basic_format_parse_context<Char>& ctx, type arg_type) -> const Char* {
2023-01-01 16:50:50 +00:00
auto c = '\0';
if (end - begin > 1) {
auto next = to_ascii(begin[1]);
2023-01-01 18:44:55 +00:00
c = parse_align(next) == align::none ? to_ascii(*begin) : '\0';
2023-01-01 16:50:50 +00:00
} else {
if (begin == end) return begin;
c = to_ascii(*begin);
}
2023-01-01 16:50:50 +00:00
struct {
state current_state = state::start;
FMT_CONSTEXPR void operator()(state s, bool valid = true) {
if (current_state >= s || !valid)
throw_format_error("invalid format specifier");
current_state = s;
}
} enter_state;
using pres = presentation_type;
constexpr auto integral_set = sint_set | uint_set | bool_set | char_set;
struct {
const Char*& begin;
dynamic_format_specs<Char>& specs;
type arg_type;
FMT_CONSTEXPR auto operator()(pres type, int set) -> const Char* {
if (!in(arg_type, set)) throw_format_error("invalid format specifier");
specs.type = type;
return begin + 1;
}
} parse_presentation_type{begin, specs, arg_type};
2023-01-01 16:50:50 +00:00
for (;;) {
switch (c) {
case '<':
case '>':
case '^':
enter_state(state::align);
specs.align = parse_align(c);
2022-12-30 18:20:07 +00:00
++begin;
break;
2023-01-01 16:50:50 +00:00
case '+':
2022-12-30 18:20:07 +00:00
case '-':
2023-01-01 16:50:50 +00:00
case ' ':
enter_state(state::sign, in(arg_type, sint_set | float_set));
switch (c) {
case '+':
specs.sign = sign::plus;
break;
case '-':
specs.sign = sign::minus;
break;
case ' ':
specs.sign = sign::space;
break;
}
2022-12-30 18:20:07 +00:00
++begin;
break;
2023-01-01 16:50:50 +00:00
case '#':
enter_state(state::hash, is_arithmetic_type(arg_type));
specs.alt = true;
++begin;
break;
case '0':
enter_state(state::zero);
if (!is_arithmetic_type(arg_type))
throw_format_error("format specifier requires numeric argument");
if (specs.align == align::none) {
// Ignore 0 if align is specified for compatibility with std::format.
specs.align = align::numeric;
specs.fill[0] = Char('0');
}
2022-12-30 18:20:07 +00:00
++begin;
break;
2023-01-01 16:50:50 +00:00
case '1':
case '2':
case '3':
case '4':
case '5':
case '6':
case '7':
case '8':
case '9':
case '{':
enter_state(state::width);
begin = parse_dynamic_spec(begin, end, specs.width, specs.width_ref, ctx);
2022-12-30 18:20:07 +00:00
break;
2023-01-01 16:50:50 +00:00
case '.':
enter_state(state::precision,
in(arg_type, float_set | string_set | cstring_set));
begin = parse_precision(begin, end, specs.precision, specs.precision_ref,
ctx);
break;
case 'L':
enter_state(state::locale, is_arithmetic_type(arg_type));
specs.localized = true;
++begin;
break;
case 'd':
return parse_presentation_type(pres::dec, integral_set);
case 'o':
return parse_presentation_type(pres::oct, integral_set);
case 'x':
return parse_presentation_type(pres::hex_lower, integral_set);
case 'X':
return parse_presentation_type(pres::hex_upper, integral_set);
case 'b':
return parse_presentation_type(pres::bin_lower, integral_set);
case 'B':
return parse_presentation_type(pres::bin_upper, integral_set);
case 'a':
return parse_presentation_type(pres::hexfloat_lower, float_set);
case 'A':
return parse_presentation_type(pres::hexfloat_upper, float_set);
case 'e':
return parse_presentation_type(pres::exp_lower, float_set);
case 'E':
return parse_presentation_type(pres::exp_upper, float_set);
case 'f':
return parse_presentation_type(pres::fixed_lower, float_set);
case 'F':
return parse_presentation_type(pres::fixed_upper, float_set);
case 'g':
return parse_presentation_type(pres::general_lower, float_set);
case 'G':
return parse_presentation_type(pres::general_upper, float_set);
case 'c':
return parse_presentation_type(pres::chr, integral_set);
case 's':
return parse_presentation_type(pres::string,
bool_set | string_set | cstring_set);
case 'p':
return parse_presentation_type(pres::pointer, pointer_set | cstring_set);
case '?':
return parse_presentation_type(pres::debug,
char_set | string_set | cstring_set);
2023-01-01 16:50:50 +00:00
case '}':
return begin;
default: {
if (*begin == '}') return begin;
// Parse fill and alignment.
auto fill_end = begin + code_point_length(begin);
if (end - fill_end <= 0) {
throw_format_error("invalid format specifier");
return begin;
}
if (*begin == '{') {
throw_format_error("invalid fill character '{'");
return begin;
}
auto align = parse_align(to_ascii(*fill_end));
enter_state(state::align, align != align::none);
specs.fill = {begin, to_unsigned(fill_end - begin)};
specs.align = align;
begin = fill_end + 1;
2022-12-25 03:22:39 +00:00
}
}
2022-12-25 20:31:38 +00:00
if (begin == end) return begin;
2023-01-01 16:50:50 +00:00
c = to_ascii(*begin);
2021-05-06 13:49:46 +00:00
}
}
template <typename Char, typename Handler>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto parse_replacement_field(const Char* begin, const Char* end,
Handler&& handler) -> const Char* {
2021-05-19 15:11:08 +00:00
struct id_adapter {
Handler& handler;
int arg_id;
2022-12-25 00:27:29 +00:00
FMT_CONSTEXPR void on_auto() { arg_id = handler.on_arg_id(); }
FMT_CONSTEXPR void on_index(int id) { arg_id = handler.on_arg_id(id); }
FMT_CONSTEXPR void on_name(basic_string_view<Char> id) {
2021-05-19 15:11:08 +00:00
arg_id = handler.on_arg_id(id);
}
};
2021-05-06 13:49:46 +00:00
++begin;
if (begin == end) return handler.on_error("invalid format string"), end;
if (*begin == '}') {
handler.on_replacement_field(handler.on_arg_id(), begin);
} else if (*begin == '{') {
handler.on_text(begin, begin + 1);
} else {
2021-05-19 15:11:08 +00:00
auto adapter = id_adapter{handler, 0};
2021-05-06 13:49:46 +00:00
begin = parse_arg_id(begin, end, adapter);
Char c = begin != end ? *begin : Char();
if (c == '}') {
handler.on_replacement_field(adapter.arg_id, begin);
} else if (c == ':') {
begin = handler.on_format_specs(adapter.arg_id, begin + 1, end);
if (begin == end || *begin != '}')
return handler.on_error("unknown format specifier"), end;
} else {
return handler.on_error("missing '}' in format string"), end;
}
}
return begin + 1;
}
template <bool IS_CONSTEXPR, typename Char, typename Handler>
2021-05-16 19:48:20 +00:00
FMT_CONSTEXPR FMT_INLINE void parse_format_string(
2021-05-06 13:49:46 +00:00
basic_string_view<Char> format_str, Handler&& handler) {
auto begin = format_str.data();
auto end = begin + format_str.size();
if (end - begin < 32) {
// Use a simple loop instead of memchr for small strings.
const Char* p = begin;
while (p != end) {
auto c = *p++;
if (c == '{') {
handler.on_text(begin, p - 1);
begin = p = parse_replacement_field(p - 1, end, handler);
} else if (c == '}') {
if (p == end || *p != '}')
return handler.on_error("unmatched '}' in format string");
handler.on_text(begin, p);
begin = ++p;
}
}
handler.on_text(begin, end);
return;
}
struct writer {
2022-05-30 14:27:01 +00:00
FMT_CONSTEXPR void operator()(const Char* from, const Char* to) {
if (from == to) return;
2021-05-06 13:49:46 +00:00
for (;;) {
const Char* p = nullptr;
2022-05-30 14:27:01 +00:00
if (!find<IS_CONSTEXPR>(from, to, Char('}'), p))
return handler_.on_text(from, to);
2021-05-06 13:49:46 +00:00
++p;
2022-05-30 14:27:01 +00:00
if (p == to || *p != '}')
2021-05-06 13:49:46 +00:00
return handler_.on_error("unmatched '}' in format string");
2022-05-30 14:27:01 +00:00
handler_.on_text(from, p);
from = p + 1;
2021-05-06 13:49:46 +00:00
}
}
Handler& handler_;
2022-05-30 14:27:01 +00:00
} write = {handler};
2021-05-06 13:49:46 +00:00
while (begin != end) {
// Doing two passes with memchr (one for '{' and another for '}') is up to
// 2.5x faster than the naive one-pass implementation on big format strings.
const Char* p = begin;
2021-06-30 05:25:14 +00:00
if (*begin != '{' && !find<IS_CONSTEXPR>(begin + 1, end, Char('{'), p))
2021-05-06 13:49:46 +00:00
return write(begin, end);
write(begin, p);
begin = parse_replacement_field(p, end, handler);
}
}
template <typename T, bool = is_named_arg<T>::value> struct strip_named_arg {
using type = T;
};
template <typename T> struct strip_named_arg<T, true> {
using type = remove_cvref_t<decltype(T::value)>;
};
2021-05-06 13:49:46 +00:00
template <typename T, typename ParseContext>
2021-05-22 00:24:00 +00:00
FMT_CONSTEXPR auto parse_format_specs(ParseContext& ctx)
-> decltype(ctx.begin()) {
2021-05-06 13:49:46 +00:00
using char_type = typename ParseContext::char_type;
using context = buffer_context<char_type>;
using mapped_type = conditional_t<
mapped_type_constant<T, context>::value != type::custom_type,
decltype(arg_mapper<context>().map(std::declval<const T&>())),
2023-03-27 04:05:06 +00:00
typename strip_named_arg<T>::type>;
2023-03-26 15:40:12 +00:00
return formatter<mapped_type, char_type>().parse(ctx);
2021-05-06 13:49:46 +00:00
}
2022-12-31 00:53:03 +00:00
// Checks char specs and returns true iff the presentation type is char-like.
2022-12-30 22:59:42 +00:00
template <typename Char>
FMT_CONSTEXPR auto check_char_specs(const format_specs<Char>& specs) -> bool {
2021-09-06 17:24:21 +00:00
if (specs.type != presentation_type::none &&
specs.type != presentation_type::chr &&
specs.type != presentation_type::debug) {
2021-05-17 22:40:59 +00:00
return false;
}
2021-05-16 14:08:49 +00:00
if (specs.align == align::numeric || specs.sign != sign::none || specs.alt)
2022-12-30 22:59:42 +00:00
throw_format_error("invalid format specifier for char");
2021-05-17 22:40:59 +00:00
return true;
2021-05-16 14:08:49 +00:00
}
constexpr FMT_INLINE_VARIABLE int invalid_arg_index = -1;
2022-05-30 00:00:09 +00:00
#if FMT_USE_NONTYPE_TEMPLATE_ARGS
template <int N, typename T, typename... Args, typename Char>
2021-05-19 15:11:08 +00:00
constexpr auto get_arg_index_by_name(basic_string_view<Char> name) -> int {
2022-12-25 19:21:48 +00:00
if constexpr (is_statically_named_arg<T>()) {
if (name == T::name) return N;
}
2021-09-04 04:17:36 +00:00
if constexpr (sizeof...(Args) > 0)
return get_arg_index_by_name<N + 1, Args...>(name);
2021-09-04 04:17:36 +00:00
(void)name; // Workaround an MSVC bug about "unused" parameter.
return invalid_arg_index;
}
2021-05-15 13:28:20 +00:00
#endif
template <typename... Args, typename Char>
2021-05-19 15:11:08 +00:00
FMT_CONSTEXPR auto get_arg_index_by_name(basic_string_view<Char> name) -> int {
2022-05-30 00:00:09 +00:00
#if FMT_USE_NONTYPE_TEMPLATE_ARGS
2021-09-03 23:43:58 +00:00
if constexpr (sizeof...(Args) > 0)
return get_arg_index_by_name<0, Args...>(name);
2021-09-03 23:43:58 +00:00
#endif
2021-05-15 13:28:20 +00:00
(void)name;
return invalid_arg_index;
}
template <typename Char, typename... Args> class format_string_checker {
2021-05-16 14:18:04 +00:00
private:
2022-12-24 23:09:09 +00:00
using parse_context_type = compile_parse_context<Char>;
2022-06-05 23:46:50 +00:00
static constexpr int num_args = sizeof...(Args);
2021-05-16 14:18:04 +00:00
// Format specifier parsing function.
2022-12-24 23:09:09 +00:00
// In the future basic_format_parse_context will replace compile_parse_context
// here and will use is_constant_evaluated and downcasting to access the data
// needed for compile-time checks: https://godbolt.org/z/GvWzcTjh1.
2021-05-16 14:18:04 +00:00
using parse_func = const Char* (*)(parse_context_type&);
parse_context_type context_;
2022-06-11 14:05:53 +00:00
parse_func parse_funcs_[num_args > 0 ? static_cast<size_t>(num_args) : 1];
type types_[num_args > 0 ? static_cast<size_t>(num_args) : 1];
2021-05-16 14:18:04 +00:00
2021-05-06 13:49:46 +00:00
public:
2022-12-31 01:08:30 +00:00
explicit FMT_CONSTEXPR format_string_checker(basic_string_view<Char> fmt)
: context_(fmt, num_args, types_),
2022-06-09 23:57:52 +00:00
parse_funcs_{&parse_format_specs<Args, parse_context_type>...},
2022-12-31 01:08:30 +00:00
types_{mapped_type_constant<Args, buffer_context<Char>>::value...} {}
2021-05-06 13:49:46 +00:00
FMT_CONSTEXPR void on_text(const Char*, const Char*) {}
2021-05-19 15:11:08 +00:00
FMT_CONSTEXPR auto on_arg_id() -> int { return context_.next_arg_id(); }
FMT_CONSTEXPR auto on_arg_id(int id) -> int {
return context_.check_arg_id(id), id;
}
FMT_CONSTEXPR auto on_arg_id(basic_string_view<Char> id) -> int {
2022-05-30 00:00:09 +00:00
#if FMT_USE_NONTYPE_TEMPLATE_ARGS
auto index = get_arg_index_by_name<Args...>(id);
if (index == invalid_arg_index) on_error("named argument is not found");
return index;
#else
(void)id;
on_error("compile-time checks for named arguments require C++20 support");
2021-05-06 13:49:46 +00:00
return 0;
#endif
2021-05-06 13:49:46 +00:00
}
FMT_CONSTEXPR void on_replacement_field(int, const Char*) {}
2021-05-19 15:11:08 +00:00
FMT_CONSTEXPR auto on_format_specs(int id, const Char* begin, const Char*)
-> const Char* {
2022-12-26 16:52:44 +00:00
context_.advance_to(begin);
2021-05-06 13:49:46 +00:00
// id >= 0 check is a workaround for gcc 10 bug (#2065).
return id >= 0 && id < num_args ? parse_funcs_[id](context_) : begin;
}
FMT_CONSTEXPR void on_error(const char* message) {
2022-12-24 23:09:09 +00:00
throw_format_error(message);
2021-05-06 13:49:46 +00:00
}
};
2022-05-30 02:00:22 +00:00
// Reports a compile-time error if S is not a valid format string.
template <typename..., typename S, FMT_ENABLE_IF(!is_compile_string<S>::value)>
FMT_INLINE void check_format_string(const S&) {
#ifdef FMT_ENFORCE_COMPILE_STRING
static_assert(is_compile_string<S>::value,
"FMT_ENFORCE_COMPILE_STRING requires all format strings to use "
"FMT_STRING.");
#endif
}
2021-05-06 13:49:46 +00:00
template <typename... Args, typename S,
2022-05-30 02:00:22 +00:00
FMT_ENABLE_IF(is_compile_string<S>::value)>
2021-05-06 13:49:46 +00:00
void check_format_string(S format_str) {
2022-12-25 16:59:25 +00:00
using char_t = typename S::char_type;
FMT_CONSTEXPR auto s = basic_string_view<char_t>(format_str);
using checker = format_string_checker<char_t, remove_cvref_t<Args>...>;
2022-12-26 16:52:44 +00:00
FMT_CONSTEXPR bool error = (parse_format_string<true>(s, checker(s)), true);
ignore_unused(error);
2021-05-06 13:49:46 +00:00
}
2022-12-31 03:35:05 +00:00
template <typename Char = char> struct vformat_args {
using type = basic_format_args<
basic_format_context<std::back_insert_iterator<buffer<Char>>, Char>>;
};
template <> struct vformat_args<char> { using type = format_args; };
// Use vformat_args and avoid type_identity to keep symbols short.
2018-10-25 01:42:42 +00:00
template <typename Char>
2022-09-01 23:14:53 +00:00
void vformat_to(buffer<Char>& buf, basic_string_view<Char> fmt,
2022-12-31 03:35:05 +00:00
typename vformat_args<Char>::type args, locale_ref loc = {});
2020-03-28 13:31:38 +00:00
FMT_API void vprint_mojibake(std::FILE*, string_view, format_args);
2020-03-22 14:57:56 +00:00
#ifndef _WIN32
inline void vprint_mojibake(std::FILE*, string_view, format_args) {}
#endif
2023-04-10 16:43:56 +00:00
} // namespace detail
FMT_BEGIN_EXPORT
2022-12-25 16:28:40 +00:00
// A formatter specialization for natively supported types.
2021-05-16 14:08:49 +00:00
template <typename T, typename Char>
struct formatter<T, Char,
enable_if_t<detail::type_constant<T, Char>::value !=
detail::type::custom_type>> {
2021-05-16 14:18:04 +00:00
private:
detail::dynamic_format_specs<Char> specs_;
public:
2021-05-16 14:08:49 +00:00
template <typename ParseContext>
2022-12-26 16:52:44 +00:00
FMT_CONSTEXPR auto parse(ParseContext& ctx) -> const Char* {
2021-05-16 14:08:49 +00:00
auto type = detail::type_constant<T, Char>::value;
2022-12-30 20:53:36 +00:00
auto end =
detail::parse_format_specs(ctx.begin(), ctx.end(), specs_, ctx, type);
2022-12-30 22:59:42 +00:00
if (type == detail::type::char_type) detail::check_char_specs(specs_);
2022-12-30 20:53:36 +00:00
return end;
2021-05-16 14:08:49 +00:00
}
template <detail::type U = detail::type_constant<T, Char>::value,
2022-12-25 16:28:40 +00:00
FMT_ENABLE_IF(U == detail::type::string_type ||
U == detail::type::cstring_type ||
U == detail::type::char_type)>
2022-11-26 16:50:46 +00:00
FMT_CONSTEXPR void set_debug_format(bool set = true) {
specs_.type = set ? presentation_type::debug : presentation_type::none;
}
2021-05-16 14:08:49 +00:00
template <typename FormatContext>
2021-05-16 14:18:04 +00:00
FMT_CONSTEXPR auto format(const T& val, FormatContext& ctx) const
2021-05-16 14:08:49 +00:00
-> decltype(ctx.out());
};
2023-05-21 01:28:01 +00:00
#define FMT_FORMAT_AS(Type, Base) \
template <typename Char> \
struct formatter<Type, Char> : formatter<Base, Char> {}
FMT_FORMAT_AS(signed char, int);
FMT_FORMAT_AS(unsigned char, unsigned);
FMT_FORMAT_AS(short, int);
FMT_FORMAT_AS(unsigned short, unsigned);
2023-05-13 15:10:00 +00:00
FMT_FORMAT_AS(long, detail::long_type);
FMT_FORMAT_AS(unsigned long, detail::ulong_type);
2023-05-17 13:11:11 +00:00
FMT_FORMAT_AS(Char*, const Char*);
FMT_FORMAT_AS(std::basic_string<Char>, basic_string_view<Char>);
FMT_FORMAT_AS(std::nullptr_t, const void*);
FMT_FORMAT_AS(detail::std_string_view<Char>, basic_string_view<Char>);
2022-12-25 16:28:40 +00:00
template <typename Char = char> struct runtime_format_string {
basic_string_view<Char> str;
};
2021-05-19 02:38:52 +00:00
2021-08-28 23:51:48 +00:00
/** A compile-time format string. */
2021-05-17 22:40:59 +00:00
template <typename Char, typename... Args> class basic_format_string {
private:
basic_string_view<Char> str_;
2021-05-17 14:50:29 +00:00
2021-05-17 22:40:59 +00:00
public:
template <typename S,
FMT_ENABLE_IF(
std::is_convertible<const S&, basic_string_view<Char>>::value)>
2021-08-27 04:17:35 +00:00
FMT_CONSTEVAL FMT_INLINE basic_format_string(const S& s) : str_(s) {
2021-05-18 03:47:38 +00:00
static_assert(
detail::count<
(std::is_base_of<detail::view, remove_reference_t<Args>>::value &&
std::is_reference<Args>::value)...>() == 0,
"passing views as lvalues is disallowed");
2021-06-07 00:35:40 +00:00
#ifdef FMT_HAS_CONSTEVAL
if constexpr (detail::count_named_args<Args...>() ==
detail::count_statically_named_args<Args...>()) {
using checker =
detail::format_string_checker<Char, remove_cvref_t<Args>...>;
2022-12-24 23:09:09 +00:00
detail::parse_format_string<true>(str_, checker(s));
2021-05-19 02:38:52 +00:00
}
#else
2021-05-18 03:47:38 +00:00
detail::check_format_string<Args...>(s);
2021-05-19 02:38:52 +00:00
#endif
2021-05-18 03:47:38 +00:00
}
2022-12-25 16:28:40 +00:00
basic_format_string(runtime_format_string<Char> fmt) : str_(fmt.str) {}
2021-05-17 22:40:59 +00:00
FMT_INLINE operator basic_string_view<Char>() const { return str_; }
2022-12-26 16:52:44 +00:00
FMT_INLINE auto get() const -> basic_string_view<Char> { return str_; }
2021-05-17 14:50:29 +00:00
};
2021-05-18 03:47:38 +00:00
#if FMT_GCC_VERSION && FMT_GCC_VERSION < 409
// Workaround broken conversion on older gcc.
2022-05-30 04:18:52 +00:00
template <typename...> using format_string = string_view;
2022-08-24 17:00:12 +00:00
inline auto runtime(string_view s) -> string_view { return s; }
2021-05-18 03:47:38 +00:00
#else
2021-05-17 14:50:29 +00:00
template <typename... Args>
2021-05-18 03:47:38 +00:00
using format_string = basic_format_string<char, type_identity_t<Args>...>;
2021-08-29 19:10:40 +00:00
/**
\rst
Creates a runtime format string.
**Example**::
// Check format string at runtime instead of compile-time.
fmt::print(fmt::runtime("{:d}"), "I am not a number");
\endrst
*/
2022-12-25 16:28:40 +00:00
inline auto runtime(string_view s) -> runtime_format_string<> { return {{s}}; }
2021-05-17 14:50:29 +00:00
#endif
FMT_API auto vformat(string_view fmt, format_args args) -> std::string;
/**
\rst
Formats ``args`` according to specifications in ``fmt`` and returns the result
as a string.
**Example**::
2018-03-10 17:25:17 +00:00
#include <fmt/core.h>
2021-08-29 18:21:38 +00:00
std::string message = fmt::format("The answer is {}.", 42);
\endrst
*/
2021-05-18 03:47:38 +00:00
template <typename... T>
FMT_NODISCARD FMT_INLINE auto format(format_string<T...> fmt, T&&... args)
-> std::string {
return vformat(fmt, fmt::make_format_args(args...));
}
/** Formats a string and writes the output to ``out``. */
template <typename OutputIt,
FMT_ENABLE_IF(detail::is_output_iterator<OutputIt, char>::value)>
auto vformat_to(OutputIt out, string_view fmt, format_args args) -> OutputIt {
auto&& buf = detail::get_buffer<char>(out);
2021-09-03 23:43:58 +00:00
detail::vformat_to(buf, fmt, args, {});
return detail::get_iterator(buf, out);
}
/**
\rst
Formats ``args`` according to specifications in ``fmt``, writes the result to
the output iterator ``out`` and returns the iterator past the end of the output
range. `format_to` does not append a terminating null character.
**Example**::
auto out = std::vector<char>();
fmt::format_to(std::back_inserter(out), "{}", 42);
\endrst
*/
template <typename OutputIt, typename... T,
FMT_ENABLE_IF(detail::is_output_iterator<OutputIt, char>::value)>
2021-05-20 14:21:20 +00:00
FMT_INLINE auto format_to(OutputIt out, format_string<T...> fmt, T&&... args)
-> OutputIt {
2021-05-20 13:13:13 +00:00
return vformat_to(out, fmt, fmt::make_format_args(args...));
}
template <typename OutputIt> struct format_to_n_result {
/** Iterator past the end of the output range. */
OutputIt out;
/** Total (not truncated) output size. */
size_t size;
};
template <typename OutputIt, typename... T,
FMT_ENABLE_IF(detail::is_output_iterator<OutputIt, char>::value)>
auto vformat_to_n(OutputIt out, size_t n, string_view fmt, format_args args)
-> format_to_n_result<OutputIt> {
2021-09-03 23:43:58 +00:00
using traits = detail::fixed_buffer_traits;
auto buf = detail::iterator_buffer<OutputIt, char, traits>(out, n);
2021-07-02 18:34:42 +00:00
detail::vformat_to(buf, fmt, args, {});
return {buf.out(), buf.count()};
}
/**
\rst
Formats ``args`` according to specifications in ``fmt``, writes up to ``n``
characters of the result to the output iterator ``out`` and returns the total
(not truncated) output size and the iterator past the end of the output range.
`format_to_n` does not append a terminating null character.
\endrst
*/
template <typename OutputIt, typename... T,
FMT_ENABLE_IF(detail::is_output_iterator<OutputIt, char>::value)>
2021-05-20 14:21:20 +00:00
FMT_INLINE auto format_to_n(OutputIt out, size_t n, format_string<T...> fmt,
T&&... args) -> format_to_n_result<OutputIt> {
2021-05-20 13:13:13 +00:00
return vformat_to_n(out, n, fmt, fmt::make_format_args(args...));
}
/** Returns the number of chars in the output of ``format(fmt, args...)``. */
template <typename... T>
FMT_NODISCARD FMT_INLINE auto formatted_size(format_string<T...> fmt,
T&&... args) -> size_t {
auto buf = detail::counting_buffer<>();
2022-12-31 01:08:30 +00:00
detail::vformat_to<char>(buf, fmt, fmt::make_format_args(args...), {});
return buf.count();
}
2021-06-03 13:24:17 +00:00
FMT_API void vprint(string_view fmt, format_args args);
FMT_API void vprint(std::FILE* f, string_view fmt, format_args args);
/**
\rst
Formats ``args`` according to specifications in ``fmt`` and writes the output
2021-05-19 18:47:21 +00:00
to ``stdout``.
**Example**::
fmt::print("Elapsed time: {0:.2f} seconds", 1.23);
\endrst
*/
2021-05-18 03:47:38 +00:00
template <typename... T>
2021-05-20 14:21:20 +00:00
FMT_INLINE void print(format_string<T...> fmt, T&&... args) {
2021-05-20 13:13:13 +00:00
const auto& vargs = fmt::make_format_args(args...);
return detail::is_utf8() ? vprint(fmt, vargs)
: detail::vprint_mojibake(stdout, fmt, vargs);
}
/**
\rst
Formats ``args`` according to specifications in ``fmt`` and writes the
2021-05-19 18:47:21 +00:00
output to the file ``f``.
**Example**::
fmt::print(stderr, "Don't {}!", "panic");
\endrst
*/
2021-05-18 03:47:38 +00:00
template <typename... T>
2021-05-20 14:21:20 +00:00
FMT_INLINE void print(std::FILE* f, format_string<T...> fmt, T&&... args) {
2021-05-20 13:13:13 +00:00
const auto& vargs = fmt::make_format_args(args...);
return detail::is_utf8() ? vprint(f, fmt, vargs)
: detail::vprint_mojibake(f, fmt, vargs);
}
2023-01-24 20:30:00 +00:00
/**
Formats ``args`` according to specifications in ``fmt`` and writes the
output to the file ``f`` followed by a newline.
*/
template <typename... T>
FMT_INLINE void println(std::FILE* f, format_string<T...> fmt, T&&... args) {
return fmt::print(f, "{}\n", fmt::format(fmt, std::forward<T>(args)...));
}
/**
Formats ``args`` according to specifications in ``fmt`` and writes the output
to ``stdout`` followed by a newline.
*/
template <typename... T>
FMT_INLINE void println(format_string<T...> fmt, T&&... args) {
return fmt::println(stdout, fmt, std::forward<T>(args)...);
}
2023-04-10 16:43:56 +00:00
FMT_END_EXPORT
FMT_GCC_PRAGMA("GCC pop_options")
2018-05-12 15:33:51 +00:00
FMT_END_NAMESPACE
#ifdef FMT_HEADER_ONLY
2021-04-23 13:52:10 +00:00
# include "format.h"
#endif
#endif // FMT_CORE_H_