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

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

字符串库

以空字符结尾的字符串

字节字符串

多字节字符串

宽字符串

类

basic_string

basic_string_view (C++17)

char_traits

 

std::basic_string_view

成员函数 basic_string_view::basic_string_view    basic_string_view::operator= 迭代器 basic_string_view::beginbasic_string_view::cbegin basic_string_view::endbasic_string_view::cend basic_string_view::rbeginbasic_string_view::crbegin basic_string_view::rendbasic_string_view::crend 元素访问 basic_string_view::at basic_string_view::operator[] basic_string_view::front basic_string_view::back basic_string_view::data 容量 basic_string_view::sizebasic_string_view::length basic_string_view::max_size basic_string_view::empty 修饰符 basic_string_view::remove_prefix basic_string_view::remove_suffix basic_string_view::swap

操作 basic_string_view::copy basic_string_view::substr basic_string_view::compare basic_string_view::starts_with (C++20) basic_string_view::ends_with (C++20) basic_string_view::contains (C++23) basic_string_view::find basic_string_view::rfind basic_string_view::find_first_of basic_string_view::find_last_of basic_string_view::find_first_not_of basic_string_view::find_last_not_of 常量 basic_string_view::npos 非成员函数 operator==operator!=operator<operator>operator<=operator>=operator<=> (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(C++20) operator<< operator""sv 辅助类 hash<std::string_view>hash<std::wstring_view>hash<std::u8string_view>hash<std::u16string_view>hash<std::u32string_view> (C++20) 推导指南(C++20)

 

在头文件 <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 中的相同位置都有一个等效字符，则两个视图相等。

• 排序比较按字典顺序进行 - 比较由等效于 std::lexicographical_compare 的函数执行。

实现提供了足够的额外 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，否则为 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++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 3432	C++20	operator<=> 的返回类型不需要是比较类别类型	需要
LWG 3950	C++20	仍然需要冗余的额外重载	重载集减少