79e0dc1151
--
990253454819ce26ff1dda9ab4bbc145b61d01e4 by Xiaoyi Zhang <zhangxy@google.com>:
Import github PR https://github.com/abseil/abseil-cpp/pull/645
PiperOrigin-RevId: 303119797
--
5ac845cb7929b7d1eaf59a309afd811db5001175 by Abseil Team <absl-team@google.com>:
Fix internal exception spec compatibility error
PiperOrigin-RevId: 303104081
--
3290595dd866eecab3c7044e2e3ca0adb74f1bf5 by Gennadiy Rozental <rogeeff@google.com>:
Use FlagValue<T> to represent the value of a flag. Place it directly after
FlagImpl and use a computed offset refer to it.
The offset is computed based on the assumption that the `value_` data member
is placed directly after the impl_ data member in Flag<T>.
This change will allow us to migrate to `T`-specific storage in the generic case.
This change decreases the overhead for int flags by 32 bytes.
PiperOrigin-RevId: 303038099
--
f2b37722cd7a6d3a60ef9713f0d2bbff56f3ddbf by Derek Mauro <dmauro@google.com>:
Minor correctness fix for an ABSL_HAVE_BUILTIN conditional
PiperOrigin-RevId: 302980666
--
39c079a6141ae1c5728af8bf33a39c8aff9deb9f by Abseil Team <absl-team@google.com>:
Use ABSL_HARDENING_ASSERT in b-tree and SwissTable iterators.
PiperOrigin-RevId: 302970075
--
9668a044e080c789df32bcaa1ffb5100831cd9fa by Benjamin Barenblat <bbaren@google.com>:
Correct `add_subdirectory` line in CMake googletest support
Commit bcefbdcdf6
added support for building with CMake against a local googletest checkout, but I missed a line when constructing the diff. Change the `add_subdirectory` line to reference the correct directories.
PiperOrigin-RevId: 302947488
--
0a3c10fabf80a43ca69ab8b1570030e55f2be741 by Andy Soffer <asoffer@google.com>:
Remove unused distribution format traits.
PiperOrigin-RevId: 302896176
--
0478f2f6270e5ed64c0e28ec09556ca90b2d46a9 by Samuel Benzaquen <sbenza@google.com>:
Fix for CWG:2310.
PiperOrigin-RevId: 302734089
--
3cb978dda5cae5905affdc0914dcc2d27671ed11 by Samuel Benzaquen <sbenza@google.com>:
Fix the Allocate/Deallocate functions to use the same underlying allocator type.
PiperOrigin-RevId: 302721804
--
ae38d3984fb68b4e3ddc165fa8d5c24d5936be52 by Matthew Brown <matthewbr@google.com>:
Internal Change
PiperOrigin-RevId: 302717314
--
7357cf7abd03cc60b6e82b5f28a8e34935c3b4dc by Andy Getzendanner <durandal@google.com>:
Fix typo: s/ABSL_HARDENED_ASSERT/ABSL_HARDENING_ASSERT/
PiperOrigin-RevId: 302532164
GitOrigin-RevId: 990253454819ce26ff1dda9ab4bbc145b61d01e4
Change-Id: Ie595a221c16e1e7e1255ad42e029b646c5f3e11d
436 lines
16 KiB
C++
436 lines
16 KiB
C++
#ifndef ABSL_STRINGS_INTERNAL_STR_FORMAT_ARG_H_
|
|
#define ABSL_STRINGS_INTERNAL_STR_FORMAT_ARG_H_
|
|
|
|
#include <string.h>
|
|
#include <wchar.h>
|
|
|
|
#include <cstdio>
|
|
#include <iomanip>
|
|
#include <limits>
|
|
#include <memory>
|
|
#include <sstream>
|
|
#include <string>
|
|
#include <type_traits>
|
|
|
|
#include "absl/base/port.h"
|
|
#include "absl/meta/type_traits.h"
|
|
#include "absl/numeric/int128.h"
|
|
#include "absl/strings/internal/str_format/extension.h"
|
|
#include "absl/strings/string_view.h"
|
|
|
|
namespace absl {
|
|
ABSL_NAMESPACE_BEGIN
|
|
|
|
class Cord;
|
|
class FormatCountCapture;
|
|
class FormatSink;
|
|
|
|
namespace str_format_internal {
|
|
|
|
template <typename T, typename = void>
|
|
struct HasUserDefinedConvert : std::false_type {};
|
|
|
|
template <typename T>
|
|
struct HasUserDefinedConvert<
|
|
T, void_t<decltype(AbslFormatConvert(
|
|
std::declval<const T&>(), std::declval<ConversionSpec>(),
|
|
std::declval<FormatSink*>()))>> : std::true_type {};
|
|
|
|
template <typename T>
|
|
class StreamedWrapper;
|
|
|
|
// If 'v' can be converted (in the printf sense) according to 'conv',
|
|
// then convert it, appending to `sink` and return `true`.
|
|
// Otherwise fail and return `false`.
|
|
|
|
// Raw pointers.
|
|
struct VoidPtr {
|
|
VoidPtr() = default;
|
|
template <typename T,
|
|
decltype(reinterpret_cast<uintptr_t>(std::declval<T*>())) = 0>
|
|
VoidPtr(T* ptr) // NOLINT
|
|
: value(ptr ? reinterpret_cast<uintptr_t>(ptr) : 0) {}
|
|
uintptr_t value;
|
|
};
|
|
ConvertResult<Conv::p> FormatConvertImpl(VoidPtr v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
|
|
// Strings.
|
|
ConvertResult<Conv::s> FormatConvertImpl(const std::string& v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
ConvertResult<Conv::s> FormatConvertImpl(string_view v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
ConvertResult<Conv::s | Conv::p> FormatConvertImpl(const char* v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
template <class AbslCord,
|
|
typename std::enable_if<
|
|
std::is_same<AbslCord, absl::Cord>::value>::type* = nullptr>
|
|
ConvertResult<Conv::s> FormatConvertImpl(const AbslCord& value,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink) {
|
|
if (conv.conversion_char() != ConversionChar::s) {
|
|
return {false};
|
|
}
|
|
|
|
bool is_left = conv.has_left_flag();
|
|
size_t space_remaining = 0;
|
|
|
|
int width = conv.width();
|
|
if (width >= 0) space_remaining = width;
|
|
|
|
size_t to_write = value.size();
|
|
|
|
int precision = conv.precision();
|
|
if (precision >= 0)
|
|
to_write = (std::min)(to_write, static_cast<size_t>(precision));
|
|
|
|
space_remaining = Excess(to_write, space_remaining);
|
|
|
|
if (space_remaining > 0 && !is_left) sink->Append(space_remaining, ' ');
|
|
|
|
for (string_view piece : value.Chunks()) {
|
|
if (piece.size() > to_write) {
|
|
piece.remove_suffix(piece.size() - to_write);
|
|
to_write = 0;
|
|
} else {
|
|
to_write -= piece.size();
|
|
}
|
|
sink->Append(piece);
|
|
if (to_write == 0) {
|
|
break;
|
|
}
|
|
}
|
|
|
|
if (space_remaining > 0 && is_left) sink->Append(space_remaining, ' ');
|
|
return {true};
|
|
}
|
|
|
|
using IntegralConvertResult =
|
|
ConvertResult<Conv::c | Conv::kNumeric | Conv::kStar>;
|
|
using FloatingConvertResult = ConvertResult<Conv::kFloating>;
|
|
|
|
// Floats.
|
|
FloatingConvertResult FormatConvertImpl(float v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
FloatingConvertResult FormatConvertImpl(double v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
FloatingConvertResult FormatConvertImpl(long double v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
|
|
// Chars.
|
|
IntegralConvertResult FormatConvertImpl(char v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(signed char v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(unsigned char v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
|
|
// Ints.
|
|
IntegralConvertResult FormatConvertImpl(short v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(unsigned short v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(int v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(unsigned v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(long v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(unsigned long v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(long long v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(unsigned long long v, // NOLINT
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(int128 v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
IntegralConvertResult FormatConvertImpl(uint128 v, ConversionSpec conv,
|
|
FormatSinkImpl* sink);
|
|
template <typename T, enable_if_t<std::is_same<T, bool>::value, int> = 0>
|
|
IntegralConvertResult FormatConvertImpl(T v, ConversionSpec conv,
|
|
FormatSinkImpl* sink) {
|
|
return FormatConvertImpl(static_cast<int>(v), conv, sink);
|
|
}
|
|
|
|
// We provide this function to help the checker, but it is never defined.
|
|
// FormatArgImpl will use the underlying Convert functions instead.
|
|
template <typename T>
|
|
typename std::enable_if<std::is_enum<T>::value &&
|
|
!HasUserDefinedConvert<T>::value,
|
|
IntegralConvertResult>::type
|
|
FormatConvertImpl(T v, ConversionSpec conv, FormatSinkImpl* sink);
|
|
|
|
template <typename T>
|
|
ConvertResult<Conv::s> FormatConvertImpl(const StreamedWrapper<T>& v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* out) {
|
|
std::ostringstream oss;
|
|
oss << v.v_;
|
|
if (!oss) return {false};
|
|
return str_format_internal::FormatConvertImpl(oss.str(), conv, out);
|
|
}
|
|
|
|
// Use templates and dependent types to delay evaluation of the function
|
|
// until after FormatCountCapture is fully defined.
|
|
struct FormatCountCaptureHelper {
|
|
template <class T = int>
|
|
static ConvertResult<Conv::n> ConvertHelper(const FormatCountCapture& v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink) {
|
|
const absl::enable_if_t<sizeof(T) != 0, FormatCountCapture>& v2 = v;
|
|
|
|
if (conv.conversion_char() != str_format_internal::ConversionChar::n) {
|
|
return {false};
|
|
}
|
|
*v2.p_ = static_cast<int>(sink->size());
|
|
return {true};
|
|
}
|
|
};
|
|
|
|
template <class T = int>
|
|
ConvertResult<Conv::n> FormatConvertImpl(const FormatCountCapture& v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* sink) {
|
|
return FormatCountCaptureHelper::ConvertHelper(v, conv, sink);
|
|
}
|
|
|
|
// Helper friend struct to hide implementation details from the public API of
|
|
// FormatArgImpl.
|
|
struct FormatArgImplFriend {
|
|
template <typename Arg>
|
|
static bool ToInt(Arg arg, int* out) {
|
|
// A value initialized ConversionSpec has a `none` conv, which tells the
|
|
// dispatcher to run the `int` conversion.
|
|
return arg.dispatcher_(arg.data_, {}, out);
|
|
}
|
|
|
|
template <typename Arg>
|
|
static bool Convert(Arg arg, str_format_internal::ConversionSpec conv,
|
|
FormatSinkImpl* out) {
|
|
return arg.dispatcher_(arg.data_, conv, out);
|
|
}
|
|
|
|
template <typename Arg>
|
|
static typename Arg::Dispatcher GetVTablePtrForTest(Arg arg) {
|
|
return arg.dispatcher_;
|
|
}
|
|
};
|
|
|
|
// A type-erased handle to a format argument.
|
|
class FormatArgImpl {
|
|
private:
|
|
enum { kInlinedSpace = 8 };
|
|
|
|
using VoidPtr = str_format_internal::VoidPtr;
|
|
|
|
union Data {
|
|
const void* ptr;
|
|
const volatile void* volatile_ptr;
|
|
char buf[kInlinedSpace];
|
|
};
|
|
|
|
using Dispatcher = bool (*)(Data, ConversionSpec, void* out);
|
|
|
|
template <typename T>
|
|
struct store_by_value
|
|
: std::integral_constant<bool, (sizeof(T) <= kInlinedSpace) &&
|
|
(std::is_integral<T>::value ||
|
|
std::is_floating_point<T>::value ||
|
|
std::is_pointer<T>::value ||
|
|
std::is_same<VoidPtr, T>::value)> {};
|
|
|
|
enum StoragePolicy { ByPointer, ByVolatilePointer, ByValue };
|
|
template <typename T>
|
|
struct storage_policy
|
|
: std::integral_constant<StoragePolicy,
|
|
(std::is_volatile<T>::value
|
|
? ByVolatilePointer
|
|
: (store_by_value<T>::value ? ByValue
|
|
: ByPointer))> {
|
|
};
|
|
|
|
// To reduce the number of vtables we will decay values before hand.
|
|
// Anything with a user-defined Convert will get its own vtable.
|
|
// For everything else:
|
|
// - Decay char* and char arrays into `const char*`
|
|
// - Decay any other pointer to `const void*`
|
|
// - Decay all enums to their underlying type.
|
|
// - Decay function pointers to void*.
|
|
template <typename T, typename = void>
|
|
struct DecayType {
|
|
static constexpr bool kHasUserDefined =
|
|
str_format_internal::HasUserDefinedConvert<T>::value;
|
|
using type = typename std::conditional<
|
|
!kHasUserDefined && std::is_convertible<T, const char*>::value,
|
|
const char*,
|
|
typename std::conditional<!kHasUserDefined &&
|
|
std::is_convertible<T, VoidPtr>::value,
|
|
VoidPtr, const T&>::type>::type;
|
|
};
|
|
template <typename T>
|
|
struct DecayType<T,
|
|
typename std::enable_if<
|
|
!str_format_internal::HasUserDefinedConvert<T>::value &&
|
|
std::is_enum<T>::value>::type> {
|
|
using type = typename std::underlying_type<T>::type;
|
|
};
|
|
|
|
public:
|
|
template <typename T>
|
|
explicit FormatArgImpl(const T& value) {
|
|
using D = typename DecayType<T>::type;
|
|
static_assert(
|
|
std::is_same<D, const T&>::value || storage_policy<D>::value == ByValue,
|
|
"Decayed types must be stored by value");
|
|
Init(static_cast<D>(value));
|
|
}
|
|
|
|
private:
|
|
friend struct str_format_internal::FormatArgImplFriend;
|
|
template <typename T, StoragePolicy = storage_policy<T>::value>
|
|
struct Manager;
|
|
|
|
template <typename T>
|
|
struct Manager<T, ByPointer> {
|
|
static Data SetValue(const T& value) {
|
|
Data data;
|
|
data.ptr = std::addressof(value);
|
|
return data;
|
|
}
|
|
|
|
static const T& Value(Data arg) { return *static_cast<const T*>(arg.ptr); }
|
|
};
|
|
|
|
template <typename T>
|
|
struct Manager<T, ByVolatilePointer> {
|
|
static Data SetValue(const T& value) {
|
|
Data data;
|
|
data.volatile_ptr = &value;
|
|
return data;
|
|
}
|
|
|
|
static const T& Value(Data arg) {
|
|
return *static_cast<const T*>(arg.volatile_ptr);
|
|
}
|
|
};
|
|
|
|
template <typename T>
|
|
struct Manager<T, ByValue> {
|
|
static Data SetValue(const T& value) {
|
|
Data data;
|
|
memcpy(data.buf, &value, sizeof(value));
|
|
return data;
|
|
}
|
|
|
|
static T Value(Data arg) {
|
|
T value;
|
|
memcpy(&value, arg.buf, sizeof(T));
|
|
return value;
|
|
}
|
|
};
|
|
|
|
template <typename T>
|
|
void Init(const T& value) {
|
|
data_ = Manager<T>::SetValue(value);
|
|
dispatcher_ = &Dispatch<T>;
|
|
}
|
|
|
|
template <typename T>
|
|
static int ToIntVal(const T& val) {
|
|
using CommonType = typename std::conditional<std::is_signed<T>::value,
|
|
int64_t, uint64_t>::type;
|
|
if (static_cast<CommonType>(val) >
|
|
static_cast<CommonType>((std::numeric_limits<int>::max)())) {
|
|
return (std::numeric_limits<int>::max)();
|
|
} else if (std::is_signed<T>::value &&
|
|
static_cast<CommonType>(val) <
|
|
static_cast<CommonType>((std::numeric_limits<int>::min)())) {
|
|
return (std::numeric_limits<int>::min)();
|
|
}
|
|
return static_cast<int>(val);
|
|
}
|
|
|
|
template <typename T>
|
|
static bool ToInt(Data arg, int* out, std::true_type /* is_integral */,
|
|
std::false_type) {
|
|
*out = ToIntVal(Manager<T>::Value(arg));
|
|
return true;
|
|
}
|
|
|
|
template <typename T>
|
|
static bool ToInt(Data arg, int* out, std::false_type,
|
|
std::true_type /* is_enum */) {
|
|
*out = ToIntVal(static_cast<typename std::underlying_type<T>::type>(
|
|
Manager<T>::Value(arg)));
|
|
return true;
|
|
}
|
|
|
|
template <typename T>
|
|
static bool ToInt(Data, int*, std::false_type, std::false_type) {
|
|
return false;
|
|
}
|
|
|
|
template <typename T>
|
|
static bool Dispatch(Data arg, ConversionSpec spec, void* out) {
|
|
// A `none` conv indicates that we want the `int` conversion.
|
|
if (ABSL_PREDICT_FALSE(spec.conversion_char() == ConversionChar::kNone)) {
|
|
return ToInt<T>(arg, static_cast<int*>(out), std::is_integral<T>(),
|
|
std::is_enum<T>());
|
|
}
|
|
|
|
return str_format_internal::FormatConvertImpl(
|
|
Manager<T>::Value(arg), spec, static_cast<FormatSinkImpl*>(out))
|
|
.value;
|
|
}
|
|
|
|
Data data_;
|
|
Dispatcher dispatcher_;
|
|
};
|
|
|
|
#define ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(T, E) \
|
|
E template bool FormatArgImpl::Dispatch<T>(Data, ConversionSpec, void*)
|
|
|
|
#define ABSL_INTERNAL_FORMAT_DISPATCH_OVERLOADS_EXPAND_(...) \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(str_format_internal::VoidPtr, \
|
|
__VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(bool, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(char, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(signed char, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(unsigned char, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(short, __VA_ARGS__); /* NOLINT */ \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(unsigned short, /* NOLINT */ \
|
|
__VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(int, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(unsigned int, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(long, __VA_ARGS__); /* NOLINT */ \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(unsigned long, /* NOLINT */ \
|
|
__VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(long long, /* NOLINT */ \
|
|
__VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(unsigned long long, /* NOLINT */ \
|
|
__VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(int128, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(uint128, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(float, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(double, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(long double, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(const char*, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(std::string, __VA_ARGS__); \
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_INSTANTIATE_(string_view, __VA_ARGS__)
|
|
|
|
ABSL_INTERNAL_FORMAT_DISPATCH_OVERLOADS_EXPAND_(extern);
|
|
|
|
|
|
} // namespace str_format_internal
|
|
ABSL_NAMESPACE_END
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_STRINGS_INTERNAL_STR_FORMAT_ARG_H_
|