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

pikhmj

功能实现：
    使用equal_range()对list集合进行值查找（list中的元素为自定义类型），如下所示：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63

#include "stdafx.h" #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;       }; #if 1 inline ostream& operator << (ostream &os, const test &other) {     return os << other.m_x << "    " << other.m_y << endl; } #endif // 0 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 _tmain(int argc, _TCHAR* 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;     }     /*for (auto i : li)         cout << i << endl;*/     system("pause");     return 0; }

注意：
1）欲使用equal_range()进行值查找，则首先必须使要进行查找的集合是已排序的。
2）采用默认operator<进行排序时，记住加上const修饰符，否则，会报错误：
未能使函数模板“unknown-type std::less<void>::operator ()(_Ty1 &&,_Ty2 &&) const”专用化。
单步跟踪一下equal_range(),知道它调用的是less<>(),即operator<;

1 2 3 4 5 6 7 8 9

// 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<>如下：

1 2 3 4 5 6 7 8 9 10 11 12 13

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的。
不知道这样的理解对不对。。。。。。。。。。。。。