/* * Copyright (c) Meta Platforms, Inc. and affiliates. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ // // Docs: https://fburl.com/fbcref_string // /** * Convenience functions for working with strings. * * @file String.h */ #pragma once #define FOLLY_STRING_H_ #include <cstdarg> #include <exception> #include <string> #include <unordered_map> #include <unordered_set> #include <vector> #include <folly/Conv.h> #include <folly/ExceptionString.h> #include <folly/Optional.h> #include <folly/Portability.h> #include <folly/Range.h> #include <folly/ScopeGuard.h> #include <folly/Traits.h> #include <folly/Unit.h> #include <folly/detail/SimpleSimdStringUtils.h> #include <folly/detail/SplitStringSimd.h> namespace folly { /** * @overloadbrief C-escape a string. * * Make the string suitable for representation as a C string * literal. Appends the result to the output string. * * Backslashes all occurrences of backslash, double-quote, and question mark: * " -> \" * \ -> \\ * ? -> \? * * (Question marks are escaped in order to prevent creating trigraphs in * the output -- "??x" where x is one of "=/'()!<>-") * * Also backslashes certain whitespace characters: \n, \r, \t * * Replaces all non-printable ASCII characters with backslash-octal * representation: * <ASCII 254> -> \376 * * Note that we use backslash-octal instead of backslash-hex because the octal * representation is guaranteed to consume no more than 3 characters; "\3760" * represents two characters, one with value 254, and one with value 48 ('0'), * whereas "\xfe0" represents only one character (with value 4064, which leads * to implementation-defined behavior). */ template <class String> void cEscape(StringPiece str, String& out); /** * Similar to cEscape above, but returns the escaped string. */ template <class String> String cEscape(StringPiece str) { … } /** * @overloadbrief C-Unescape a string. * * The opposite of cEscape above. Appends the result * to the output string. * * Recognizes the standard C escape sequences: * * \code * \' \" \? \\ \a \b \f \n \r \t \v * \[0-7]+ * \x[0-9a-fA-F]+ * \endcode * * In strict mode (default), throws std::invalid_argument if it encounters * an unrecognized escape sequence. In non-strict mode, it leaves * the escape sequence unchanged. */ template <class String> void cUnescape(StringPiece str, String& out, bool strict = true); /** * Similar to cUnescape above, but returns the escaped string. */ template <class String> String cUnescape(StringPiece str, bool strict = true) { … } /** * @overloadbrief URI-escape a string. * * Appends the result to the output string. * * Alphanumeric characters and other characters marked as "unreserved" in RFC * 3986 ( -_.~ ) are left unchanged. In PATH mode, the forward slash (/) is * also left unchanged. In QUERY mode, spaces are replaced by '+'. All other * characters are percent-encoded. */ enum class UriEscapeMode : unsigned char { … }; template <class String> void uriEscape( StringPiece str, String& out, UriEscapeMode mode = UriEscapeMode::ALL); /** * Similar to uriEscape above, but returns the escaped string. */ template <class String> String uriEscape(StringPiece str, UriEscapeMode mode = UriEscapeMode::ALL) { … } /** * @overloadbrief URI-unescape a string. * * Appends the result to the output string. * * In QUERY mode, '+' are replaced by space. %XX sequences are decoded if * XX is a valid hex sequence, otherwise we return an unexpected * std::invalid_argument. */ template <class String> bool tryUriUnescape( StringPiece str, String& out, UriEscapeMode mode = UriEscapeMode::ALL); /** * Similar to tryUriUnescape above, but returning the unescaped string as a * folly::Expected. */ template <class String> folly::Optional<String> tryUriUnescape( StringPiece str, UriEscapeMode mode = UriEscapeMode::ALL) { … } /** * Similar to tryUriUnescape above, but without folly::Expected wrapping, and * throwing std::invalid_argument on malformed input. */ template <class String> void uriUnescape( StringPiece str, String& out, UriEscapeMode mode = UriEscapeMode::ALL); /** * Similar to uriUnescape above, but returns the unescaped string. */ template <class String> String uriUnescape(StringPiece str, UriEscapeMode mode = UriEscapeMode::ALL) { … } /** * @overloadbrief printf into a string. * * stringPrintf is much like printf but deposits its result into a * string. Two signatures are supported: the first simply returns the * resulting string, and the second appends the produced characters to * the specified string and returns a reference to it. */ std::string stringPrintf(FOLLY_PRINTF_FORMAT const char* format, ...) FOLLY_PRINTF_FORMAT_ATTR(1, 2); /* Similar to stringPrintf, with different signature. */ void stringPrintf(std::string* out, FOLLY_PRINTF_FORMAT const char* format, ...) FOLLY_PRINTF_FORMAT_ATTR(2, 3); /** * Append printf-style output to string. */ std::string& stringAppendf( std::string* output, FOLLY_PRINTF_FORMAT const char* format, ...) FOLLY_PRINTF_FORMAT_ATTR(2, 3); /** * @overloadbrief stringPrintf with va_list argument * * As with vsnprintf() itself, the value of ap is undefined after the call. * These functions do not call va_end() on ap. */ std::string stringVPrintf(const char* format, va_list ap); void stringVPrintf(std::string* out, const char* format, va_list ap); /** * Append va_list printf-style output to string. */ std::string& stringVAppendf(std::string* out, const char* format, va_list ap); /** * Backslashify a string. * * That is, replace non-printable characters * with C-style (but NOT C compliant) "\xHH" encoding. If hex_style * is false, then shorthand notations like "\0" will be used instead * of "\x00" for the most common backslash cases. * * There are two forms, one returning the input string, and one * creating output in the specified output string. * * This is mainly intended for printing to a terminal, so it is not * particularly optimized. * * Do *not* use this in situations where you expect to be able to feed * the string to a C or C++ compiler, as there are nuances with how C * parses such strings that lead to failures. This is for display * purposed only. If you want a string you can embed for use in C or * C++, use cEscape instead. This function is for display purposes * only. */ template <class OutputString> void backslashify( folly::StringPiece input, OutputString& output, bool hex_style = false); template <class OutputString = std::string> OutputString backslashify(StringPiece input, bool hex_style = false) { … } /** * Take a string and "humanify" it -- that is, make it look better. * * Since "better" is subjective, caveat emptor. The basic approach is * to count the number of unprintable characters. If there are none, * then the output is the input. If there are relatively few, or if * there is a long "enough" prefix of printable characters, use * backslashify. If it is mostly binary, then simply hex encode. * * This is an attempt to make a computer smart, and so likely is wrong * most of the time. */ template <class String1, class String2> void humanify(const String1& input, String2& output); template <class String> String humanify(const String& input) { … } /** * Convert input to hexadecimal representation. * * Same functionality as Python's binascii.hexlify. Returns true * on successful conversion. * * If append_output is true, append data to the output rather than * replace it. */ template <class InputString, class OutputString> bool hexlify( const InputString& input, OutputString& output, bool append = false); template <class OutputString = std::string> OutputString hexlify(ByteRange input) { … } template <class OutputString = std::string> OutputString hexlify(StringPiece input) { … } /** * Get binary data from hexadecimal representation. * * Same functionality as Python's binascii.unhexlify. Returns true * on successful conversion. */ template <class InputString, class OutputString> bool unhexlify(const InputString& input, OutputString& output); template <class OutputString = std::string> OutputString unhexlify(StringPiece input) { … } enum PrettyType { … }; /** * Pretty printer for numbers with units. * * A pretty-printer for numbers that appends suffixes of units of the * given type. It prints 4 sig-figs of value with the most * appropriate unit. * * If `addSpace' is true, we put a space between the units suffix and * the value. * * Current types are: * PRETTY_TIME - s, ms, us, ns, etc. * PRETTY_TIME_HMS - h, m, s, ms, us, ns, etc. * PRETTY_BYTES_METRIC - kB, MB, GB, etc (goes up by 10^3 = 1000 each time) * PRETTY_BYTES - kB, MB, GB, etc (goes up by 2^10 = 1024 each time) * PRETTY_BYTES_IEC - KiB, MiB, GiB, etc * PRETTY_UNITS_METRIC - k, M, G, etc (goes up by 10^3 = 1000 each time) * PRETTY_UNITS_BINARY - k, M, G, etc (goes up by 2^10 = 1024 each time) * PRETTY_UNITS_BINARY_IEC - Ki, Mi, Gi, etc * PRETTY_SI - full SI metric prefixes from yocto to Yotta * http://en.wikipedia.org/wiki/Metric_prefix * */ std::string prettyPrint(double val, PrettyType, bool addSpace = true); /** * @overloadbrief Reverse prettyPrint. * * This utility converts StringPiece in pretty format (look above) to double, * with progress information. Alters the StringPiece parameter * to get rid of the already-parsed characters. * Expects string in form <floating point number> {space}* [<suffix>] * If string is not in correct format, utility finds longest valid prefix and * if there at least one, returns double value based on that prefix and * modifies string to what is left after parsing. Throws and std::range_error * exception if there is no correct parse. * Examples(for PRETTY_UNITS_METRIC): * '10M' => 10 000 000 * '10 M' => 10 000 000 * '10' => 10 * '10 Mx' => 10 000 000, prettyString == "x" * 'abc' => throws std::range_error */ double prettyToDouble( folly::StringPiece* const prettyString, const PrettyType type); /** * Same as prettyToDouble(folly::StringPiece*, PrettyType), but * expects whole string to be correctly parseable. Throws std::range_error * otherwise */ double prettyToDouble(folly::StringPiece prettyString, const PrettyType type); /** * @overloadbrief Write a hex dump of size bytes starting at ptr to out. * * The hex dump is formatted as follows: * * for the string "abcdefghijklmnopqrstuvwxyz\x02" 00000000 61 62 63 64 65 66 67 68 69 6a 6b 6c 6d 6e 6f 70 |abcdefghijklmnop| 00000010 71 72 73 74 75 76 77 78 79 7a 02 |qrstuvwxyz. | * * that is, we write 16 bytes per line, both as hex bytes and as printable * characters. Non-printable characters are replaced with '.' * Lines are written to out one by one (one StringPiece at a time) without * delimiters. */ template <class OutIt> void hexDump(const void* ptr, size_t size, OutIt out); /** * Return the hex dump of size bytes starting at ptr as a string. */ std::string hexDump(const void* ptr, size_t size); /** * Pretty print an errno. * * Return a string containing the description of the given errno value. * Takes care not to overwrite the actual system errno, so calling * errnoStr(errno) is valid. */ std::string errnoStr(int err); template <typename T, std::size_t M, typename P> class small_vector; template <typename T, typename Allocator> class fbvector; namespace detail { // We don't use SimdSplitByCharIsDefinedFor because // we would like the user to get an error where they could use SIMD // implementation but didn't use quite correct parameters. template <typename> struct IsSplitSupportedContainer : std::false_type { … }; HasSimdSplitCompatibleValueType; IsSplitSupportedContainer<std::vector<T, A>>; IsSplitSupportedContainer<fbvector<T, A>>; IsSplitSupportedContainer<small_vector<T, M, P>>; template <typename> struct IsSimdSupportedDelim : std::false_type { … }; template <> struct IsSimdSupportedDelim<char> : std::true_type { … }; } // namespace detail /** * Split a string into a list of tokens by delimiter. * * The split interface here supports different output types, selected * at compile time: StringPiece, fbstring, or std::string. If you are * using a vector to hold the output, it detects the type based on * what your vector contains. If the output vector is not empty, split * will append to the end of the vector. * * You can also use splitTo() to write the output to an arbitrary * OutputIterator (e.g. std::inserter() on a std::set<>), in which * case you have to tell the function the type. (Rationale: * OutputIterators don't have a value_type, so we can't detect the * type in splitTo without being told.) * * Examples: * * std::vector<folly::StringPiece> v; * folly::split(':', "asd:bsd", v); * * folly::small_vector<folly::StringPiece, 3> v; * folly::split(':', "asd:bsd:csd", v) * * std::set<StringPiece> s; * folly::splitTo<StringPiece>("::", "asd::bsd::asd::csd", * std::inserter(s, s.begin())); * * Split also takes a flag (ignoreEmpty) that indicates whether adjacent * delimiters should be treated as one single separator (ignoring empty tokens) * or not (generating empty tokens). */ template <class Delim, class String, class OutputType> FOLLY_ALWAYS_INLINE std::enable_if_t< detail::IsSimdSupportedDelim<Delim>::value && detail::HasSimdSplitCompatibleValueType<OutputType>::value && detail::IsSplitSupportedContainer<OutputType>::value> split( const Delim& delimiter, const String& input, OutputType& out, const bool ignoreEmpty = false) { … } template <class Delim, class String, class OutputType> std::enable_if_t< (!detail::IsSimdSupportedDelim<Delim>::value || !detail::HasSimdSplitCompatibleValueType<OutputType>::value) && detail::IsSplitSupportedContainer<OutputType>::value> split( const Delim& delimiter, const String& input, OutputType& out, const bool ignoreEmpty = false); /** * split, to an output iterator */ template < class OutputValueType, class Delim, class String, class OutputIterator> void splitTo( const Delim& delimiter, const String& input, OutputIterator out, const bool ignoreEmpty = false); namespace detail { template <typename Void, typename OutputType> struct IsConvertible : std::false_type { … }; template <> struct IsConvertible<void, decltype(std::ignore)> : std::true_type { … }; IsConvertible<void_t<decltype(parseTo(StringPiece{}, std::declval<OutputType &>()))>, OutputType>; } // namespace detail template <typename OutputType> struct IsConvertible : detail::IsConvertible<void, OutputType> { … }; /** * Split a string into a fixed number of string pieces and/or numeric types * by delimiter. Conversions are supported for any type which folly:to<> can * target, including all overloads of parseTo(). Returns 'true' if the fields * were all successfully populated. Returns 'false' if there were too few * fields in the input, or too many fields if exact=true. Casting exceptions * will not be caught. * * Examples: * * folly::StringPiece name, key, value; * if (folly::split('\t', line, name, key, value)) * ... * * folly::StringPiece name; * double value; * int id; * if (folly::split('\t', line, name, value, id)) * ... * * The 'exact' template parameter specifies how the function behaves when too * many fields are present in the input string. When 'exact' is set to its * default value of 'true', a call to split will fail if the number of fields in * the input string does not exactly match the number of output parameters * passed. If 'exact' is overridden to 'false', all remaining fields will be * stored, unsplit, in the last field, as shown below: * * folly::StringPiece x, y. * if (folly::split<false>(':', "a:b:c", x, y)) * assert(x == "a" && y == "b:c"); * * Note that this will likely not work if the last field's target is of numeric * type, in which case folly::to<> will throw an exception. */ template <bool exact = true, class Delim, class... OutputTypes> typename std::enable_if< StrictConjunction<IsConvertible<OutputTypes>...>::value && sizeof...(OutputTypes) >= 1, bool>::type split(const Delim& delimiter, StringPiece input, OutputTypes&... outputs); /** * Join list of tokens. * * Stores a string representation of tokens in the same order with * delimiter between each element. */ template <class Delim, class Iterator, class String> void join(const Delim& delimiter, Iterator begin, Iterator end, String& output); template <class Delim, class Container, class String> void join(const Delim& delimiter, const Container& container, String& output) { … } template <class Delim, class Value, class String> void join( const Delim& delimiter, const std::initializer_list<Value>& values, String& output) { … } template <class Delim, class Container> std::string join(const Delim& delimiter, const Container& container) { … } template <class Delim, class Value> std::string join( const Delim& delimiter, const std::initializer_list<Value>& values) { … } template < class Delim, class Iterator, typename std::enable_if<std::is_base_of< std::forward_iterator_tag, typename std::iterator_traits<Iterator>::iterator_category>::value>:: type* = nullptr> std::string join(const Delim& delimiter, Iterator begin, Iterator end) { … } /** * Remove leading whitespace. * * Returns a subpiece with all whitespace removed from the front of @sp. * Whitespace means any of [' ', '\n', '\r', '\t']. */ StringPiece ltrimWhitespace(StringPiece sp); /** * Remove trailing whitespace. * * Returns a subpiece with all whitespace removed from the back of @sp. * Whitespace means any of [' ', '\n', '\r', '\t']. */ StringPiece rtrimWhitespace(StringPiece sp); /** * Remove leading and trailing whitespace. * * Returns a subpiece with all whitespace removed from the back and front of * @sp. Whitespace means any of [' ', '\n', '\r', '\t']. */ inline StringPiece trimWhitespace(StringPiece sp) { … } /** * DEPRECATED: Use ltrimWhitespace instead * * Returns a subpiece with all whitespace removed from the front of @sp. * Whitespace means any of [' ', '\n', '\r', '\t']. */ inline StringPiece skipWhitespace(StringPiece sp) { … } /** * Specify characters to ltrim. * * Returns a subpiece with all characters the provided @toTrim returns true * for removed from the front of @sp. */ template <typename ToTrim> StringPiece ltrim(StringPiece sp, ToTrim toTrim) { … } /** * Specify characters to rtrim. * * Returns a subpiece with all characters the provided @toTrim returns true * for removed from the back of @sp. */ template <typename ToTrim> StringPiece rtrim(StringPiece sp, ToTrim toTrim) { … } /** * Specify characters to trim. * * Returns a subpiece with all characters the provided @toTrim returns true * for removed from the back and front of @sp. */ template <typename ToTrim> StringPiece trim(StringPiece sp, ToTrim toTrim) { … } /** * De-indent a string. * * Strips the leading and the trailing whitespace-only lines. Then looks for * the least indented non-whitespace-only line and removes its amount of * leading whitespace from every line. Assumes leading whitespace is either all * spaces or all tabs. * * Purpose: including a multiline string literal in source code, indented to * the level expected from context. */ std::string stripLeftMargin(std::string s); /** * Convert ascii to lowercase, in-place. * * Leaves all other characters unchanged, including those with the 0x80 * bit set. * @param str String to convert * @param length Length of str, in bytes */ void toLowerAscii(char* str, size_t length); inline void toLowerAscii(MutableStringPiece str) { … } inline void toLowerAscii(std::string& str) { … } /** * Returns if string contains std::isspace or std::iscntrl characters. **/ inline bool hasSpaceOrCntrlSymbols(folly::StringPiece s) { … } } // namespace folly #include <folly/String-inl.h>