一: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智能指针来接收。