C++ STL库 泛型算法 find 和 find_if

一：find（）函数

函数原型：

template<class _InIt,
	class _Ty>
	_NODISCARD inline _InIt find(_InIt _First, const _InIt _Last, const _Ty& _Val)
	{	// find first matching _Val
	_DEBUG_RANGE(_First, _Last);//？？？
	return (_Rechecked(_First,
		_Find_unchecked(_Unchecked(_First), _Unchecked(_Last), _Val)));
	}

函数返回值：是一个迭代器（底层是指针）。

函数实现：  

//最底层的实现
template<class _InIt,
	class _Ty> inline
	_InIt _Find_unchecked1(_InIt _First, const _InIt _Last, const _Ty& _Val, false_type)
	{	// find first matching _Val
	for (; _First != _Last; ++_First)
		if (*_First == _Val)
			break;
	return (_First);
	}

函数作用：返回区间_First 到 _Last,中第一个值等于_Val,的位置，如果没找到返回end。

函数使用：

auto it = find(vc.begin(), vc.end(), 34);

二：find_if()函数

函数原型及实现：

template<class _InIt,
	class _Pr>
	_NODISCARD inline _InIt find_if(_InIt _First, const _InIt _Last, _Pr _Pred)
	{	// find first satisfying _Pred
	_DEBUG_RANGE(_First, _Last);
	auto _UFirst = _Unchecked(_First);
	const auto _ULast = _Unchecked(_Last);
	for (; _UFirst != _ULast; ++_UFirst)
		{
		if (_Pred(*_UFirst))//调用某种方法
			{
			break;
			}
		}

	return (_Rechecked(_First, _UFirst));
	}


//函数模板Unchecked()
template<class _Iter>
	constexpr _Iter _Unchecked(_Iter _Src)
	{	// construct unchecked from checked, generic
	return (_Src);
	}

辅助函数：

template<class _Iter,
	class _UIter>
	constexpr _Iter& _Rechecked(_Iter& _Dest, const _UIter _Src)
	{	// reset checked from unchecked, generic
	_Dest = _Src;
	return (_Dest);
	}

函数作用：

  在区间中搜寻第一个满足判断式_Pred()为true的第一个元素。返回他的迭代器（指针）。否则返回last。

函数使用：

auto it3 = Mfind_if(vc.begin(), vc.end(), Mbind2nd<Mless<int>>(Mless<int>(), 23));


//详细整合代码将在最后给出代码。

find和find_if 函数都是用 auto智能指针来接收。