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

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (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::sizebasic_string_view::length basic_string_view::max_size basic_string_view::empty 操作 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::at basic_string_view::operator[] basic_string_view::front basic_string_view::back basic_string_view::data 修改器 basic_string_view::remove_prefix basic_string_view::remove_suffix basic_string_view::swap 常量 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 进行比较，其中 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	仍然需要冗余的附加重载	重载集已减少