2020-01-18 08:38:21 +00:00
|
|
|
/*
|
2020-01-24 13:45:29 +00:00
|
|
|
* Copyright (c) 2019-2020, Sergey Bugaev <bugaevc@serenityos.org>
|
2021-05-17 19:04:37 +00:00
|
|
|
* Copyright (c) 2021, Max Wipfli <mail@maxwipfli.ch>
|
2020-01-18 08:38:21 +00:00
|
|
|
*
|
2021-04-22 08:24:48 +00:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2020-01-18 08:38:21 +00:00
|
|
|
*/
|
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
#pragma once
|
|
|
|
|
2023-02-20 13:08:40 +00:00
|
|
|
#include <AK/Format.h>
|
2019-08-27 21:57:15 +00:00
|
|
|
#include <AK/StringView.h>
|
|
|
|
#include <AK/Types.h>
|
|
|
|
|
2023-03-03 14:18:14 +00:00
|
|
|
#ifndef KERNEL
|
|
|
|
# include <AK/DeprecatedString.h>
|
|
|
|
#endif
|
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
namespace AK {
|
|
|
|
|
|
|
|
class Utf8View;
|
|
|
|
|
2021-06-01 07:45:52 +00:00
|
|
|
class Utf8CodePointIterator {
|
2019-08-27 21:57:15 +00:00
|
|
|
friend class Utf8View;
|
|
|
|
|
|
|
|
public:
|
2021-06-01 07:45:52 +00:00
|
|
|
Utf8CodePointIterator() = default;
|
|
|
|
~Utf8CodePointIterator() = default;
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2021-09-18 16:19:21 +00:00
|
|
|
bool operator==(Utf8CodePointIterator const&) const = default;
|
|
|
|
bool operator!=(Utf8CodePointIterator const&) const = default;
|
2021-06-01 07:45:52 +00:00
|
|
|
Utf8CodePointIterator& operator++();
|
2019-08-27 21:57:15 +00:00
|
|
|
u32 operator*() const;
|
2021-05-23 22:29:16 +00:00
|
|
|
// NOTE: This returns {} if the peek is at or past EOF.
|
|
|
|
Optional<u32> peek(size_t offset = 0) const;
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2022-04-01 17:58:27 +00:00
|
|
|
ssize_t operator-(Utf8CodePointIterator const& other) const
|
2020-10-20 15:47:34 +00:00
|
|
|
{
|
|
|
|
return m_ptr - other.m_ptr;
|
|
|
|
}
|
|
|
|
|
2021-05-30 16:52:24 +00:00
|
|
|
// Note : These methods return the information about the underlying UTF-8 bytes.
|
|
|
|
// If the UTF-8 string encoding is not valid at the iterator's position, then the underlying bytes might be different from the
|
|
|
|
// decoded character's re-encoded bytes (which will be an `0xFFFD REPLACEMENT CHARACTER` with an UTF-8 length of three bytes).
|
|
|
|
// If your code relies on the decoded character being equivalent to the re-encoded character, use the `UTF8View::validate()`
|
|
|
|
// method on the view prior to using its iterator.
|
|
|
|
size_t underlying_code_point_length_in_bytes() const;
|
|
|
|
ReadonlyBytes underlying_code_point_bytes() const;
|
2021-01-01 23:28:24 +00:00
|
|
|
bool done() const { return m_length == 0; }
|
2019-10-18 20:49:23 +00:00
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
private:
|
2021-09-18 16:19:21 +00:00
|
|
|
Utf8CodePointIterator(u8 const* ptr, size_t length)
|
|
|
|
: m_ptr(ptr)
|
|
|
|
, m_length(length)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
u8 const* m_ptr { nullptr };
|
|
|
|
size_t m_length { 0 };
|
2019-08-27 21:57:15 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
class Utf8View {
|
|
|
|
public:
|
2021-06-01 07:45:52 +00:00
|
|
|
using Iterator = Utf8CodePointIterator;
|
2020-10-20 15:47:34 +00:00
|
|
|
|
2021-01-10 23:29:28 +00:00
|
|
|
Utf8View() = default;
|
2021-09-18 16:02:41 +00:00
|
|
|
|
2022-01-16 18:33:16 +00:00
|
|
|
explicit constexpr Utf8View(StringView string)
|
2021-09-18 16:02:41 +00:00
|
|
|
: m_string(string)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2023-03-03 14:18:14 +00:00
|
|
|
#ifndef KERNEL
|
|
|
|
explicit Utf8View(DeprecatedString& string)
|
|
|
|
: m_string(string.view())
|
|
|
|
{
|
|
|
|
}
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2022-12-04 18:02:33 +00:00
|
|
|
explicit Utf8View(DeprecatedString&&) = delete;
|
2023-03-03 14:18:14 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
~Utf8View() = default;
|
2021-09-04 14:53:43 +00:00
|
|
|
|
2021-11-10 23:55:02 +00:00
|
|
|
StringView as_string() const { return m_string; }
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2021-09-18 16:19:21 +00:00
|
|
|
Utf8CodePointIterator begin() const { return { begin_ptr(), m_string.length() }; }
|
|
|
|
Utf8CodePointIterator end() const { return { end_ptr(), 0 }; }
|
2021-06-01 07:45:52 +00:00
|
|
|
Utf8CodePointIterator iterator_at_byte_offset(size_t) const;
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2022-11-24 13:57:20 +00:00
|
|
|
Utf8CodePointIterator iterator_at_byte_offset_without_validation(size_t) const;
|
|
|
|
|
2022-04-01 17:58:27 +00:00
|
|
|
unsigned char const* bytes() const { return begin_ptr(); }
|
2021-05-17 18:59:15 +00:00
|
|
|
size_t byte_length() const { return m_string.length(); }
|
2022-04-01 17:58:27 +00:00
|
|
|
size_t byte_offset_of(Utf8CodePointIterator const&) const;
|
2021-08-16 14:27:26 +00:00
|
|
|
size_t byte_offset_of(size_t code_point_offset) const;
|
2021-05-17 19:04:37 +00:00
|
|
|
|
2021-09-18 16:19:21 +00:00
|
|
|
Utf8View substring_view(size_t byte_offset, size_t byte_length) const { return Utf8View { m_string.substring_view(byte_offset, byte_length) }; }
|
2021-05-17 19:04:37 +00:00
|
|
|
Utf8View substring_view(size_t byte_offset) const { return substring_view(byte_offset, byte_length() - byte_offset); }
|
2021-06-01 08:01:11 +00:00
|
|
|
Utf8View unicode_substring_view(size_t code_point_offset, size_t code_point_length) const;
|
|
|
|
Utf8View unicode_substring_view(size_t code_point_offset) const { return unicode_substring_view(code_point_offset, length() - code_point_offset); }
|
2019-09-04 20:40:36 +00:00
|
|
|
|
2021-05-17 19:04:37 +00:00
|
|
|
bool is_empty() const { return m_string.is_empty(); }
|
2021-07-18 00:31:18 +00:00
|
|
|
bool is_null() const { return m_string.is_null(); }
|
2022-04-01 17:58:27 +00:00
|
|
|
bool starts_with(Utf8View const&) const;
|
2021-06-16 11:17:03 +00:00
|
|
|
bool contains(u32) const;
|
|
|
|
|
2022-04-01 17:58:27 +00:00
|
|
|
Utf8View trim(Utf8View const& characters, TrimMode mode = TrimMode::Both) const;
|
2021-03-21 20:31:15 +00:00
|
|
|
|
2022-04-01 17:58:27 +00:00
|
|
|
size_t iterator_offset(Utf8CodePointIterator const& it) const
|
2020-12-28 22:51:24 +00:00
|
|
|
{
|
|
|
|
return byte_offset_of(it);
|
|
|
|
}
|
|
|
|
|
2020-10-20 15:47:34 +00:00
|
|
|
size_t length() const
|
|
|
|
{
|
|
|
|
if (!m_have_length) {
|
|
|
|
m_length = calculate_length();
|
|
|
|
m_have_length = true;
|
|
|
|
}
|
|
|
|
return m_length;
|
|
|
|
}
|
2020-05-17 11:02:27 +00:00
|
|
|
|
2023-03-03 12:56:24 +00:00
|
|
|
constexpr bool validate() const
|
|
|
|
{
|
|
|
|
size_t valid_bytes = 0;
|
|
|
|
return validate(valid_bytes);
|
|
|
|
}
|
|
|
|
|
|
|
|
constexpr bool validate(size_t& valid_bytes) const
|
|
|
|
{
|
|
|
|
valid_bytes = 0;
|
|
|
|
|
|
|
|
for (auto it = m_string.begin(); it != m_string.end(); ++it) {
|
|
|
|
auto [byte_length, code_point, is_valid] = decode_leading_byte(static_cast<u8>(*it));
|
|
|
|
if (!is_valid)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
for (size_t i = 1; i < byte_length; ++i) {
|
|
|
|
if (++it == m_string.end())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
auto [code_point_bits, is_valid] = decode_continuation_byte(static_cast<u8>(*it));
|
|
|
|
if (!is_valid)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
code_point <<= 6;
|
|
|
|
code_point |= code_point_bits;
|
|
|
|
}
|
|
|
|
|
2023-03-03 13:40:12 +00:00
|
|
|
if (!is_valid_code_point(code_point, byte_length))
|
2023-03-03 12:56:24 +00:00
|
|
|
return false;
|
|
|
|
|
|
|
|
valid_bytes += byte_length;
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
private:
|
2023-03-03 12:56:24 +00:00
|
|
|
friend class Utf8CodePointIterator;
|
|
|
|
|
2021-09-18 16:19:21 +00:00
|
|
|
u8 const* begin_ptr() const { return (u8 const*)m_string.characters_without_null_termination(); }
|
|
|
|
u8 const* end_ptr() const { return begin_ptr() + m_string.length(); }
|
2020-10-20 15:47:34 +00:00
|
|
|
size_t calculate_length() const;
|
2019-08-27 21:57:15 +00:00
|
|
|
|
2023-03-03 12:56:24 +00:00
|
|
|
struct Utf8EncodedByteData {
|
|
|
|
size_t byte_length { 0 };
|
|
|
|
u8 encoding_bits { 0 };
|
|
|
|
u8 encoding_mask { 0 };
|
2023-03-03 13:40:12 +00:00
|
|
|
u32 first_code_point { 0 };
|
|
|
|
u32 last_code_point { 0 };
|
2023-03-03 12:56:24 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
static constexpr Array<Utf8EncodedByteData, 4> utf8_encoded_byte_data { {
|
2023-03-03 13:40:12 +00:00
|
|
|
{ 1, 0b0000'0000, 0b1000'0000, 0x0000, 0x007F },
|
|
|
|
{ 2, 0b1100'0000, 0b1110'0000, 0x0080, 0x07FF },
|
|
|
|
{ 3, 0b1110'0000, 0b1111'0000, 0x0800, 0xFFFF },
|
|
|
|
{ 4, 0b1111'0000, 0b1111'1000, 0x10000, 0x10FFFF },
|
2023-03-03 12:56:24 +00:00
|
|
|
} };
|
|
|
|
|
|
|
|
struct LeadingByte {
|
|
|
|
size_t byte_length { 0 };
|
|
|
|
u32 code_point_bits { 0 };
|
|
|
|
bool is_valid { false };
|
|
|
|
};
|
|
|
|
|
|
|
|
static constexpr LeadingByte decode_leading_byte(u8 byte)
|
|
|
|
{
|
|
|
|
for (auto const& data : utf8_encoded_byte_data) {
|
|
|
|
if ((byte & data.encoding_mask) != data.encoding_bits)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
byte &= ~data.encoding_mask;
|
|
|
|
return { data.byte_length, byte, true };
|
|
|
|
}
|
|
|
|
|
|
|
|
return { .is_valid = false };
|
|
|
|
}
|
|
|
|
|
|
|
|
struct ContinuationByte {
|
|
|
|
u32 code_point_bits { 0 };
|
|
|
|
bool is_valid { false };
|
|
|
|
};
|
|
|
|
|
|
|
|
static constexpr ContinuationByte decode_continuation_byte(u8 byte)
|
|
|
|
{
|
|
|
|
constexpr u8 continuation_byte_encoding_bits = 0b1000'0000;
|
|
|
|
constexpr u8 continuation_byte_encoding_mask = 0b1100'0000;
|
|
|
|
|
|
|
|
if ((byte & continuation_byte_encoding_mask) == continuation_byte_encoding_bits) {
|
|
|
|
byte &= ~continuation_byte_encoding_mask;
|
|
|
|
return { byte, true };
|
|
|
|
}
|
|
|
|
|
|
|
|
return { .is_valid = false };
|
|
|
|
}
|
|
|
|
|
2023-03-03 13:40:12 +00:00
|
|
|
static constexpr bool is_valid_code_point(u32 code_point, size_t byte_length)
|
|
|
|
{
|
|
|
|
for (auto const& data : utf8_encoded_byte_data) {
|
|
|
|
if (code_point >= data.first_code_point && code_point <= data.last_code_point)
|
|
|
|
return byte_length == data.byte_length;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
StringView m_string;
|
2020-10-20 15:47:34 +00:00
|
|
|
mutable size_t m_length { 0 };
|
|
|
|
mutable bool m_have_length { false };
|
2019-08-27 21:57:15 +00:00
|
|
|
};
|
|
|
|
|
2023-03-03 14:18:14 +00:00
|
|
|
#ifndef KERNEL
|
2023-01-27 15:26:57 +00:00
|
|
|
class DeprecatedStringCodePointIterator {
|
|
|
|
public:
|
|
|
|
Optional<u32> next()
|
|
|
|
{
|
|
|
|
if (m_it.done())
|
|
|
|
return {};
|
|
|
|
auto value = *m_it;
|
|
|
|
++m_it;
|
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2023-01-28 20:07:48 +00:00
|
|
|
[[nodiscard]] Optional<u32> peek() const
|
|
|
|
{
|
|
|
|
if (m_it.done())
|
|
|
|
return {};
|
|
|
|
return *m_it;
|
|
|
|
}
|
|
|
|
|
|
|
|
[[nodiscard]] size_t byte_offset() const
|
|
|
|
{
|
|
|
|
return Utf8View(m_string).byte_offset_of(m_it);
|
|
|
|
}
|
|
|
|
|
2023-01-27 15:26:57 +00:00
|
|
|
DeprecatedStringCodePointIterator(DeprecatedString string)
|
|
|
|
: m_string(move(string))
|
|
|
|
, m_it(Utf8View(m_string).begin())
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
DeprecatedString m_string;
|
|
|
|
Utf8CodePointIterator m_it;
|
|
|
|
};
|
2023-03-03 14:18:14 +00:00
|
|
|
#endif
|
2023-01-27 15:26:57 +00:00
|
|
|
|
2023-02-20 13:08:40 +00:00
|
|
|
template<>
|
|
|
|
struct Formatter<Utf8View> : Formatter<StringView> {
|
|
|
|
ErrorOr<void> format(FormatBuilder&, Utf8View const&);
|
|
|
|
};
|
|
|
|
|
2019-08-27 21:57:15 +00:00
|
|
|
}
|
|
|
|
|
2022-11-26 11:18:30 +00:00
|
|
|
#if USING_AK_GLOBALLY
|
2023-03-03 14:18:14 +00:00
|
|
|
# ifndef KERNEL
|
2023-01-27 15:26:57 +00:00
|
|
|
using AK::DeprecatedStringCodePointIterator;
|
2023-03-03 14:18:14 +00:00
|
|
|
# endif
|
2021-06-01 07:45:52 +00:00
|
|
|
using AK::Utf8CodePointIterator;
|
2019-08-27 21:57:15 +00:00
|
|
|
using AK::Utf8View;
|
2022-11-26 11:18:30 +00:00
|
|
|
#endif
|