mismatch详解

 

mismatch:搜寻两区间第一处不同点.

template<class _InIt1,

         class _InIt2> inline

         pair<_InIt1, _InIt2>

                   mismatch(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch

         _DEBUG_RANGE(_First1, _Last1);

         _DEBUG_POINTER(_First2);

         _STD pair<_UNCHECKED_TYPE(_InIt1), _InIt2> _Ans(

                   _STD _Mismatch1(_Unchecked(_First1), _Unchecked(_Last1),

                            _First2, _Is_checked(_First2)));

         return (_STD pair<_InIt1, _InIt2>(

                   _Rechecked(_First1, _Ans.first),

                   _Ans.second));

         }

 

template<class _InIt1,

         class _InIt2> inline

         pair<_InIt1, _InIt2>

                   _Mismatch1(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2, _STD tr1::true_type)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch, checked input

         return (_STD _Mismatch(_First1, _Last1,

                   _First2));

         }

 

                   // TEMPLATE FUNCTION mismatch

template<class _InIt1,

         class _InIt2> inline

         pair<_InIt1, _InIt2>

                   _Mismatch(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch

         for (; _First1 != _Last1 && *_First1 == *_First2; )//此处循环判断[_First-_Last1)与[_First2,...)

                   ++_First1, ++_First2;//这里又出现了逗号表达式.当然了.取值在这里没有太大的意义

         return (pair<_InIt1, _InIt2>(_First1, _First2));

         }

mismatch:搜寻两区间第一处使得_Pred为false的对应元素.

template<class _InIt1,

         class _InIt2,

         class _Pr> inline

         pair<_InIt1, _InIt2>

                   mismatch(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2, _Pr _Pred)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch using _Pred

         _DEBUG_RANGE(_First1, _Last1);

         _DEBUG_POINTER(_First2);

         _DEBUG_POINTER(_Pred);

         _STD pair<_UNCHECKED_TYPE(_InIt1), _InIt2> _Ans(

                   _STD _Mismatch2(_Unchecked(_First1), _Unchecked(_Last1),

                            _First2, _Pred, _Is_checked(_First2)));

         return (_STD pair<_InIt1, _InIt2>(

                   _Rechecked(_First1, _Ans.first),

                   _Ans.second));

         }

template<class _InIt1,

         class _InIt2,

         class _Pr> inline

         pair<_InIt1, _InIt2>

                   _Mismatch2(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2, _Pr _Pred, _STD tr1::true_type)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch, checked input

         return (_STD _Mismatch(_First1, _Last1,

                   _First2, _Pred));

         }

                   // TEMPLATE FUNCTION mismatch WITH PRED

template<class _InIt1,

         class _InIt2,

         class _Pr> inline

         pair<_InIt1, _InIt2>

                   _Mismatch(_InIt1 _First1, _InIt1 _Last1,

                            _InIt2 _First2, _Pr _Pred)

         {       // return [_First1, _Last1)/[_First2, ...) mismatch using _Pred

         for (; _First1 != _Last1 && _Pred(*_First1, *_First2); )

                   ++_First1, ++_First2;

         return (pair<_InIt1, _InIt2>(_First1, _First2));

         }

需要注意的是函数返回pair<_InIt1,_InIt2>,如果程序没有找到相异点,并不能说明两个序列相等.因为可能第二序列长度大于第一序列长度.在调用的时候,一定要确保第二序列有足够的元素.

另外第二个函数需要的是使得_Pred为false.这与一般函数的要求不同

举例:

1.       template<typename T>

2.       bool mismatch_fun( T _value1,T _value2 )

3.       {

4.       return _value2 % _value1 == 0;

5.       }

6.       int main()

7.       {

8.       vector<int> vecInt;

9.       vecInt.push_back( 3 );

10.    vecInt.push_back( 6 );

11.    vecInt.push_back( 5 );

12.     

13.    list<int> lstInt;

14.    lstInt.push_back( 3 );

15.    lstInt.push_back( 12 );

16.    lstInt.push_back( 10 );

17.    lstInt.push_back( 6 );

18.    pair<vector<int>::iterator,list<int>::iterator > val = mismatch( vecInt.begin(),vecInt.end(),lstInt.begin() );

19.    if ( val.first != vecInt.end() )

20.    {

21.               cout<<"vecInt value:"<<*val.first<<" lstInt value:"<<*val.second<<"\n";

22.    }

23.    val = mismatch( vecInt.begin(),vecInt.end(),lstInt.begin(),mismatch_fun<int> );

24.    if ( val.first != vecInt.end() )

25.    {

26.               cout<<"vecInt value:"<<*val.first<<" lstInt value:"<<*val.second<<"\n";

27.    }

28.    system( "pause" );

29.    return 0;

30.    }

31.     

函数输出:

vecInt value:6 lstInt value:12

说明:23行代码取得的first值为vecInt.end(),但是两个序列并不相等.