stl_tree.h/insert_unique()

// 安插新值；節點鍵值不允許重複，若重複則安插無效。
// 注意，傳回值是個pair，第一元素是個 RB-tree 迭代器，指向新增節點，
// 第二元素表示安插成功與否。
template <class Key, class Value, class KeyOfValue, class Compare, class Alloc>
pair<typename rb_tree<Key, Value, KeyOfValue, Compare, Alloc>::iterator, bool>
rb_tree<Key, Value, KeyOfValue, Compare, Alloc>::insert_unique(const Value& v)
{
  link_type y = header;
  link_type x = root(); // 從根節點開始
  bool comp = true;
  while (x != 0) {      // 從根節點開始，往下尋找適當的安插點
    y = x;
    comp = key_compare(KeyOfValue()(v), key(x)); // v 鍵值小於目前節點之鍵值？
    x = comp ? left(x) : right(x);  // 遇「大」則往左，遇「小於或等於」則往右
  }
  // 離開 while 迴圈之後，y 所指即安插點之父節點（此時的它必為葉節點）

  iterator j = iterator(y);   // 令迭代器j指向安插點之父節點 y
  if (comp) // 如果離開 while 迴圈時 comp 為真（表示遇「大」，將安插於左側）
    if (j == begin())   // 如果安插點之父節點為最左節點
      return pair<iterator,bool>(__insert(x, y, v), true);
      // 以上，x 為安插點，y 為安插點之父節點，v 為新值。
    else    // 否則（安插點之父節點不為最左節點）
      --j;  // 調整 j，回頭準備測試...
  if (key_compare(key(j.node), KeyOfValue()(v)))    
    // 小於新值（表示遇「小」，將安插於右側）
    return pair<iterator,bool>(__insert(x, y, v), true);

  // 進行至此，表示新值一定與樹中鍵值重複，那麼就不該插入新值。
  return pair<iterator,bool>(j, false);
}

以上iterator j的作用为：若待插入的key与某个结点相同(设为p)，则在while循环中，某一次x = p后，大于等于向右走，则下一次x =
p.right，由于v的值一定小于p的右子树中任何一个值，所以进入p的右子树后，x一定是一直向左走直到节点y（ｙ的左儿子为空）。则y为p的右子树最小值，iterator(p)
= iterator(y) - 1，p即为代码中的j。若ｖ与ｊ的值不同，则可以执行插入操作，否则返回ｊ和false。

http://blog.csdn.net/ww32zz/article/details/48523759

 

comp == true 时，如果 j != begin() 则 --j，此时 j 指向 y 的前一个节点，这个节点可能和新插入的节点 v 的值相同，也就是上面说的 p，所以需要再比较 p 和 v

comp == false 时，y 的 right 为 0，v >= y , 如果 y 是最后一个节点，即 end() - 1，再判断是否 y < v；如果 y 不是最后一个节点，y的后一个节点是 y 的父节点或更上层的节点，

而且 y 在 y后一节点的 left tree 中，v 一定小于 y的后一个节点，否则不会到达 y。所以程序中没有判断 y 是否是最后一个节点。

这里两种情况的不对称根源于比较函数 < 和 >= 的不对称。