std::具有用户定义类的equal函数

std::equal function with user-defined class

本文关键字：equal 函数 用户 std 定义      更新时间：2023-10-16

我正在尝试理解一些示例代码（见下文）。我对std:equal函数的理解是，当使用用户定义的类型时，必须定义一个equality==运算符，才能让函数执行比较。

所以我不明白这个int（）运算符（它是强制转换吗？）是如何执行相同的函数的。为什么equal函数会尝试将类A的实例强制转换为int？

#include <set>
#include <iostream>
#include <algorithm>
using namespace std;
struct A
{
   int a;
   A(int a) : a(a) {}
   operator int() const { return a; }  //LINE I
};
int main()
{
    set<A> s{ 3, 9, 0, 2, 1, 4, 5, 6, 6, 9, 8, 2 };
    cout << equal(s.begin(), s.end(), s.begin()) << endl;  //LINE II
}

您可以通过查看以下代码来了解发生了什么：

#include <iostream>

class A {
    public:
        int a;
        A(int a) :    a(a) {}
        //operator int() const {return a;}
};
int main () {
    A a{10};
    A b{20};
    std::cout << std::boolalpha << (a == b) << std::endl; // does not compile
}

如果对转换运算符进行注释，则代码不会进行比较。如果取消注释，代码将编译，并且通过将a和b隐式转换为int来进行比较。

之所以执行此转换，是因为ints的标准运算符==在计算表达式a == b时是一个很好的候选者，因此编译器触发了到int的隐式转换（感谢@LightnessRacesinOrbit指出这一点）。

相关文章：