2
0

stringAPI.h 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441
  1. // zlib open source license
  2. //
  3. // Copyright (c) 2017 to 2020 David Forsgren Piuva
  4. //
  5. // This software is provided 'as-is', without any express or implied
  6. // warranty. In no event will the authors be held liable for any damages
  7. // arising from the use of this software.
  8. //
  9. // Permission is granted to anyone to use this software for any purpose,
  10. // including commercial applications, and to alter it and redistribute it
  11. // freely, subject to the following restrictions:
  12. //
  13. // 1. The origin of this software must not be misrepresented; you must not
  14. // claim that you wrote the original software. If you use this software
  15. // in a product, an acknowledgment in the product documentation would be
  16. // appreciated but is not required.
  17. //
  18. // 2. Altered source versions must be plainly marked as such, and must not be
  19. // misrepresented as being the original software.
  20. //
  21. // 3. This notice may not be removed or altered from any source
  22. // distribution.
  23. #ifndef DFPSR_API_STRING
  24. #define DFPSR_API_STRING
  25. #include <stdint.h>
  26. #include <string>
  27. #include <iostream>
  28. #include <sstream>
  29. #include <functional>
  30. #include "bufferAPI.h"
  31. #include "../collection/List.h"
  32. // Define DFPSR_INTERNAL_ACCESS before any include to get internal access to exposed types
  33. #ifdef DFPSR_INTERNAL_ACCESS
  34. #define IMPL_ACCESS public
  35. #else
  36. #define IMPL_ACCESS protected
  37. #endif
  38. namespace dsr {
  39. using DsrChar = char32_t;
  40. // Text files support loading UTF-8/16 BE/LE with BOM or Latin-1 without BOM
  41. enum class CharacterEncoding {
  42. Raw_Latin1, // U+00 to U+FF
  43. BOM_UTF8, // U+00000000 to U+0010FFFF
  44. BOM_UTF16BE, // U+00000000 to U+0000D7FF, U+0000E000 to U+0010FFFF
  45. BOM_UTF16LE // U+00000000 to U+0000D7FF, U+0000E000 to U+0010FFFF
  46. };
  47. // Carriage-return is removed when loading text files to prevent getting double lines
  48. // A line-feed without a line-feed character is nonsense
  49. // LineEncoding allow re-adding carriage-return before or after each line-break when saving
  50. enum class LineEncoding {
  51. CrLf, // Microsoft Windows compatible (Can also be read on other platforms by ignoring carriage return)
  52. Lf // Linux and Macintosh compatible (Might not work on non-portable text editors on Microsoft Windows)
  53. };
  54. class String;
  55. // Replacing String with a ReadableString reference for input arguments can make passing of U"" literals faster.
  56. // Unlike String, it cannot be constructed from a "" literal,
  57. // because it's not allowed to create a new allocation for the UTF-32 conversion.
  58. class ReadableString {
  59. IMPL_ACCESS:
  60. // A reference counted pointer to the buffer to allow passing strings around without having to clone the buffer each time
  61. // ReadableString only uses it for reference counting but String use it for reallocating
  62. Buffer buffer;
  63. const char32_t* readSection = nullptr;
  64. int64_t length = 0;
  65. public:
  66. // Returning the character by value prevents writing to memory that might be a constant literal or shared with other strings
  67. DsrChar operator[] (int64_t index) const;
  68. public:
  69. // Empty string U""
  70. ReadableString();
  71. // Implicit casting from U"text"
  72. ReadableString(const DsrChar *content);
  73. // Create from String by sharing the buffer
  74. ReadableString(const String& source);
  75. // Destructor
  76. virtual ~ReadableString();
  77. public:
  78. // Converting to unknown character encoding using only the ascii character subset
  79. // A bug in GCC linking forces these to be virtual
  80. virtual std::ostream& toStream(std::ostream& out) const;
  81. virtual std::string toStdString() const;
  82. };
  83. // Used as format tags around numbers passed to string_append or string_combine
  84. // New types can implement printing to String by making wrappers from this class
  85. class Printable {
  86. public:
  87. // The method for appending the printable object into the target string
  88. virtual String& toStreamIndented(String& target, const ReadableString& indentation) const = 0;
  89. String& toStream(String& target) const;
  90. String toStringIndented(const ReadableString& indentation) const;
  91. String toString() const;
  92. std::ostream& toStreamIndented(std::ostream& out, const ReadableString& indentation) const;
  93. std::ostream& toStream(std::ostream& out) const;
  94. std::string toStdString() const;
  95. virtual ~Printable();
  96. };
  97. // A safe and simple string type
  98. // Can be constructed from ascii literals "", but U"" will preserve unicode characters.
  99. // Can be used without ReadableString, but ReadableString can be wrapped over U"" literals without allocation
  100. // UTF-32
  101. // Endianness is native
  102. // No combined characters allowed, use precomposed instead, so that the strings can guarantee a fixed character size
  103. class String : public ReadableString {
  104. IMPL_ACCESS:
  105. // Same as readSection, but with write access for appending more text
  106. char32_t* writeSection = nullptr;
  107. public:
  108. // Constructors
  109. String();
  110. String(const char* source);
  111. String(const char32_t* source);
  112. String(const std::string& source);
  113. String(const ReadableString& source);
  114. String(const String& source);
  115. };
  116. // Define this overload for non-virtual source types that cannot inherit from Printable
  117. String& string_toStreamIndented(String& target, const Printable& source, const ReadableString& indentation);
  118. String& string_toStreamIndented(String& target, const char* value, const ReadableString& indentation);
  119. String& string_toStreamIndented(String& target, const ReadableString& value, const ReadableString& indentation);
  120. String& string_toStreamIndented(String& target, const char32_t* value, const ReadableString& indentation);
  121. String& string_toStreamIndented(String& target, const std::string& value, const ReadableString& indentation);
  122. String& string_toStreamIndented(String& target, const float& value, const ReadableString& indentation);
  123. String& string_toStreamIndented(String& target, const double& value, const ReadableString& indentation);
  124. String& string_toStreamIndented(String& target, const int64_t& value, const ReadableString& indentation);
  125. String& string_toStreamIndented(String& target, const uint64_t& value, const ReadableString& indentation);
  126. String& string_toStreamIndented(String& target, const int32_t& value, const ReadableString& indentation);
  127. String& string_toStreamIndented(String& target, const uint32_t& value, const ReadableString& indentation);
  128. String& string_toStreamIndented(String& target, const int16_t& value, const ReadableString& indentation);
  129. String& string_toStreamIndented(String& target, const uint16_t& value, const ReadableString& indentation);
  130. String& string_toStreamIndented(String& target, const int8_t& value, const ReadableString& indentation);
  131. String& string_toStreamIndented(String& target, const uint8_t& value, const ReadableString& indentation);
  132. // Templates reused for all types
  133. // The source must inherit from Printable or have its own string_toStreamIndented overload
  134. template<typename T>
  135. String& string_toStream(String& target, const T& source) {
  136. return string_toStreamIndented(target, source, U"");
  137. }
  138. template<typename T>
  139. String string_toStringIndented(const T& source, const ReadableString& indentation) {
  140. String result;
  141. string_toStreamIndented(result, source, indentation);
  142. return result;
  143. }
  144. template<typename T>
  145. String string_toString(const T& source) {
  146. return string_toStringIndented(source, U"");
  147. }
  148. template<typename T>
  149. std::ostream& string_toStreamIndented(std::ostream& target, const T& source, const ReadableString& indentation) {
  150. return target << string_toStringIndented(source, indentation);
  151. }
  152. template<typename T>
  153. std::ostream& string_toStream(std::ostream& target, const T& source) {
  154. return target << string_toString(source);
  155. }
  156. // ---------------- Procedural API ----------------
  157. // Sets the target string's length to zero.
  158. // Because this opens up to appending new text where sub-string may already share the buffer,
  159. // this operation will reallocate the buffer if shared with other strings.
  160. void string_clear(String& target);
  161. // Post-condition: Returns the length of source.
  162. // Example: string_length(U"ABC") == 3
  163. int64_t string_length(const ReadableString& source);
  164. // Post-condition: Returns the base-zero index of source's first occurence of toFind, starting from startIndex. Returns -1 if not found.
  165. // Example: string_findFirst(U"ABCABCABC", U'A') == 0
  166. // Example: string_findFirst(U"ABCABCABC", U'B') == 1
  167. // Example: string_findFirst(U"ABCABCABC", U'C') == 2
  168. // Example: string_findFirst(U"ABCABCABC", U'D') == -1
  169. int64_t string_findFirst(const ReadableString& source, DsrChar toFind, int64_t startIndex = 0);
  170. // Post-condition: Returns the base-zero index of source's last occurence of toFind. Returns -1 if not found.
  171. // Example: string_findLast(U"ABCABCABC", U'A') == 6
  172. // Example: string_findLast(U"ABCABCABC", U'B') == 7
  173. // Example: string_findLast(U"ABCABCABC", U'C') == 8
  174. // Example: string_findLast(U"ABCABCABC", U'D') == -1
  175. int64_t string_findLast(const ReadableString& source, DsrChar toFind);
  176. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to before the character at exclusiveEnd
  177. // Example: string_exclusiveRange(U"0123456789", 2, 4) == U"23"
  178. ReadableString string_exclusiveRange(const ReadableString& source, int64_t inclusiveStart, int64_t exclusiveEnd);
  179. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to after the character at inclusiveEnd
  180. // Example: string_inclusiveRange(U"0123456789", 2, 4) == U"234"
  181. ReadableString string_inclusiveRange(const ReadableString& source, int64_t inclusiveStart, int64_t inclusiveEnd);
  182. // Post-condition: Returns a sub-string of source from the start to before the character at exclusiveEnd
  183. // Example: string_before(U"0123456789", 5) == U"01234"
  184. ReadableString string_before(const ReadableString& source, int64_t exclusiveEnd);
  185. // Post-condition: Returns a sub-string of source from the start to after the character at inclusiveEnd
  186. // Example: string_until(U"0123456789", 5) == U"012345"
  187. ReadableString string_until(const ReadableString& source, int64_t inclusiveEnd);
  188. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to the end
  189. // Example: string_from(U"0123456789", 5) == U"56789"
  190. ReadableString string_from(const ReadableString& source, int64_t inclusiveStart);
  191. // Post-condition: Returns a sub-string of source from after the character at exclusiveStart to the end
  192. // Example: string_after(U"0123456789", 5) == U"6789"
  193. ReadableString string_after(const ReadableString& source, int64_t exclusiveStart);
  194. // Split source into a list of strings.
  195. // Post-condition:
  196. // Returns a list of strings from source by splitting along separator.
  197. // If removeWhiteSpace is true then surrounding white-space will be removed, otherwise white-space is kept.
  198. // The separating characters are excluded from the resulting strings.
  199. // The number of strings returned in the list will equal the number of separating characters plus one, so the result may contain empty strings.
  200. // Each string in the list clones content to its own dynamic buffer. Use string_split_callback if you don't need long term storage.
  201. List<String> string_split(const ReadableString& source, DsrChar separator, bool removeWhiteSpace = false);
  202. // Split a string without needing a list to store the result.
  203. // Use string_splitCount on the same source and separator if you need to know the element count in advance.
  204. // Side-effects:
  205. // Calls action for each sub-string divided by separator in source.
  206. void string_split_callback(std::function<void(ReadableString)> action, const ReadableString& source, DsrChar separator, bool removeWhiteSpace = false);
  207. // An alternative overload for having a very long lambda at the end.
  208. inline void string_split_callback(const ReadableString& source, DsrChar separator, bool removeWhiteSpace, std::function<void(ReadableString)> action) {
  209. string_split_callback(action, source, separator, removeWhiteSpace);
  210. }
  211. // Split source using separator, only to return the number of splits.
  212. // Useful for pre-allocation.
  213. int64_t string_splitCount(const ReadableString& source, DsrChar separator);
  214. // Post-condition: Returns true iff c is a digit.
  215. // Digit <- '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  216. bool character_isDigit(DsrChar c);
  217. // Post-condition: Returns true iff c is an integer character.
  218. // IntegerCharacter <- '-' | '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  219. bool character_isIntegerCharacter(DsrChar c);
  220. // Post-condition: Returns true iff c is a value character.
  221. // ValueCharacter <- '.' | '-' | '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  222. bool character_isValueCharacter(DsrChar c);
  223. // Post-condition: Returns true iff c is a white-space character.
  224. // WhiteSpace <- ' ' | '\t' | '\v' | '\f' | '\n' | '\r'
  225. // Null terminators are excluded, because it's reserved for out of bound results.
  226. bool character_isWhiteSpace(DsrChar c);
  227. // Post-condition: Returns true iff source is a valid integer. IntegerAllowingWhiteSpace is also allowed iff allowWhiteSpace is true.
  228. // UnsignedInteger <- Digit+
  229. // Integer <- UnsignedInteger | '-' UnsignedInteger
  230. // IntegerAllowingWhiteSpace <- WhiteSpace* Integer WhiteSpace*
  231. bool string_isInteger(const ReadableString& source, bool allowWhiteSpace = true);
  232. // Post-condition: Returns true iff source is a valid integer or decimal number. DoubleAllowingWhiteSpace is also allowed iff allowWhiteSpace is true.
  233. // UnsignedDouble <- Digit+ | Digit* '.' Digit+
  234. // Double <- UnsignedDouble | '-' UnsignedDouble
  235. // DoubleAllowingWhiteSpace <- WhiteSpace* Double WhiteSpace*
  236. // Only dots are allowed as decimals.
  237. // Because being able to read files from another country without crashes is a lot more important than a detail that most people don't even notice.
  238. // Automatic nationalization made sense when most applications were written in-house before the internet existed.
  239. bool string_isDouble(const ReadableString& source, bool allowWhiteSpace = true);
  240. // Pre-condition: source must be a valid integer according to string_isInteger. Otherwise unexpected characters are simply ignored.
  241. // Post-condition: Returns the integer representation of source.
  242. // The result is signed, because the input might unexpectedly have a negation sign.
  243. // The result is large, so that one can easily check the range before assigning to a smaller integer type.
  244. int64_t string_toInteger(const ReadableString& source);
  245. // Pre-condition: source must be a valid double according to string_isDouble. Otherwise unexpected characters are simply ignored.
  246. // Post-condition: Returns the double precision floating-point representation of source.
  247. double string_toDouble(const ReadableString& source);
  248. // Loading will try to find a byte order mark and can handle UTF-8 and UTF-16.
  249. // Failure to find a byte order mark will assume that the file's content is raw Latin-1,
  250. // because automatic detection would cause random behaviour.
  251. // For portability, carriage return characters are removed,
  252. // but will be generated again using the default CrLf line encoding of string_save.
  253. // Post-condition:
  254. // Returns the content of the file referred to be filename.
  255. // If mustExist is true, then failure to load will throw an exception.
  256. // If mustExist is false, then failure to load will return an empty string.
  257. // If you want to handle files that are not found in a different way,
  258. // it is easy to use buffer_load and string_loadFromMemory separatelly.
  259. String string_load(const ReadableString& filename, bool mustExist = true);
  260. // Decode a text file from a buffer, which can be loaded using buffer_load.
  261. String string_loadFromMemory(Buffer fileContent);
  262. // Decode a null terminated string without BOM, by specifying which format it was encoded in.
  263. // Pre-conditions:
  264. // data does not start with any byte-order-mark (BOM).
  265. // data must be null terminated with '\0' in whatever format is being used. Otherwise you may have random crashes
  266. // Post-condition:
  267. // Returns a string decoded from the raw data.
  268. String string_dangerous_decodeFromData(const void* data, CharacterEncoding encoding);
  269. // Side-effect: Saves content to filename using the selected character and line encodings.
  270. // Post-condition: Returns true on success and false on failure.
  271. // Do not add carriage return characters yourself into strings, for these will be added automatically in the CrLf mode.
  272. // The internal String type should only use UTF-32 with single line feeds for breaking lines.
  273. // This makes text processing algorithms a lot cleaner when a character or line break is always one element.
  274. // UTF-8 with BOM is default by being both compact and capable of storing 21 bits of unicode.
  275. bool string_save(const ReadableString& filename, const ReadableString& content,
  276. CharacterEncoding characterEncoding = CharacterEncoding::BOM_UTF8,
  277. LineEncoding lineEncoding = LineEncoding::CrLf
  278. );
  279. // Encode the string and keep the raw buffer instead of saving it to a file.
  280. // Disabling writeByteOrderMark can be done when the result is casted to a native string for platform specific APIs, where a BOM is not allowed.
  281. // Enabling writeNullTerminator should be done when using the result as a pointer, so that the length is known when the buffer does not have padding.
  282. Buffer string_saveToMemory(const ReadableString& content,
  283. CharacterEncoding characterEncoding = CharacterEncoding::BOM_UTF8,
  284. LineEncoding lineEncoding = LineEncoding::CrLf,
  285. bool writeByteOrderMark = true,
  286. bool writeNullTerminator = false
  287. );
  288. // Post-condition: Returns true iff strings a and b are exactly equal.
  289. bool string_match(const ReadableString& a, const ReadableString& b);
  290. // Post-condition: Returns true iff strings a and b are roughly equal using a case insensitive match.
  291. bool string_caseInsensitiveMatch(const ReadableString& a, const ReadableString& b);
  292. // Post-condition: Returns text converted to upper case.
  293. String string_upperCase(const ReadableString &text);
  294. // Post-condition: Returns text converted to lower case.
  295. String string_lowerCase(const ReadableString &text);
  296. // Post-condition: Returns a sub-set of text without surrounding white-space (space, tab and carriage-return).
  297. ReadableString string_removeOuterWhiteSpace(const ReadableString &text);
  298. // Post-condition: Returns rawText wrapped in a quote.
  299. // Special characters are included using escape characters, so that one can quote multiple lines but store it easily.
  300. String string_mangleQuote(const ReadableString &rawText);
  301. // Pre-condition: mangledText must be enclosed in double quotes and special characters must use escape characters (tabs in quotes are okay though).
  302. // Post-condition: Returns mangledText with quotes removed and excape tokens interpreted.
  303. String string_unmangleQuote(const ReadableString& mangledText);
  304. // Post-condition: Returns the number of strings using the same buffer, including itself.
  305. int64_t string_getBufferUseCount(const ReadableString& text);
  306. // Ensures safely that at least minimumLength characters can he held in the buffer
  307. void string_reserve(String& target, int64_t minimumLength);
  308. // Append/push one character (to avoid integer to string conversion)
  309. void string_appendChar(String& target, DsrChar value);
  310. // Append one element
  311. template<typename TYPE>
  312. inline void string_append(String& target, TYPE value) {
  313. string_toStream(target, value);
  314. }
  315. // Append multiple elements
  316. template<typename HEAD, typename... TAIL>
  317. inline void string_append(String& target, HEAD head, TAIL... tail) {
  318. string_append(target, head);
  319. string_append(target, tail...);
  320. }
  321. // Combine a number of strings, characters and numbers
  322. // If an input type is rejected, create a Printable object to wrap around it
  323. template<typename... ARGS>
  324. inline String string_combine(ARGS... args) {
  325. String result;
  326. string_append(result, args...);
  327. return result;
  328. }
  329. // ---------------- Infix syntax ----------------
  330. // Operations
  331. inline String operator+ (const ReadableString& a, const ReadableString& b) { return string_combine(a, b); }
  332. inline String operator+ (const char32_t* a, const ReadableString& b) { return string_combine(a, b); }
  333. inline String operator+ (const ReadableString& a, const char32_t* b) { return string_combine(a, b); }
  334. inline String operator+ (const String& a, const String& b) { return string_combine(a, b); }
  335. inline String operator+ (const char32_t* a, const String& b) { return string_combine(a, b); }
  336. inline String operator+ (const String& a, const char32_t* b) { return string_combine(a, b); }
  337. inline String operator+ (const String& a, const ReadableString& b) { return string_combine(a, b); }
  338. inline String operator+ (const ReadableString& a, const String& b) { return string_combine(a, b); }
  339. // ---------------- Message handling ----------------
  340. enum class MessageType {
  341. Error, // Terminate as quickly as possible after saving and informing the user.
  342. Warning, // Inform the user but let the caller continue.
  343. StandardPrinting, // Print text to the terminal.
  344. DebugPrinting // Print debug information to the terminal, if debug mode is active.
  345. };
  346. // Send a message
  347. void string_sendMessage(const ReadableString &message, MessageType type);
  348. // Send a message directly to the default message handler, ignoring string_assignMessageHandler.
  349. void string_sendMessage_default(const ReadableString &message, MessageType type);
  350. // Get a message
  351. // Pre-condition:
  352. // The action function must throw an exception or terminate the program when given an error, otherwise string_sendMessage will throw an exception about failing to do so.
  353. // Do not call string_sendMessage directly or indirectly from within action, use string_sendMessage_default instead to avoid infinite recursion.
  354. // Terminating the program as soon as possible is ideal, but one might want to save a backup or show what went wrong in a graphical interface before terminating.
  355. // Do not throw and catch errors as if they were warnings, because throwing and catching creates a partial transaction, potentially violating type invariants.
  356. // Better to use warnings and let the sender of the warning figure out how to abort the action safely.
  357. void string_assignMessageHandler(std::function<void(const ReadableString &message, MessageType type)> action);
  358. // Undo string_assignMessageHandler, so that any messages will be handled the default way again.
  359. void string_unassignMessageHandler();
  360. // Throw an error, which must terminate the application or throw an error
  361. template<typename... ARGS>
  362. void throwError(ARGS... args) {
  363. String result = string_combine(args...);
  364. string_sendMessage(result, MessageType::Error);
  365. }
  366. // Send a warning, which might throw an exception, terminate the application or anything else that the application requests using string_handleMessages
  367. template<typename... ARGS>
  368. void sendWarning(ARGS... args) {
  369. String result = string_combine(args...);
  370. string_sendMessage(result, MessageType::Warning);
  371. }
  372. // Print information to the terminal or something else listening for messages using string_handleMessages
  373. template<typename... ARGS>
  374. void printText(ARGS... args) {
  375. String result = string_combine(args...);
  376. string_sendMessage(result, MessageType::StandardPrinting);
  377. }
  378. // Debug messages are automatically disabled in release mode, so that you don't have to worry about accidentally releasing a program with poor performance from constantly printing to the terminal
  379. // Useful for selectively printing the most important information accumulated over time
  380. // Less useful for profiling, because the debug mode is slower than the release mode
  381. #ifdef NDEBUG
  382. // Supress debugText in release mode
  383. template<typename... ARGS>
  384. void debugText(ARGS... args) {}
  385. #else
  386. // Print debugText in debug mode
  387. template<typename... ARGS>
  388. void debugText(ARGS... args) {
  389. String result = string_combine(args...);
  390. string_sendMessage(result, MessageType::DebugPrinting);
  391. }
  392. #endif
  393. }
  394. #endif