功能实现:

    使用equal_range()对list集合进行值查找(list中的元素为自定义类型),如下所示:

#include "stdafx.h"#include 
#include 
#include 
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 1inline ostream& operator << (ostream &os, const test &other){ return os << other.m_x << " " << other.m_y << endl;}#endif // 0struct 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
 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
::iterator, list
::iterator> it = // equal_range(li.begin(), li.end(), test(4, 3), CmpFun()); //有无const均可 pair
::iterator, list
::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<;

// TEMPLATE FUNCTION equal_rangetemplate
 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
{ // transparent functor for operator< template
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的。

不知道这样的理解对不对。。。。。。。。。。。。。