谨记在STL比较函数最后加上const修饰符

记住，由于STL源码之中比较函数都是const版本的，而由const修饰成员函数的特性，const版本函数只能调用const函数这个特点，所以如果自己在使用时候一定要注意添加const进行修饰，否则会报错。下面给出例子进行演示。

#include <algorithm>
#include <list>
#include <iostream>

using namespace std;

struct test
{
test(int x, int y) 
:m_x(x), m_y(y)
{}
bool operator < (const test &other) const  //这里如果没有const，程序会报错。
{
return this->m_x < other.m_x;
}
int m_x;
int m_y;

};

inline ostream& operator << (ostream &os, const test &other)
{
return os << other.m_x << "    " << other.m_y << endl;
}


struct CmpFun//自定义
:public binary_function<bool, test, test>
{
bool operator()(const test &lhs, const test &rhs) const  //这里如果没有const，程序还是能运行
{
return lhs.m_x < rhs.m_x;
}

};
int main(int argc, char* argv[])
{
list<test> li;
for (int i = 0; i < 10; ++i)
{
li.push_back(test(i, i*i));
}
li.push_back(test(4, 4));
li.push_front(test(8, 8));

li.sort([](const test &lhs, const test &rhs)
{
return lhs.m_x < rhs.m_x || !(rhs.m_x < lhs.m_x) && lhs.m_y < rhs.m_y;
});

//pair<list<test>::iterator, list<test>::iterator> it =
//equal_range(li.begin(), li.end(), test(4, 3), CmpFun()); //有无const均可
pair<list<test>::iterator, list<test>::iterator> it =
equal_range(li.begin(), li.end(), test(4, 3)); //采用集合元素默认的operator<进行排序
for (; it.first != it.second; ++it.first)
{
cout << it.first->m_x << "   " << it.first->m_y << endl;
}

return 0;
}

 

 

注意：
1）欲使用equal_range()进行值查找，则首先必须使要进行查找的集合是已排序的。
2）采用默认operator<进行排序时，记住加上const修饰符，否则，会报错误：

未能使函数模板“unknown-type std::less<void>::operator ()(_Ty1 &&,_Ty2 &&) const”专用化。
单步跟踪一下equal_range(),知道它调用的是less<>(),即operator<;

// TEMPLATE FUNCTION equal_range
template<class _FwdIt,
class _Ty> inline
pair<_FwdIt, _FwdIt>
equal_range(_FwdIt _First, _FwdIt _Last,
const _Ty& _Val)
{ // find range equivalent to _Val, using operator<
return (_STD equal_range(_First, _Last, _Val, less<>()));
}

在进一步跟踪，知道它调用的less<>如下：
template<>
struct less<void>
{ // transparent functor for operator<
template<class _Ty1,
class _Ty2>
auto operator()(_Ty1&& _Left, _Ty2&& _Right) const
-> decltype(static_cast<_Ty1&&>(_Left)
< static_cast<_Ty2&&>(_Right))
{ // transparently apply operator< to operands
return (static_cast<_Ty1&&>(_Left)
< static_cast<_Ty2&&>(_Right));
}
};
可以看到，less<>()最终调用auto operator()(_Ty1&& _Left, _Ty2&& _Right) const；
其中：_Ty1,_Ty2就是我们的集合元素类型struct test，
return (static_cast<>(_Ty1&&_Left)
< static_cast<_Ty2&&>(_Right));

这句代码其实就是调用了我们重载的operator<。所以，这里是 operator()(_Ty1&& _Left, _Ty2&& _Right)调用我们的operator<,由于operator()(_Ty1&& _Left, _Ty2&& _Right)是const的，const函数只能调用const函数，所以我们的operator<要是const的。

 转载：https://blog.51cto.com/whatever957/1678953