_M_lower_bound与_M_upper_bound的作用

 

#define    _STLP_TEMPLATE_FOR_CONT_EXT               template <class _KT>

 

  _STLP_TEMPLATE_FOR_CONT_EXT

  _Base_ptr _M_lower_bound(const _KT& __k) const {   

    _Base_ptr __y = __CONST_CAST(_Base_ptr, &this->_M_header._M_data);      /* Last node which is not less than __k. */

    _Base_ptr __x = _M_root();      /* Current node. */

 

    while (__x != 0)

      if (!_M_key_compare(_S_key(__x), __k))

        __y = __x, __x = _S_left(__x);

      else

        __x = _S_right(__x);

 

    return __y;

  }

 

 

  _STLP_TEMPLATE_FOR_CONT_EXT

  _Base_ptr _M_upper_bound(const _KT& __k) const {

    _Base_ptr __y = __CONST_CAST(_Base_ptr, &this->_M_header._M_data); /* Last node which is greater than __k. */

    _Base_ptr __x = _M_root(); /* Current node. */

 

    while (__x != 0)

      if (_M_key_compare(__k, _S_key(__x)))

        __y = __x, __x = _S_left(__x);

      else

        __x = _S_right(__x);

 

    return __y;

  }

 

    _M_lower_bound 函数的功能是找出可以插入键__k的第一个位置，而_M_upper_bound是找出可以插入键__k的最后一个位置，如果原来队列中不存在__k，那么两个函数返回位置是一致的。

 

如果这两个函数应用在线性表上，那么其情形应该如下图所示。

 

在树中，情况会稍微复杂一点，但是不难理解，有图有真相。