e6b050212c
-- c2e2e2b21c3fe59b63279e7418c93c7289ee3e27 by Mark Barolak <mbar@google.com>: Import of CCTZ from GitHub. PiperOrigin-RevId: 256220326 -- 3996b01f0c3eb60f72825b154dce8019b6215f1d by Derek Mauro <dmauro@google.com>: Add GCC 4.9 test script. This will become our new minumum version and GCC 4.8 will be removed soon. PiperOrigin-RevId: 256160891 -- 2c13aa44bc8e497ebae9abe8b8adf73c2152622d by Abseil Team <absl-team@google.com>: [Trivial] tweak flat_hash_map.h doc comment The comment is probably right both ways, but the lack of an "if" here seemed jarring to me. PiperOrigin-RevId: 256089069 -- 16bc03b9b30fbf08d7dc61025fa8ec4b57077be8 by Abseil Team <absl-team@google.com>: Fix symbolization for elf files whose SYMTAB section is stripped, but have a DYNSYM section. Previously, if we did not find a SYMTAB section, we would bail out of symbolization early, rather than checking the DYNSYM section. PiperOrigin-RevId: 256061954 -- 4c60ee329b1eeb0b0d10c4f76f282e5fbae2c5b2 by Derek Mauro <dmauro@google.com>: Update to LLVM r363242 and Bazel 0.27.0 PiperOrigin-RevId: 256024405 -- 18e1ba970d33f122026803d8ca90035b9088949d by Eric Fiselier <ericwf@google.com>: Disable variant tests that break with P0608R3 PiperOrigin-RevId: 255975764 -- 0a89858464977e86096b62476faa3b64eb94aa1d by Abseil Team <absl-team@google.com>: Internal change PiperOrigin-RevId: 255891019 -- 9b7424cac66f5407f0ed74ed288bf3099a4fa330 by CJ Johnson <johnsoncj@google.com>: Updates the implementation of InlinedVector::insert(...) to be exception safe and adds an exception safety tests for insert(...) PiperOrigin-RevId: 255881809 -- 1288f4ba3883c510d92b09437fb8b051c19aa241 by CJ Johnson <johnsoncj@google.com>: Updates the implementation of InlinedVector::insert(...) to be exception safe and adds an exception safety tests for insert(...) PiperOrigin-RevId: 255875277 -- 39c04f3621491eaff9e2eda619718d5b5f20fbd9 by Abseil Team <absl-team@google.com>: Use a typedef to allow building with NVCC Without this change NVCC fails to compile compressed_tuple.h. NVCC is relevant because TensorFlow uses NVCC on Ubuntu and inclues abseil. PiperOrigin-RevId: 255850176 -- e23f0309ccad69eb508ca02c9034cd4cdd740da0 by Abseil Team <absl-team@google.com>: Internal change PiperOrigin-RevId: 255787167 -- 054aafcebf595077054164f1da3703124ab209b4 by Abseil Team <absl-team@google.com>: Updates the ScopedAllocatorWorks test for InlinedVector to not rely on the byte count allocated by the standard library In doing so, removes LegacyNextCapacityFrom(...) impl function from InlinedVector Also applies clang-format to the test file PiperOrigin-RevId: 255760356 -- eb05fc9f78e3a163c93f1866e9fe9a8ad0d01622 by Abseil Team <absl-team@google.com>: Internal change PiperOrigin-RevId: 255706834 -- 97abb824417604c45d9fcbb3e4ff1aa3000836f2 by Jorg Brown <jorg@google.com>: Enhance compatibility of abseil's strings package with nvcc. PiperOrigin-RevId: 255688500 -- efc5b9c221ee31e15d10b35d31c8f3ae6eddaa8c by Abseil Team <absl-team@google.com>: Follow CCTZ's lead and allow GetWeekday() and GetYearDay() to be called with any civil-time type. A CivilSecond, for example, has a weekday just as much as a CivilDay does. PiperOrigin-RevId: 255659840 -- a75acbe954457919d8c6c8f4c2339b543760b375 by Derek Mauro <dmauro@google.com>: Increase the timeout of randen_engine_test. It seems to timeout under TSAN often enough to justify the increase. PiperOrigin-RevId: 255628086 -- 160976ba47c7c6eb57af08e21f8eb640aa51e91b by Derek Mauro <dmauro@google.com>: Update CMake documentation Fixes https://github.com/abseil/abseil-cpp/issues/332 PiperOrigin-RevId: 255607313 GitOrigin-RevId: c2e2e2b21c3fe59b63279e7418c93c7289ee3e27 Change-Id: Iba4ac7ed23cbcdb22965b4958601f689be92cda4
211 lines
6.8 KiB
C++
211 lines
6.8 KiB
C++
#ifndef ABSL_STRINGS_INTERNAL_STR_FORMAT_BIND_H_
|
|
#define ABSL_STRINGS_INTERNAL_STR_FORMAT_BIND_H_
|
|
|
|
#include <array>
|
|
#include <cstdio>
|
|
#include <sstream>
|
|
#include <string>
|
|
|
|
#include "absl/base/port.h"
|
|
#include "absl/strings/internal/str_format/arg.h"
|
|
#include "absl/strings/internal/str_format/checker.h"
|
|
#include "absl/strings/internal/str_format/parser.h"
|
|
#include "absl/types/span.h"
|
|
|
|
namespace absl {
|
|
|
|
class UntypedFormatSpec;
|
|
|
|
namespace str_format_internal {
|
|
|
|
class BoundConversion : public ConversionSpec {
|
|
public:
|
|
const FormatArgImpl* arg() const { return arg_; }
|
|
void set_arg(const FormatArgImpl* a) { arg_ = a; }
|
|
|
|
private:
|
|
const FormatArgImpl* arg_;
|
|
};
|
|
|
|
// This is the type-erased class that the implementation uses.
|
|
class UntypedFormatSpecImpl {
|
|
public:
|
|
UntypedFormatSpecImpl() = delete;
|
|
|
|
explicit UntypedFormatSpecImpl(string_view s)
|
|
: data_(s.data()), size_(s.size()) {}
|
|
explicit UntypedFormatSpecImpl(
|
|
const str_format_internal::ParsedFormatBase* pc)
|
|
: data_(pc), size_(~size_t{}) {}
|
|
|
|
bool has_parsed_conversion() const { return size_ == ~size_t{}; }
|
|
|
|
string_view str() const {
|
|
assert(!has_parsed_conversion());
|
|
return string_view(static_cast<const char*>(data_), size_);
|
|
}
|
|
const str_format_internal::ParsedFormatBase* parsed_conversion() const {
|
|
assert(has_parsed_conversion());
|
|
return static_cast<const str_format_internal::ParsedFormatBase*>(data_);
|
|
}
|
|
|
|
template <typename T>
|
|
static const UntypedFormatSpecImpl& Extract(const T& s) {
|
|
return s.spec_;
|
|
}
|
|
|
|
private:
|
|
const void* data_;
|
|
size_t size_;
|
|
};
|
|
|
|
template <typename T, typename...>
|
|
struct MakeDependent {
|
|
using type = T;
|
|
};
|
|
|
|
// Implicitly convertible from `const char*`, `string_view`, and the
|
|
// `ExtendedParsedFormat` type. This abstraction allows all format functions to
|
|
// operate on any without providing too many overloads.
|
|
template <typename... Args>
|
|
class FormatSpecTemplate
|
|
: public MakeDependent<UntypedFormatSpec, Args...>::type {
|
|
using Base = typename MakeDependent<UntypedFormatSpec, Args...>::type;
|
|
|
|
public:
|
|
#if ABSL_INTERNAL_ENABLE_FORMAT_CHECKER
|
|
|
|
// Honeypot overload for when the std::string is not constexpr.
|
|
// We use the 'unavailable' attribute to give a better compiler error than
|
|
// just 'method is deleted'.
|
|
FormatSpecTemplate(...) // NOLINT
|
|
__attribute__((unavailable("Format std::string is not constexpr.")));
|
|
|
|
// Honeypot overload for when the format is constexpr and invalid.
|
|
// We use the 'unavailable' attribute to give a better compiler error than
|
|
// just 'method is deleted'.
|
|
// To avoid checking the format twice, we just check that the format is
|
|
// constexpr. If is it valid, then the overload below will kick in.
|
|
// We add the template here to make this overload have lower priority.
|
|
template <typename = void>
|
|
FormatSpecTemplate(const char* s) // NOLINT
|
|
__attribute__((
|
|
enable_if(str_format_internal::EnsureConstexpr(s), "constexpr trap"),
|
|
unavailable(
|
|
"Format specified does not match the arguments passed.")));
|
|
|
|
template <typename T = void>
|
|
FormatSpecTemplate(string_view s) // NOLINT
|
|
__attribute__((enable_if(str_format_internal::EnsureConstexpr(s),
|
|
"constexpr trap"))) {
|
|
static_assert(sizeof(T*) == 0,
|
|
"Format specified does not match the arguments passed.");
|
|
}
|
|
|
|
// Good format overload.
|
|
FormatSpecTemplate(const char* s) // NOLINT
|
|
__attribute__((enable_if(ValidFormatImpl<ArgumentToConv<Args>()...>(s),
|
|
"bad format trap")))
|
|
: Base(s) {}
|
|
|
|
FormatSpecTemplate(string_view s) // NOLINT
|
|
__attribute__((enable_if(ValidFormatImpl<ArgumentToConv<Args>()...>(s),
|
|
"bad format trap")))
|
|
: Base(s) {}
|
|
|
|
#else // ABSL_INTERNAL_ENABLE_FORMAT_CHECKER
|
|
|
|
FormatSpecTemplate(const char* s) : Base(s) {} // NOLINT
|
|
FormatSpecTemplate(string_view s) : Base(s) {} // NOLINT
|
|
|
|
#endif // ABSL_INTERNAL_ENABLE_FORMAT_CHECKER
|
|
|
|
template <Conv... C, typename = typename std::enable_if<
|
|
sizeof...(C) == sizeof...(Args) &&
|
|
AllOf(Contains(ArgumentToConv<Args>(),
|
|
C)...)>::type>
|
|
FormatSpecTemplate(const ExtendedParsedFormat<C...>& pc) // NOLINT
|
|
: Base(&pc) {}
|
|
};
|
|
|
|
template <typename... Args>
|
|
struct FormatSpecDeductionBarrier {
|
|
using type = FormatSpecTemplate<Args...>;
|
|
};
|
|
|
|
class Streamable {
|
|
public:
|
|
Streamable(const UntypedFormatSpecImpl& format,
|
|
absl::Span<const FormatArgImpl> args)
|
|
: format_(format) {
|
|
if (args.size() <= ABSL_ARRAYSIZE(few_args_)) {
|
|
for (size_t i = 0; i < args.size(); ++i) {
|
|
few_args_[i] = args[i];
|
|
}
|
|
args_ = absl::MakeSpan(few_args_, args.size());
|
|
} else {
|
|
many_args_.assign(args.begin(), args.end());
|
|
args_ = many_args_;
|
|
}
|
|
}
|
|
|
|
std::ostream& Print(std::ostream& os) const;
|
|
|
|
friend std::ostream& operator<<(std::ostream& os, const Streamable& l) {
|
|
return l.Print(os);
|
|
}
|
|
|
|
private:
|
|
const UntypedFormatSpecImpl& format_;
|
|
absl::Span<const FormatArgImpl> args_;
|
|
// if args_.size() is 4 or less:
|
|
FormatArgImpl few_args_[4] = {FormatArgImpl(0), FormatArgImpl(0),
|
|
FormatArgImpl(0), FormatArgImpl(0)};
|
|
// if args_.size() is more than 4:
|
|
std::vector<FormatArgImpl> many_args_;
|
|
};
|
|
|
|
// for testing
|
|
std::string Summarize(UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args);
|
|
bool BindWithPack(const UnboundConversion* props,
|
|
absl::Span<const FormatArgImpl> pack, BoundConversion* bound);
|
|
|
|
bool FormatUntyped(FormatRawSinkImpl raw_sink,
|
|
UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args);
|
|
|
|
std::string& AppendPack(std::string* out, UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args);
|
|
|
|
inline std::string FormatPack(const UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args) {
|
|
std::string out;
|
|
AppendPack(&out, format, args);
|
|
return out;
|
|
}
|
|
|
|
int FprintF(std::FILE* output, UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args);
|
|
int SnprintF(char* output, size_t size, UntypedFormatSpecImpl format,
|
|
absl::Span<const FormatArgImpl> args);
|
|
|
|
// Returned by Streamed(v). Converts via '%s' to the std::string created
|
|
// by std::ostream << v.
|
|
template <typename T>
|
|
class StreamedWrapper {
|
|
public:
|
|
explicit StreamedWrapper(const T& v) : v_(v) { }
|
|
|
|
private:
|
|
template <typename S>
|
|
friend ConvertResult<Conv::s> FormatConvertImpl(const StreamedWrapper<S>& v,
|
|
ConversionSpec conv,
|
|
FormatSinkImpl* out);
|
|
const T& v_;
|
|
};
|
|
|
|
} // namespace str_format_internal
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_STRINGS_INTERNAL_STR_FORMAT_BIND_H_
|