为什么重载操作符

Question

以下是MWE：

#include <iostream>
#include <tuple>
#include <queue>
using namespace std;

bool operator<(tuple<int, int, int> lhs, tuple<int, int, int> rhs)
{
    return get<1>(lhs) < get<1>(rhs);
}

int main()
{
    priority_queue<tuple<int, int, int>> q;
    q.push(make_tuple(2, 5, 3));
    q.push(make_tuple(2, 3, 3));
    cout << get<1>(q.top());
    return 0;
}

奇怪的是，无论我键入




Answer 1

std：：tuple位于名称空间std，编译器将查找重载的运算符

修复：

#include <iostream>
#include <tuple>
#include <queue>
using namespace std;

bool operator<(tuple<int, int, int> lhs, tuple<int, int, int> rhs)
{
    return get<1>(lhs) > get<1>(rhs);
}

int main()
{
    using T = tuple<int, int, int>;
    priority_queue<T, vector<T>, bool(*)(T, T)> q(::operator<);
    q.push(make_tuple(2,5,3));
    q.push(make_tuple(2,3,3));
    cout << get<1>(q.top());
    return 0;
}
// Outputs: 3

Answer 2

您的＜code＞运算符过载

搜索合适的重载发生在调用运算符的命名空间中，这是priority_queue所在的命名空间，即std。参数相关的查找会导致在参数的命名空间中进行额外的搜索，但因为tuple也在std命名空间中，这也没有帮助。编译器根本没有理由考虑全局命名空间。

相反，标准库对< code>std::operator的定义

// !!!!!!!!!!!!!!!!!!!!!!!!
// BAD SOLUTION, DO NOT USE
// !!!!!!!!!!!!!!!!!!!!!!!!

namespace std {
bool operator<(tuple<int, int, int> lhs, tuple<int, int, int> rhs)
{
    return get<1>(lhs) > get<1>(rhs); // Changed to > so we can see the difference.
}
}

现在输出为3。您的运算符现在被考虑并优先于默认运算符，因为非模板函数优先于模板函数。

但是标准禁止将自己的代码放入＜code＞名称空间std＜/code＞（除了一些小的例外），那么该怎么办呢？解决方案是显式传递一个比较器函子：

#include <iostream>
#include <tuple>
#include <queue>
using namespace std;

struct element_1_greater {
    bool operator()(tuple<int, int, int> lhs, tuple<int, int, int> rhs)
    {
        return get<1>(lhs) > get<1>(rhs);
    }
};

int main()
{
    priority_queue<tuple<int, int, int>, vector<tuple<int, int, int>>, element_1_greater> q;
    q.push(make_tuple(2,5,3));
    q.push(make_tuple(2,3,3));
    cout << get<1>(q.top()) << '\n';
    return 0;
}

请注意，我们还需要将第二个参数传递给priority_queue;当然，你可以用typedef或使用声明来缩短它。