> Эта информация, без сомнения, ценна, но речь про нормальные строки, где strlen
> не нужен для вычисления размера. Например, про такие строки: https://github.com/gcc-mirror/gcc/blob/master/libstdc%2...

Причём тут С++ ??? ... ну ладно,  __lhs.size() == __rhs.size()  кто и как вычисляют?

...

template<typename _CharT, typename _Traits, typename _Alloc>
    _GLIBCXX_NODISCARD _GLIBCXX20_CONSTEXPR
    inline bool
    operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
           const basic_string<_CharT, _Traits, _Alloc>& __rhs)
    _GLIBCXX_NOEXCEPT
    {
      return __lhs.size() == __rhs.size()
           && !_Traits::compare(__lhs.data(), __rhs.data(), __lhs.size());
    }

Это пздц, это в мусор, хлама на 100500 лишних тактов.