C++中的std::equal_to以及示例

在C++标准库中，std::equal_to是一个模板类，用于比较两个值是否相等。它在头文件functional中声明，具体定义如下：

template <typename T = void>
struct equal_to {
    bool operator()(const T& lhs, const T& rhs) const;
};

可以看到，equal_to是一个函数对象（或者叫仿函数），它可以被用在STL算法中，比如std::find_if、std::adjacent_find等等。

equal_to的operator()方法接受两个参数，分别是要比较的两个对象。这里的T可以是任何类型，只要满足以下要求：

• T支持比较操作符==，或者定义operator()方法。
• T定义了==后，必须保证它是等价关系，也就是说：
  • 自反性：对于任意x，x==x必须为true。
  • 对称性：对于任意x和y，如果x==y，则y==x。
  • 传递性：对于任意x、y和z，如果x==y且y==z，则x==z。

接下来，让我们来看看一个基于equal_to的示例：

#include <iostream>
#include <vector>
#include <algorithm>
#include <functional>

int main() {
    std::vector<int> vec {1, 2, 3, 4, 5};
    
    // 使用equal_to进行元素查找
    const auto it = std::find_if(vec.cbegin(), vec.cend(), std::bind(std::equal_to<int>(), std::placeholders::_1, 3));
    if (it != vec.cend()) {
        std::cout << "Found " << *it << " at position " << std::distance(vec.cbegin(), it) << std::endl;
    } else {
        std::cout << "Not found" << std::endl;
    }

    // 使用equal_to判断元素是否相等
    const bool result = std::equal_to<int>()(3, 3);
    std::cout << "3 equals to 3? " << std::boolalpha << result << std::endl;
    
    return 0;
}

上述代码使用了std::bind、std::placeholders、std::find_if和std::equal_to等多个函数对象来实现元素的查找和比较。其中，std::bind是一个函数模板，它可以将一个函数对象绑定到一组参数上，形成一个新的函数对象。std::placeholders::_1表示占位符，可以用来指定新函数对象的第一个参数。

std::find_if是标准库中用于查找元素的算法之一，它接受一个迭代器的范围和一个unary predicate（一元谓词），返回找到的第一个满足unary predicate的元素的迭代器。在上述代码中，使用std::bind将std::equal_to()绑定到3上，形成一个新的等价于[&](int x){return x == 3;}的lambda表达式，这个lambda表达式正好符合unary predicate的要求。

std::equal_to()(3, 3)调用了std::equal_to的operator()方法，将3和3作为参数传入其中，返回一个bool类型的结果。

总的来说，std::equal_to是STL标准库中非常实用的一个函数对象。在实际开发中，我们可以利用它来促进程序的复用和可读性。