1 #ifndef LIBFILEZILLA_FORMAT_HEADER
2 #define LIBFILEZILLA_FORMAT_HEADER
10 #ifdef LFZ_FORMAT_DEBUG
12 #define format_assert(pred) assert((pred))
14 #define format_assert(pred)
41 explicit operator bool()
const {
return type != 0; }
44 template<
typename Arg>
45 bool is_negative([[maybe_unused]] Arg && v)
47 if constexpr (std::is_signed_v<std::decay_t<Arg>>) {
57 template<
typename String,
bool Un
signed,
typename Arg>
58 typename std::enable_if_t<std::is_integral_v<std::decay_t<Arg>> && !std::is_enum_v<std::decay_t<Arg>>, String> integral_to_string(field
const& f, Arg && arg)
60 std::decay_t<Arg> v = arg;
64 format_assert(!Unsigned || !std::is_signed_v<std::decay_t<Arg>> || arg >= 0);
66 if (is_negative(arg)) {
69 else if (f.flags & always_sign) {
72 else if (f.flags & pad_blank) {
77 typename String::value_type buf[
sizeof(v) * 4 + 1];
78 auto *
const end = buf +
sizeof(v) * 4 + 1;
82 int const mod = std::abs(static_cast<int>(v % 10));
88 if (f.flags & with_width) {
89 if (lead && width > 0) {
95 if (f.flags & pad_0) {
99 if (static_cast<size_t>(end - p) < width) {
100 ret.append(width - (end - p),
'0');
105 if (static_cast<size_t>(end - p) < width && !(f.flags & left_align)) {
106 ret.append(width - (end - p),
' ');
112 if (static_cast<size_t>(end - p) < width && f.flags & left_align) {
113 ret.append(width - (end - p),
' ');
123 return String(p, end);
128 template<
typename String,
bool Un
signed,
typename Arg>
129 typename std::enable_if_t<std::is_enum_v<std::decay_t<Arg>>, String> integral_to_string(field
const& f, Arg && arg)
131 return integral_to_string<String, Unsigned>(f,
static_cast<std::underlying_type_t<std::decay_t<Arg>
>>(arg));
135 template<
typename String,
bool Un
signed,
typename Arg>
136 typename std::enable_if_t<!std::is_integral_v<std::decay_t<Arg>> && !std::is_enum_v<std::decay_t<Arg>>, String> integral_to_string(field
const&, Arg &&)
142 template<
typename String,
class Arg,
typename =
void>
143 struct has_toString : std::false_type {};
145 template<
typename String,
class Arg>
146 struct has_toString<String, Arg,
std::void_t<decltype(toString<String>(std::declval<Arg>()))>> : std::true_type {};
154 template <
typename String>
155 static constexpr
bool is_formattable_as = std::disjunction<
156 std::is_enum<std::decay_t<Arg>>,
157 std::is_arithmetic<std::decay_t<Arg>>,
158 std::is_pointer<std::decay_t<Arg>>,
159 std::is_same<String, std::decay_t<Arg>>,
160 has_toString<String, Arg>
166 template<
typename String,
bool Lowercase,
typename Arg>
167 String integral_to_hex_string(Arg && arg) noexcept
169 if constexpr (std::is_enum_v<std::decay_t<Arg>>) {
171 return integral_to_hex_string<String, Lowercase>(
static_cast<std::underlying_type_t<std::decay_t<Arg>
>>(arg));
173 else if constexpr (std::is_signed_v<std::decay_t<Arg>>) {
174 return integral_to_hex_string<String, Lowercase>(
static_cast<std::make_unsigned_t<std::decay_t<Arg>
>>(arg));
176 else if constexpr (std::is_integral_v<std::decay_t<Arg>>) {
177 std::decay_t<Arg> v = arg;
178 typename String::value_type buf[
sizeof(v) * 2];
179 auto*
const end = buf +
sizeof(v) * 2;
183 *(--p) = fz::int_to_hex_char<typename String::value_type, Lowercase>(v & 0xf);
187 return String(p, end);
196 template<
typename String,
typename Arg>
197 String pointer_to_string(Arg&& arg) noexcept
199 if constexpr (std::is_pointer_v<std::decay_t<Arg>>) {
200 return String({
'0',
'x'}) + integral_to_hex_string<String, true>(reinterpret_cast<uintptr_t>(arg));
208 template<
typename String,
typename Arg>
209 String char_to_string(Arg&& arg)
211 if constexpr (std::is_integral_v<std::decay_t<Arg>>) {
212 return String({
static_cast<typename String::value_type
>(
static_cast<unsigned char>(arg))});
221 template<
typename String>
222 void pad_arg(String& s, field
const& f)
224 if (f.flags & with_width && s.size() < f.width) {
225 if (f.flags & left_align) {
226 s += String(f.width - s.size(),
' ');
229 s = String(f.width - s.size(), (f.flags & pad_0) ?
'0' :
' ') + s;
234 template<
typename String,
typename Arg>
235 String format_arg(field
const& f, Arg&& arg)
239 if constexpr (std::is_same_v<String, std::decay_t<Arg>>) {
242 else if constexpr (has_toString<String, Arg>::value) {
245 ret = toString<String>(std::forward<Arg>(arg));
253 else if (f.type ==
'd' || f.type ==
'i') {
254 ret = integral_to_string<String, false>(f, std::forward<Arg>(arg));
256 else if (f.type ==
'u') {
257 ret = integral_to_string<String, true>(f, std::forward<Arg>(arg));
259 else if (f.type ==
'x') {
260 ret = integral_to_hex_string<String, true>(std::forward<Arg>(arg));
263 else if (f.type ==
'X') {
264 ret = integral_to_hex_string<String, false>(std::forward<Arg>(arg));
267 else if (f.type ==
'p') {
268 ret = pointer_to_string<String>(std::forward<Arg>(arg));
271 else if (f.type ==
'c') {
272 ret = char_to_string<String>(std::forward<Arg>(arg));
280 template<
typename String,
typename... Args>
281 String extract_arg(field
const&,
size_t)
287 template<
typename String,
typename Arg,
typename... Args>
288 String extract_arg(field
const& f,
size_t arg_n, Arg&& arg, Args&&...args)
293 ret = format_arg<String>(f, std::forward<Arg>(arg));
296 ret = extract_arg<String>(f, arg_n - 1, std::forward<Args>(args)...);
302 template<
typename InString,
typename OutString>
303 field get_field(InString
const& fmt,
typename InString::size_type & pos,
size_t& arg_n, OutString & ret)
306 if (++pos >= fmt.size()) {
312 if (fmt[pos] ==
'%') {
320 if (fmt[pos] ==
'0') {
323 else if (fmt[pos] ==
' ') {
324 f.flags |= pad_blank;
326 else if (fmt[pos] ==
'-') {
328 f.flags |= left_align;
330 else if (fmt[pos] ==
'+') {
331 f.flags &= ~pad_blank;
332 f.flags |= always_sign;
334 else if (fmt[pos] ==
'\'') {
335 f.flags |= thousands;
340 if (++pos >= fmt.size()) {
347 while (fmt[pos] >=
'0' && fmt[pos] <=
'9') {
348 f.flags |= with_width;
350 f.width += fmt[pos] -
'0';
351 if (++pos >= fmt.size()) {
356 if (f.width > 10000) {
361 if (fmt[pos] ==
'$') {
364 if (++pos >= fmt.size()) {
374 if (c ==
'h' || c ==
'l' || c ==
'L' || c ==
'j' || c ==
'z' || c ==
't') {
375 if (++pos >= fmt.size()) {
385 f.type =
static_cast<char>(fmt[pos++]);
389 template<
typename String,
typename Arg,
int N>
390 constexpr
bool check_argument()
393 argument<N>::template of_type<Arg>::template is_formattable_as<String>,
394 "Argument cannot be formatted by fz::sprintf()"
397 return argument<N>::template of_type<Arg>::template is_formattable_as<String>;
400 template<
typename String,
typename... Args, std::size_t... Is>
401 constexpr
bool check_arguments(std::index_sequence<Is...>)
403 return (check_argument<String, Args, Is>() && ...);
406 template<
typename InString,
typename CharType =
typename InString::value_type,
typename OutString = std::basic_
string<CharType>,
typename... Args>
407 OutString do_sprintf(InString
const& fmt, Args&&... args)
412 typename InString::size_type start = 0, pos;
415 while ((pos = fmt.find(
'%', start)) != InString::npos) {
418 ret += fmt.substr(start, pos - start);
420 field f = detail::get_field(fmt, pos, arg_n, ret);
422 format_assert(arg_n <
sizeof...(args));
423 ret += detail::extract_arg<OutString>(f, arg_n++, std::forward<Args>(args)...);
430 ret += fmt.substr(start);
459 template<
typename... Args>
460 std::string
sprintf(std::string_view
const& fmt, Args&&... args)
462 detail::check_arguments<std::string, Args...>(std::index_sequence_for<Args...>());
464 return detail::do_sprintf(fmt, std::forward<Args>(args)...);
467 template<
typename... Args>
468 std::wstring
sprintf(std::wstring_view
const& fmt, Args&&... args)
470 detail::check_arguments<std::wstring, Args...>(std::index_sequence_for<Args...>());
472 return detail::do_sprintf(fmt, std::forward<Args>(args)...);
Definition: impersonation.hpp:100
std::string sprintf(std::string_view const &fmt, Args &&...args)
A simple type-safe sprintf replacement.
Definition: format.hpp:460
Functions to encode/decode strings.
String types and assorted functions.
The namespace used by libfilezilla.
Definition: apply.hpp:17