命名空间
变体
操作

operator==,<=>(std::inplace_vector)

来自 cppreference.cn
 
 
 
 
constexpr friend bool operator==( const std::inplace_vector<T, N>& lhs,
                                  const std::inplace_vector<T, N>& rhs );
(1) (C++26 起)
constexpr friend synth-three-way-result<T>

    operator<=>( const std::inplace_vector<T, N>& lhs,

                 const std::inplace_vector<T, N>& rhs );
(2) (C++26 起)

比较两个 std::inplace_vector 的内容。

1) 检查 lhsrhs 的内容是否相等,即它们具有相同数量的元素,并且 lhs 中的每个元素都与 rhs 中相同位置的元素比较相等。
2) 按字典序比较 lhsrhs 的内容。比较的执行方式如同调用:
std::lexicographical_compare_three_way(lhs.begin(), lhs.end(),
                                       rhs.begin(), rhs.end(), synth-three-way);
.
返回类型是 synth-three-way 的返回类型(即 synth-three-way-result <T>)。
必须满足以下至少一个条件:
  • T 满足 three_way_comparable
  • 为类型(可能 const 限定的)T 的值定义了 <,并且 < 是全序关系。
   否则,行为是未定义的。

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

目录

[编辑] 参数

lhs, rhs - 要比较内容的 std::inplace_vector
-
为了使用重载 (1),T 必须满足 EqualityComparable 的要求。

[编辑] 返回值

1) 如果 std::inplace_vector 的内容相等,则为 true,否则为 false
2) 如果 lhsrhs 中存在第一对不相等的元素,则返回它们的相对顺序,否则返回 lhs.size() <=> rhs.size()

[编辑] 复杂度

1) 如果 lhsrhs 的大小不同,则为常数时间,否则与 std::inplace_vector 的大小成线性关系。
2)std::inplace_vector 的大小成线性关系。

[编辑] 注意

关系运算符是根据 synth-three-way 定义的,它尽可能使用 operator<=>,否则使用 operator<

值得注意的是,如果元素本身不提供 operator<=>,但可以隐式转换为可进行三向比较的类型,则将使用该转换而不是 operator<

[编辑] 示例

#include <inplace_vector>
 
int main()
{
    constexpr std::inplace_vector<int, 4>
        a{1, 2, 3},
        b{1, 2, 3},
        c{7, 8, 9, 10};
 
    static_assert
    (""
        "Compare equal containers:" &&
        (a != b) == false &&
        (a == b) == true &&
        (a < b) == false &&
        (a <= b) == true &&
        (a > b) == false &&
        (a >= b) == true &&
        (a <=> b) >= 0 &&
        (a <=> b) <= 0 &&
        (a <=> b) == 0 &&
 
        "Compare non equal containers:" &&
        (a != c) == true &&
        (a == c) == false &&
        (a < c) == true &&
        (a <= c) == true &&
        (a > c) == false &&
        (a >= c) == false &&
        (a <=> c) < 0 &&
        (a <=> c) != 0 &&
        (a <=> c) <= 0 &&
    "");
}