一：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);
	}

函式作用：

函式使用：

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智慧指標來接收。