stl map find(const key_type& _Keyval)源码分析及图示

stl源码片段：

	iterator find(const key_type& _Keyval)
		{	// find an element in mutable sequence that matches _Keyval
		iterator _Where = lower_bound(_Keyval);
		return (_Where == end() || this->comp(_Keyval, _Key(_Where._Mynode()))
			? end() : _Where);
		}

其中lower_bound()函数的效果：返回“键值 >= key“的第一个元素位置。
执行iterator _Where = lower_bound(_Keyval);会返回两种结果：1，返回为空的右节点；2，返回等于或者大于key的元素的位置。

参考lower_bound()的源码：

	_Nodeptr _Lbound(const key_type& _Keyval) const
		{	// find leftmost node not less than _Keyval
		_Nodeptr _Pnode = _Root();
		_Nodeptr _Wherenode = _Myhead;	// end() if search fails

		while (!_Isnil(_Pnode))
			if (this->comp(_Key(_Pnode), _Keyval))
				_Pnode = _Right(_Pnode);	// descend right subtree
			else
				{	// _Pnode not less than _Keyval, remember it
				_Wherenode = _Pnode;
				_Pnode = _Left(_Pnode);	// descend left subtree
				}

		return (_Wherenode);	// return best remembered candidate
		}

对于第一种情况的演示代码：

#include <iostream>
#include <map>

int main()
{
	std::map<int, int> col1;
	col1.insert(std::make_pair(3, 1));
	col1.insert(std::make_pair(2, 1));
	col1.insert(std::make_pair(1, 1));

	std::map<int, int>::iterator it = col1.find(4);
}

在函数_Lbound()中，this->comp(_Key(_Pnode), _Keyval)，即3<4成立，_Pnode搜索其Right节点（该节点为空），返回的_Wherenode指向end()
最后_Where == end()为true，_Lbound()返回end()。如下图所示：


对于第二种情况的演示代码：

#include <iostream>
#include <map>

int main()
{
	std::map<int, int> col1;
	col1.insert(std::make_pair(3, 1));
	col1.insert(std::make_pair(2, 1));
	col1.insert(std::make_pair(1, 1));
	col1.insert(std::make_pair(5, 1));

	std::map<int, int>::iterator it = col1.find(4);
}

在函数_Lbound()中，_Pnode = _Left(_Pnode);，即5>4，节点5会搜索其Left节点（该节点为空），返回的_Wherenode指向5。
然后this->comp(_Keyval, _Key(_Where._Mynode()))因为4<5返回true，_Lbound()返回end()。如下图所示：