命名空间
变体
操作

operator==,!=,<,<=,>,>=,<=>(std::basic_string_view)

来自 cppreference.cn
 
C++
 
字符串库
 
std::basic_string_view
 
定义于头文件 <string_view>
(1)
template< class CharT, class Traits >

constexpr bool operator==( std::basic_string_view<CharT,Traits> lhs,

                           std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr bool operator==(
    std::basic_string_view<CharT,Traits> lhs,

    std::type_identity_t<std::basic_string_view<CharT,Traits>> rhs ) noexcept;
 (C++20 起)
template< class CharT, class Traits >

constexpr bool operator!=( std::basic_string_view<CharT,Traits> lhs,

                           std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (2) (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr bool operator<( std::basic_string_view<CharT,Traits> lhs,

                          std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (3) (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr bool operator<=( std::basic_string_view<CharT,Traits> lhs,

                           std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (4) (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr bool operator>( std::basic_string_view<CharT,Traits> lhs,

                          std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (5) (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr bool operator>=( std::basic_string_view<CharT,Traits> lhs,

                           std::basic_string_view<CharT,Traits> rhs ) noexcept;
 (6) (C++17 起)
(C++20 前)
template< class CharT, class Traits >

constexpr /*comp-cat*/ operator<=>(
    std::basic_string_view<CharT,Traits> lhs,

    std::type_identity_t<std::basic_string_view<CharT,Traits>> rhs ) noexcept;
 (7) (C++20 起)

比较两个视图。

所有比较均通过 compare() 成员函数进行（该函数本身通过 Traits::compare() 定义）。

  • 如果 lhs 和 rhs 的大小相同，并且 lhs 中的每个字符在 rhs 中相同位置都有一个等效字符，则两个视图相等。

该实现提供了足够的额外 constexpr 和 noexcept 函数重载，以便 basic_string_view<CharT,Traits> 对象 sv 可以与另一个对象 t 进行比较，并隐式转换为 basic_string_view<CharT,Traits>，其语义与比较 sv 和 basic_string_view<CharT,Traits>(t) 相同。

 (C++20 前)

三路比较运算符 (/*comp-cat*/) 的返回类型是 Traits::comparison_category（如果该限定 ID 表示一个类型），否则为 std::weak_ordering。如果 /*comp-cat*/ 不是比较类别类型，则程序格式错误。

<、<=、>、>= 和 != 运算符分别由 operator<=> 和 operator== 合成。

 (C++20 起)

目录

[编辑] 参数

lhs, rhs - 要比较的视图

[编辑] 返回值

1-6) 如果对应的比较成立，则为 true，否则为 false。
7) static_cast</*comp-cat*/>(lhs.compare(rhs) <=> 0)。

[编辑] 复杂度

与视图大小成线性关系。

[编辑] 注意

可以通过一个参数类型中的非推导上下文来实现足够的额外重载。

 (C++20 前)

std::string_view、std::wstring_view、std::u8string_view、std::u16string_view 和 std::u32string_view 的三路比较结果类型是 std::strong_ordering。

std::type_identity_t 用于非推导上下文，这使得可隐式转换为字符串视图类型的参数可以与字符串视图进行比较。

 (C++20 起)

[编辑] 示例

运行此代码
#include <string_view>
 
int main()
{
    using namespace std::literals;
 
    static_assert(""sv == ""sv);
 
    static_assert(""sv == "", "Selects an additional overload until C++20.");
 
    static_assert("" == ""sv, "Selects an additional overload until C++20."
                              "Uses a rewritten candidate since C++20.");
 
    static_assert(!(""sv != ""sv), "Uses the rewritten candidate since C++20.");
 
    static_assert(!(""sv != ""), "Selects an additional overload until C++20;"
                                 "Uses a rewritten candidate since C++20.");
 
    static_assert(!("" != ""sv), "Selects an additional overload until C++20."
                                 "Uses a rewritten candidate since C++20.");
}

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 发布时的行为 正确的行为
LWG 3432 C++20 operator<=> 的返回类型不要求是比较类别类型 需要
LWG 3950 C++20 仍然需要冗余的额外重载 重载集已减少
取自 “https://cppreference.cn/mwiki/index.php?title=cpp/string/basic_string_view/operator_cmp&oldid=171346”