1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578
|
// Copyright Mozilla Foundation. See the COPYRIGHT
// file at the top-level directory of this distribution.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// https://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
#pragma once
#ifndef encoding_rs_mem_cpp_h_
#define encoding_rs_mem_cpp_h_
#include <optional>
#include <string_view>
#include <tuple>
#include "gsl/gsl"
#include "encoding_rs_mem.h"
namespace encoding_rs {
namespace mem {
namespace detail {
/**
* Replaces `nullptr` with a bogus pointer suitable for use as part of a
* zero-length Rust slice.
*/
template <class T>
static inline T* null_to_bogus(T* ptr) {
return ptr ? ptr : reinterpret_cast<T*>(alignof(T));
}
}; // namespace detail
/**
* Checks whether a potentially invalid UTF-16 buffer contains code points
* that trigger right-to-left processing or is all-Latin1.
*
* Possibly more efficient than performing the checks separately.
*
* Returns `Latin1Bidi::Latin1` if `is_utf16_latin1()` would return `true`.
* Otherwise, returns `Latin1Bidi::Bidi` if `is_utf16_bidi()` would return
* `true`. Otherwise, returns `Latin1Bidi::LeftToRight`.
*/
inline Latin1Bidi check_for_latin1_and_bidi(std::u16string_view buffer) {
return encoding_mem_check_utf16_for_latin1_and_bidi(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(buffer.data()),
buffer.size());
}
/**
* Checks whether a potentially invalid UTF-8 buffer contains code points
* that trigger right-to-left processing or is all-Latin1.
*
* Possibly more efficient than performing the checks separately.
*
* Returns `Latin1Bidi::Latin1` if `is_utf8_latin1()` would return `true`.
*
* Otherwise, returns `Latin1Bidi::Bidi` if `is_utf8_bidi()` would return
* `true`. Otherwise, returns `Latin1Bidi::LeftToRight`.
*/
inline Latin1Bidi check_for_latin1_and_bidi(std::string_view buffer) {
return encoding_mem_check_utf8_for_latin1_and_bidi(
encoding_rs::mem::detail::null_to_bogus<const char>(buffer.data()),
buffer.size());
}
/**
* Converts bytes whose unsigned value is interpreted as Unicode code point
* (i.e. U+0000 to U+00FF, inclusive) to UTF-16.
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* The number of `char16_t`s written equals the length of the source buffer.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline void convert_latin1_to_utf16(gsl::span<const char> src,
gsl::span<char16_t> dst) {
encoding_mem_convert_latin1_to_utf16(
encoding_rs::mem::detail::null_to_bogus<const char>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char16_t>(dst.data()),
dst.size());
}
/**
* Converts bytes whose unsigned value is interpreted as Unicode code point
* (i.e. U+0000 to U+00FF, inclusive) to UTF-8.
*
* The length of the destination buffer must be at least the length of the
* source buffer times two.
*
* Returns the number of bytes written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*
* # Safety
*
* Note that this function may write garbage beyond the number of bytes
* indicated by the return value.
*
* # Undefined behavior
*
* UB ensues if `src` and `dst` overlap.
*/
inline size_t convert_latin1_to_utf8(gsl::span<const char> src,
gsl::span<char> dst) {
return encoding_mem_convert_latin1_to_utf8(
encoding_rs::mem::detail::null_to_bogus<const char>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Converts bytes whose unsigned value is interpreted as Unicode code point
* (i.e. U+0000 to U+00FF, inclusive) to UTF-8 with potentially insufficient
* output space.
*
* Returns the number of bytes read and the number of bytes written.
*
* If the output isn't large enough, not all input is consumed.
*
* # Undefined behavior
*
* UB ensues if `src` and `dst` overlap.
*/
inline std::tuple<size_t, size_t> convert_latin1_to_utf8_partial(
gsl::span<const char> src, gsl::span<char> dst) {
size_t src_read = src.size();
size_t dst_written = dst.size();
encoding_mem_convert_latin1_to_utf8_partial(
encoding_rs::mem::detail::null_to_bogus<const char>(src.data()),
&src_read, encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
&dst_written);
return {src_read, dst_written};
}
/**
* Converts valid UTF-8 to valid UTF-16.
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of `char16_t`s written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline size_t convert_str_to_utf16(std::string_view src,
gsl::span<char16_t> dst) {
return encoding_mem_convert_str_to_utf16(
encoding_rs::mem::detail::null_to_bogus<const char>(
reinterpret_cast<const char*>(src.data())),
src.size(), encoding_rs::mem::detail::null_to_bogus<char16_t>(dst.data()),
dst.size());
}
/**
* If the input is valid UTF-16 representing only Unicode code points from
* U+0000 to U+00FF, inclusive, converts the input into output that
* represents the value of each code point as the unsigned byte value of
* each output byte.
*
* If the input does not fulfill the condition stated above, does something
* that is memory-safe without any promises about any properties of the
* output and will probably assert in debug builds in future versions.
* In particular, callers shouldn't assume the output to be the same across
* crate versions or CPU architectures and should not assume that non-ASCII
* input can't map to ASCII output.
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* The number of bytes written equals the length of the source buffer.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
* (Probably in future versions if debug assertions are enabled (and not
* fuzzing) and the input is not in the range U+0000 to U+00FF, inclusive.)
*/
inline void convert_utf16_to_latin1_lossy(std::u16string_view src,
gsl::span<char> dst) {
encoding_mem_convert_utf16_to_latin1_lossy(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Converts potentially-invalid UTF-16 to valid UTF-8 with errors replaced
* with the REPLACEMENT CHARACTER.
*
* The length of the destination buffer must be at least the length of the
* source buffer times three.
*
* Returns the number of bytes written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline size_t convert_utf16_to_utf8(std::u16string_view src,
gsl::span<char> dst) {
return encoding_mem_convert_utf16_to_utf8(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Converts potentially-invalid UTF-16 to valid UTF-8 with errors replaced
* with the REPLACEMENT CHARACTER with potentially insufficient output
* space.
*
* Returns the number of code units read and the number of bytes written.
*
* Guarantees that the bytes in the destination beyond the number of
* bytes claimed as written by the second item of the return tuple
* are left unmodified.
*
* Not all code units are read if there isn't enough output space.
* Note that this method isn't designed for general streamability but for
* not allocating memory for the worst case up front. Specifically,
* if the input starts with or ends with an unpaired surrogate, those are
* replaced with the REPLACEMENT CHARACTER.
*
* Matches the semantics of `TextEncoder.encodeInto()` from the
* Encoding Standard.
*/
inline std::tuple<size_t, size_t> convert_utf16_to_utf8_partial(
std::u16string_view src, gsl::span<char> dst) {
size_t src_read = src.size();
size_t dst_written = dst.size();
encoding_mem_convert_utf16_to_utf8_partial(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(src.data()),
&src_read, encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
&dst_written);
return {src_read, dst_written};
}
/**
* If the input is valid UTF-8 representing only Unicode code points from
* U+0000 to U+00FF, inclusive, converts the input into output that
* represents the value of each code point as the unsigned byte value of
* each output byte.
*
* If the input does not fulfill the condition stated above, this function
* panics if debug assertions are enabled (and fuzzing isn't) and otherwise
* does something that is memory-safe without any promises about any
* properties of the output. In particular, callers shouldn't assume the
* output to be the same across crate versions or CPU architectures and
* should not assume that non-ASCII input can't map to ASCII output.
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of bytes written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
* If debug assertions are enabled (and not fuzzing) and the input is
* not in the range U+0000 to U+00FF, inclusive.
*
* # Undefined behavior
*
* UB ensues if `src` and `dst` overlap.
*/
inline size_t convert_utf8_to_latin1_lossy(std::string_view src,
gsl::span<char> dst) {
return encoding_mem_convert_utf8_to_latin1_lossy(
encoding_rs::mem::detail::null_to_bogus<const char>(
reinterpret_cast<const char*>(src.data())),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Converts potentially-invalid UTF-8 to valid UTF-16 with errors replaced
* with the REPLACEMENT CHARACTER.
*
* The length of the destination buffer must be at least the length of the
* source buffer _plus one_.
*
* Returns the number of `char16_t`s written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline size_t convert_utf8_to_utf16(std::string_view src,
gsl::span<char16_t> dst) {
return encoding_mem_convert_utf8_to_utf16(
encoding_rs::mem::detail::null_to_bogus<const char>(
reinterpret_cast<const char*>(src.data())),
src.size(), encoding_rs::mem::detail::null_to_bogus<char16_t>(dst.data()),
dst.size());
}
/**
* Converts potentially-invalid UTF-8 to valid UTF-16 signaling on error.
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of `char16_t`s written or `std::nullopt` if the input was
* invalid.
*
* When the input was invalid, some output may have been written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline std::optional<size_t> convert_utf8_to_utf16_without_replacement(
std::string_view src, gsl::span<char16_t> dst) {
size_t val = encoding_mem_convert_utf8_to_utf16_without_replacement(
encoding_rs::mem::detail::null_to_bogus<const char>(
reinterpret_cast<const char*>(src.data())),
src.size(), encoding_rs::mem::detail::null_to_bogus<char16_t>(dst.data()),
dst.size());
if (val == SIZE_MAX) {
return std::nullopt;
}
return val;
}
/**
* Copies ASCII from source to destination up to the first non-ASCII byte
* (or the end of the input if it is ASCII in its entirety).
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of bytes written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*
* # Undefined behavior
*
* UB ensues if `src` and `dst` overlap.
*/
inline size_t copy_ascii_to_ascii(gsl::span<const char> src,
gsl::span<char> dst) {
return encoding_mem_copy_ascii_to_ascii(
encoding_rs::mem::detail::null_to_bogus<const char>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Copies ASCII from source to destination zero-extending it to UTF-16 up to
* the first non-ASCII byte (or the end of the input if it is ASCII in its
* entirety).
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of `char16_t`s written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline size_t copy_ascii_to_basic_latin(gsl::span<const char> src,
gsl::span<char16_t> dst) {
return encoding_mem_copy_ascii_to_basic_latin(
encoding_rs::mem::detail::null_to_bogus<const char>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char16_t>(dst.data()),
dst.size());
}
/**
* Copies Basic Latin from source to destination narrowing it to ASCII up to
* the first non-Basic Latin code unit (or the end of the input if it is
* Basic Latin in its entirety).
*
* The length of the destination buffer must be at least the length of the
* source buffer.
*
* Returns the number of bytes written.
*
* # Panics
*
* Panics if the destination buffer is shorter than stated above.
*/
inline size_t copy_basic_latin_to_ascii(gsl::span<const char16_t> src,
gsl::span<char> dst) {
return encoding_mem_copy_basic_latin_to_ascii(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(src.data()),
src.size(), encoding_rs::mem::detail::null_to_bogus<char>(dst.data()),
dst.size());
}
/**
* Replaces unpaired surrogates in the input with the REPLACEMENT CHARACTER.
*/
inline void ensure_utf16_validity(gsl::span<char16_t> buffer) {
encoding_mem_ensure_utf16_validity(
encoding_rs::mem::detail::null_to_bogus<char16_t>(buffer.data()),
buffer.size());
}
/**
* Checks whether the buffer is all-ASCII.
*
* May read the entire buffer even if it isn't all-ASCII. (I.e. the function
* is not guaranteed to fail fast.)
*/
inline bool is_ascii(std::string_view buffer) {
return encoding_mem_is_ascii(
encoding_rs::mem::detail::null_to_bogus<const char>(buffer.data()),
buffer.size());
}
/**
* Checks whether the buffer is all-Basic Latin (i.e. UTF-16 representing
* only ASCII characters).
*
* May read the entire buffer even if it isn't all-ASCII. (I.e. the function
* is not guaranteed to fail fast.)
*/
inline bool is_ascii(std::u16string_view buffer) {
return encoding_mem_is_basic_latin(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(buffer.data()),
buffer.size());
}
/**
* Checks whether a scalar value triggers right-to-left processing.
*
* The check is done on a Unicode block basis without regard to assigned
* vs. unassigned code points in the block. Hebrew presentation forms in
* the Alphabetic Presentation Forms block are treated as if they formed
* a block on their own (i.e. it treated as right-to-left). Additionally,
* the four RIGHT-TO-LEFT FOO controls in General Punctuation are checked
* for. Control characters that are technically bidi controls but do not
* cause right-to-left behavior without the presence of right-to-left
* characters or right-to-left controls are not checked for. As a special
* case, U+FEFF is excluded from Arabic Presentation Forms-B.
*
* # Undefined behavior
*
* Undefined behavior ensues if `c` is not a valid Unicode Scalar Value.
*/
inline bool is_scalar_value_bidi(char32_t c) {
return encoding_mem_is_char_bidi(c);
}
/**
* Checks whether a UTF-16 buffer contains code points that trigger
* right-to-left processing.
*
* The check is done on a Unicode block basis without regard to assigned
* vs. unassigned code points in the block. Hebrew presentation forms in
* the Alphabetic Presentation Forms block are treated as if they formed
* a block on their own (i.e. it treated as right-to-left). Additionally,
* the four RIGHT-TO-LEFT FOO controls in General Punctuation are checked
* for. Control characters that are technically bidi controls but do not
* cause right-to-left behavior without the presence of right-to-left
* characters or right-to-left controls are not checked for. As a special
* case, U+FEFF is excluded from Arabic Presentation Forms-B.
* Returns `true` if the input contains an RTL character or an unpaired
* high surrogate that could be the high half of an RTL character.
* Returns `false` if the input contains neither RTL characters nor
* unpaired high surrogates that could be higher halves of RTL characters.
*/
inline bool is_bidi(std::u16string_view buffer) {
return encoding_mem_is_utf16_bidi(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(buffer.data()),
buffer.size());
}
/**
* Checks whether a UTF-16 code unit triggers right-to-left processing.
*
* The check is done on a Unicode block basis without regard to assigned
* vs. unassigned code points in the block. Hebrew presentation forms in
* the Alphabetic Presentation Forms block are treated as if they formed
* a block on their own (i.e. it treated as right-to-left). Additionally,
* the four RIGHT-TO-LEFT FOO controls in General Punctuation are checked
* for. Control characters that are technically bidi controls but do not
* cause right-to-left behavior without the presence of right-to-left
* characters or right-to-left controls are not checked for. As a special
* case, U+FEFF is excluded from Arabic Presentation Forms-B.
* Since supplementary-plane right-to-left blocks are identifiable from the
* high surrogate without examining the low surrogate, this function returns
* `true` for such high surrogates making the function suitable for handling
* supplementary-plane text without decoding surrogate pairs to scalar
* values. Obviously, such high surrogates are then reported as right-to-left
* even if actually unpaired.
*/
inline bool is_utf16_code_unit_bidi(char16_t u) {
return encoding_mem_is_utf16_code_unit_bidi(u);
}
/**
* Checks whether the buffer represents only code point less than or equal
* to U+00FF.
*
* May read the entire buffer even if it isn't all-Latin1. (I.e. the function
* is not guaranteed to fail fast.)
*/
inline bool is_utf16_latin1(std::u16string_view buffer) {
return encoding_mem_is_utf16_latin1(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(buffer.data()),
buffer.size());
}
/**
* Checks whether a potentially-invalid UTF-8 buffer contains code points
* that trigger right-to-left processing.
*
* The check is done on a Unicode block basis without regard to assigned
* vs. unassigned code points in the block. Hebrew presentation forms in
* the Alphabetic Presentation Forms block are treated as if they formed
* a block on their own (i.e. it treated as right-to-left). Additionally,
* the four RIGHT-TO-LEFT FOO controls in General Punctuation are checked
* for. Control characters that are technically bidi controls but do not
* cause right-to-left behavior without the presence of right-to-left
* characters or right-to-left controls are not checked for. As a special
* case, U+FEFF is excluded from Arabic Presentation Forms-B.
* Returns `true` if the input is invalid UTF-8 or the input contains an
* RTL character. Returns `false` if the input is valid UTF-8 and contains
* no RTL characters.
*/
inline bool is_bidi(std::string_view buffer) {
return encoding_mem_is_utf8_bidi(
encoding_rs::mem::detail::null_to_bogus<const char>(buffer.data()),
buffer.size());
}
/**
* Checks whether the buffer is valid UTF-8 representing only code points
* less than or equal to U+00FF.
*
* Fails fast. (I.e. returns before having read the whole buffer if UTF-8
* invalidity or code points above U+00FF are discovered.
*/
inline bool is_utf8_latin1(std::string_view buffer) {
return encoding_mem_is_utf8_latin1(
encoding_rs::mem::detail::null_to_bogus<const char>(buffer.data()),
buffer.size());
}
/**
* Returns the index of the first unpaired surrogate or, if the input is
* valid UTF-16 in its entirety, the length of the input.
*/
inline size_t utf16_valid_up_to(std::u16string_view buffer) {
return encoding_mem_utf16_valid_up_to(
encoding_rs::mem::detail::null_to_bogus<const char16_t>(buffer.data()),
buffer.size());
}
/**
* Returns the index of first byte that starts a non-Latin1 byte
* sequence, or the length of the string if there are none.
*/
inline size_t utf8_latin1_up_to(std::string_view buffer) {
return encoding_mem_utf8_latin1_up_to(
encoding_rs::mem::detail::null_to_bogus<const char>(buffer.data()),
buffer.size());
}
}; // namespace mem
}; // namespace encoding_rs
#endif // encoding_rs_mem_cpp_h_
|