Question

我想了解一些示例代码（见下文）。我对std：equal函数的理解是，当使用用户定义的类型时，必须定义一个相等的==运算符，以允许函数执行比较。

所以我不明白这个int（）运算符（它是一个转换？）是如何执行相同的功能的。为什么等于函数会尝试将类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
}

Answer 1

通过查看此代码，您可以了解正在发生的事情：

#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来完成比较。

正在执行此转换，因为==的标准运算符int是评估表达式a == b的合适候选者，因此编译器触发隐式转换为int （感谢@LightnessRacesinOrbit指出这一点）。

与用户定义的类的std :: equal函数

1 个答案: