mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-04 20:54:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: precondition checks added to basic_symbol_text

Browse Source
This commit is contained in:
Mateusz Pusz
2024-03-18 22:52:30 +09:00
parent 16f4f5d4a8
commit 7a0baae1ee
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/core/include/mp-units/bits/symbol_text.h
View File

@@ -91,6 +91,7 @@ struct basic_symbol_text {
constexpr explicit(false) basic_symbol_text(const char (&txt)[N + 1]) :
unicode_(detail::to_u8string(basic_fixed_string{txt})), ascii_(txt)
{
gsl_ExpectsAudit(txt[N] == char{});
gsl_Expects(detail::is_basic_literal_character_set(txt));
}
@@ -102,6 +103,8 @@ struct basic_symbol_text {
constexpr basic_symbol_text(const char8_t (&u)[N + 1], const char (&a)[M + 1]) : unicode_(u), ascii_(a)
{
gsl_ExpectsAudit(u[N] == char8_t{});
gsl_ExpectsAudit(a[M] == char{});
gsl_Expects(detail::is_basic_literal_character_set(a));
}
@@ -113,7 +116,11 @@ struct basic_symbol_text {
[[nodiscard]] constexpr const auto& unicode() const { return unicode_; }
[[nodiscard]] constexpr const auto& ascii() const { return ascii_; }
[[nodiscard]] constexpr bool empty() const { return unicode().empty() && ascii().empty(); }
[[nodiscard]] constexpr bool empty() const
{
gsl_Expects(unicode().empty() == ascii().empty());
return unicode().empty();
}
template<std::size_t N2, std::size_t M2>
[[nodiscard]] constexpr friend basic_symbol_text<N + N2, M + M2> operator+(const basic_symbol_text& lhs,