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

功能实现：

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

#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<;

		// 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