谨记在stl比较函数最后加上const修饰符
功能实现：使用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的。
不知道这样的理解对不对。。。。。。。。。。。。。
页:
[1]