跳到主要内容

std::equal() 算法

// (1)
template< class InputIt1, class InputIt2 >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2 );

// (2)
template< class InputIt1, class InputIt2, class BinaryPredicate >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, BinaryPredicate p );

// (3)
template< class InputIt1, class InputIt2 >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2 );

// (4)
template< class InputIt1, class InputIt2, class BinaryPredicate >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, BinaryPredicate p );

// (5)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2 );

// (6)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPredicate >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, BinaryPredicate p );

// (7)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, ForwardIt2 last2 );

// (8)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPredicate >
bool equal( ExecutionPolicy&& policy,
            ForwardIt1 first1, ForwardIt1 last1,
            ForwardIt2 first2, ForwardIt2 last2,
            BinaryPredicate p );

  • (1 - 2) 如果范围 [first1; last1) 等同于范围 [first2; first2 + (last1 - first1))，则返回 true，否则返回 false。

  • (3 - 4) 如果范围 [first1; last1) 等同于范围 [first2; last2)，则返回 true，否则返回 false。

  • (5 - 8) 与 (1) 相同，但根据 policy 执行。

    重载决议

    这些重载仅当 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>  (直到 C++20) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>  (自 C++20 起) 为 true 时才参与重载决议。

如果两个范围具有相同数量的元素，并且对于范围 [first1; last1) 中的每个迭代器 i，*i 等于 *(first2 + (i - first1))，则认为它们相等。

重载 (1, 3, 5, 7) 使用 operator== 来确定两个元素是否相等，而重载 (2, 4, 6, 8) 使用给定的二元谓词 p。

参数​

first1
last1

第一个要比较的元素范围。

first2
last2

第二个要比较的元素范围。

policy

要使用的执行策略。有关详细信息，请参阅执行策略。

p

二元谓词，如果元素应被视为相等，则返回 true。

函数的签名应与以下内容等效

bool fun(const Type1& a, const Type2& b);
  • 签名不需要包含 const&。
  • 函数不得修改传递给它的对象
  • 必须接受类型（可能为 const）Type 和 Type2 的所有值，无论值类别如何（因此不允许 Type1&，除非对于 Type1 移动等同于复制，否则也不允许 Type1 (自 C++11 起)）
  • 类型 Type1 和 Type2 必须是这样的：类型为 InputIt1 和 InputIt2 的对象可以被解引用然后隐式转换为它们。

类型要求​

InputIt1
InputIt2 		LegacyInputIterator
ForwardIt1
ForwardIt2 		LegacyForwardIterator

返回值​

如果两个范围中的元素相等，则返回 true。
否则，返回 false。

复杂度​

  • (1 - 2) 最多 last1 - first1 次谓词应用。

  • (3 - 4) 最多 min(last1 - first1, last2 - first2) 次谓词应用。但是，如果 InputIt1 和 InputIt2 满足 LegacyRandomAccessIterator 的要求并且 last1 - first1 != last2 - first2，则不会进行任何谓词应用（在不查看任何元素的情况下检测到大小不匹配）。

  • (5 - 8) 相同，但复杂性指定为 O(x)，而不是“最多 x”。

异常​

带有模板参数 ExecutionPolicy 的重载报告错误如下

  • 如果作为算法一部分调用的函数执行抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用 std::terminate。对于任何其他 ExecutionPolicy，行为是实现定义的.
  • 如果算法未能分配内存，则抛出 std::bad_alloc。

可能的实现​

equal (1)
template<class InputIt1, class InputIt2>
constexpr //< since C++20
bool equal(InputIt1 first1, InputIt1 last1, InputIt2 first2)
{
    for (; first1 != last1; ++first1, ++first2)
        if (!(*first1 == *first2))
            return false;

    return true;
}
equal (2)
template<class InputIt1, class InputIt2, class BinaryPredicate>
  constexpr //< since C++20
bool equal(InputIt1 first1, InputIt1 last1,
    InputIt2 first2, BinaryPredicate p)
{
  for (; first1 != last1; ++first1, ++first2)
    if (!p(*first1, *first2))
      return false;

  return true;
}

示例​

Main.cpp
#include <algorithm>
#include <iomanip>
#include <iostream>
#include <string_view>

constexpr bool is_palindrome(const std::string_view& s)
{
    return std::equal(s.cbegin(), s.cbegin() + s.size() / 2, s.crbegin());
}

void test(const std::string_view& s)
{
    std::cout << std::quoted(s)
              << (is_palindrome(s) ? " is" : " is not")
              << " a palindrome\n";
}

int main()
{
    test("radar");
    test("hello");
}
输出
"radar" is a palindrome
"hello" is not a palindrome
本文源自 此 CppReference 页面。它可能为了改进或编辑者偏好而进行了修改。单击“编辑此页面”以查看此文档所做的所有更改。
悬停查看原始许可证。

std::equal() 算法

// (1)
template< class InputIt1, class InputIt2 >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2 );

// (2)
template< class InputIt1, class InputIt2, class BinaryPredicate >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, BinaryPredicate p );

// (3)
template< class InputIt1, class InputIt2 >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2 );

// (4)
template< class InputIt1, class InputIt2, class BinaryPredicate >
constexpr bool equal( InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, BinaryPredicate p );

// (5)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2 );

// (6)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPredicate >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, BinaryPredicate p );

// (7)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >
bool equal( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, ForwardIt2 last2 );

// (8)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryPredicate >
bool equal( ExecutionPolicy&& policy,
            ForwardIt1 first1, ForwardIt1 last1,
            ForwardIt2 first2, ForwardIt2 last2,
            BinaryPredicate p );

  • (1 - 2) 如果范围 [first1; last1) 等同于范围 [first2; first2 + (last1 - first1))，则返回 true，否则返回 false。

  • (3 - 4) 如果范围 [first1; last1) 等同于范围 [first2; last2)，则返回 true，否则返回 false。

  • (5 - 8) 与 (1) 相同，但根据 policy 执行。

    重载决议

    这些重载仅当 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>  (直到 C++20) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>  (自 C++20 起) 为 true 时才参与重载决议。

如果两个范围具有相同数量的元素，并且对于范围 [first1; last1) 中的每个迭代器 i，*i 等于 *(first2 + (i - first1))，则认为它们相等。

重载 (1, 3, 5, 7) 使用 operator== 来确定两个元素是否相等，而重载 (2, 4, 6, 8) 使用给定的二元谓词 p。

参数​

first1
last1

第一个要比较的元素范围。

first2
last2

第二个要比较的元素范围。

policy

要使用的执行策略。有关详细信息，请参阅执行策略。

p

二元谓词，如果元素应被视为相等，则返回 true。

函数的签名应与以下内容等效

bool fun(const Type1& a, const Type2& b);
  • 签名不需要包含 const&。
  • 函数不得修改传递给它的对象
  • 必须接受类型（可能为 const）Type 和 Type2 的所有值，无论值类别如何（因此不允许 Type1&，除非对于 Type1 移动等同于复制，否则也不允许 Type1 (自 C++11 起)）
  • 类型 Type1 和 Type2 必须是这样的：类型为 InputIt1 和 InputIt2 的对象可以被解引用然后隐式转换为它们。

类型要求​

InputIt1
InputIt2 		LegacyInputIterator
ForwardIt1
ForwardIt2 		LegacyForwardIterator

返回值​

如果两个范围中的元素相等，则返回 true。
否则，返回 false。

复杂度​

  • (1 - 2) 最多 last1 - first1 次谓词应用。

  • (3 - 4) 最多 min(last1 - first1, last2 - first2) 次谓词应用。但是，如果 InputIt1 和 InputIt2 满足 LegacyRandomAccessIterator 的要求并且 last1 - first1 != last2 - first2，则不会进行任何谓词应用（在不查看任何元素的情况下检测到大小不匹配）。

  • (5 - 8) 相同，但复杂性指定为 O(x)，而不是“最多 x”。

异常​

带有模板参数 ExecutionPolicy 的重载报告错误如下

  • 如果作为算法一部分调用的函数执行抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用 std::terminate。对于任何其他 ExecutionPolicy，行为是实现定义的.
  • 如果算法未能分配内存，则抛出 std::bad_alloc。

可能的实现​

equal (1)
template<class InputIt1, class InputIt2>
constexpr //< since C++20
bool equal(InputIt1 first1, InputIt1 last1, InputIt2 first2)
{
    for (; first1 != last1; ++first1, ++first2)
        if (!(*first1 == *first2))
            return false;

    return true;
}
equal (2)
template<class InputIt1, class InputIt2, class BinaryPredicate>
  constexpr //< since C++20
bool equal(InputIt1 first1, InputIt1 last1,
    InputIt2 first2, BinaryPredicate p)
{
  for (; first1 != last1; ++first1, ++first2)
    if (!p(*first1, *first2))
      return false;

  return true;
}

示例​

Main.cpp
#include <algorithm>
#include <iomanip>
#include <iostream>
#include <string_view>

constexpr bool is_palindrome(const std::string_view& s)
{
    return std::equal(s.cbegin(), s.cbegin() + s.size() / 2, s.crbegin());
}

void test(const std::string_view& s)
{
    std::cout << std::quoted(s)
              << (is_palindrome(s) ? " is" : " is not")
              << " a palindrome\n";
}

int main()
{
    test("radar");
    test("hello");
}
输出
"radar" is a palindrome
"hello" is not a palindrome
本文源自 此 CppReference 页面。它可能为了改进或编辑者偏好而进行了修改。单击“编辑此页面”以查看此文档所做的所有更改。
悬停查看原始许可证。