红黑树----红黑树的C实现完整源码

黑树C源码实现与剖析

作者:July 、那谁   时间:二零一一年一月三日

-------------------------

前言:
    红黑树作为一种经典而高级的数据结构,相信,已经被不少人实现过,但不是因为程序不够完善而无法运行,就是因为程序完全没有注释,初学者根本就看不懂。
    此份红黑树的c源码最初从linux-lib-rbtree.c而来,后经一网友那谁(http://www.cppblog.com/converse/)用c写了出来。在此,向原作者表示敬意。但原来的程序存在没有任何一行注释。没有一行注释的程序,令程序的价值大打折扣。

    所以,我特把这份源码放到了windows xp+vc 6.0上,一行一行的完善,一行一行的给它添加注释,至此,红黑树c带注释的源码,就摆在了您眼前,有不妥、不正之处,还望不吝指正。
------------

红黑树的六篇文章:

1、教你透彻了解红黑树
2、红黑树算法的实现与剖析
3、红黑树的c源码实现与剖析
4、一步一图一代码,R-B Tree
5、红黑树插入和删除结点的全程演示
6、红黑树的c++完整实现源码

-------------------------

ok,咱们开始吧。
    相信,经过我前俩篇博文对红黑树的介绍,你应该对红黑树有了透彻的理解了(没看过的朋友,可事先查上面的倆篇文章,或与此文的源码剖析对应着看)。

    本套源码剖析把重点放在红黑树的3种插入情况,与红黑树的4种删除情况。其余的能从略则尽量简略。

目录:
一、左旋代码分析
二、右旋
三、红黑树查找结点
四、红黑树的插入
五、红黑树的3种插入情况
六、红黑树的删除
七、红黑树的4种删除情况
八、测试用例

好的,咱们还是先从树的左旋、右旋代码,开始(大部分分析,直接给注释):

  1. //一、左旋代码分析  
  2. /*----------------------------------------------------------- 
  3. |   node           right 
  4. |   / /    ==>     / / 
  5. |   a  right     node  y 
  6. |       / /       / /     
  7. |       b  y     a   b    //左旋 
  8. -----------------------------------------------------------*/  
  9. static rb_node_t* rb_rotate_left(rb_node_t* node, rb_node_t* root)  
  10. {  
  11.     rb_node_t* right = node->right;    //指定指针指向 right<--node->right  
  12.    
  13.     if ((node->right = right->left))    
  14.     {  
  15.         right->left->parent = node;  //好比上面的注释图,node成为b的父母  
  16.     }  
  17.     right->left = node;   //node成为right的左孩子  
  18.    
  19.     if ((right->parent = node->parent))  
  20.     {  
  21.         if (node == node->parent->right)  
  22.         {  
  23.             node->parent->right = right;  
  24.         }  
  25.         else  
  26.         {  
  27.             node->parent->left = right;  
  28.         }  
  29.     }  
  30.     else  
  31.     {  
  32.         root = right;  
  33.     }  
  34.     node->parent = right;  //right成为node的父母  
  35.    
  36.     return root;  
  37. }  
  38.   
  39.   
  40. //二、右旋  
  41. /*----------------------------------------------------------- 
  42. |       node            left 
  43. |       / /             / / 
  44. |    left  y   ==>    a    node 
  45. |   / /                    / / 
  46. |  a   b                  b   y  //右旋与左旋差不多,分析略过 
  47. -----------------------------------------------------------*/  
  48. static rb_node_t* rb_rotate_right(rb_node_t* node, rb_node_t* root)  
  49. {  
  50.     rb_node_t* left = node->left;  
  51.    
  52.     if ((node->left = left->right))  
  53.     {  
  54.         left->right->parent = node;  
  55.     }  
  56.     left->right = node;  
  57.    
  58.     if ((left->parent = node->parent))  
  59.     {  
  60.         if (node == node->parent->right)  
  61.         {  
  62.             node->parent->right = left;  
  63.         }  
  64.         else  
  65.         {  
  66.             node->parent->left = left;  
  67.         }  
  68.     }  
  69.     else  
  70.     {  
  71.         root = left;  
  72.     }  
  73.     node->parent = left;  
  74.    
  75.     return root;  
  76. }  
  77.   
  78.   
  79. //三、红黑树查找结点  
  80. //----------------------------------------------------  
  81. //rb_search_auxiliary:查找  
  82. //rb_node_t* rb_search:返回找到的结点  
  83. //----------------------------------------------------  
  84. static rb_node_t* rb_search_auxiliary(key_t key, rb_node_t* root, rb_node_t** save)  
  85. {  
  86.     rb_node_t *node = root, *parent = NULL;  
  87.     int ret;  
  88.    
  89.     while (node)  
  90.     {  
  91.         parent = node;  
  92.         ret = node->key - key;  
  93.         if (0 < ret)  
  94.         {  
  95.             node = node->left;  
  96.         }  
  97.         else if (0 > ret)  
  98.         {  
  99.             node = node->right;  
  100.         }  
  101.         else  
  102.         {  
  103.             return node;  
  104.         }  
  105.     }  
  106.    
  107.     if (save)  
  108.     {  
  109.         *save = parent;  
  110.     }  
  111.    
  112.     return NULL;  
  113. }  
  114.   
  115. //返回上述rb_search_auxiliary查找结果  
  116. rb_node_t* rb_search(key_t key, rb_node_t* root)  
  117. {  
  118.     return rb_search_auxiliary(key, root, NULL);  
  119. }  
  120.   
  121.   
  122. //四、红黑树的插入  
  123. //---------------------------------------------------------  
  124. //红黑树的插入结点  
  125. rb_node_t* rb_insert(key_t key, data_t data, rb_node_t* root)  
  126. {  
  127.     rb_node_t *parent = NULL, *node;  
  128.    
  129.     parent = NULL;  
  130.     if ((node = rb_search_auxiliary(key, root, &parent)))  //调用rb_search_auxiliary找到插入结  
  131.   
  132. 点的地方  
  133.     {  
  134.         return root;  
  135.     }  
  136.    
  137.     node = rb_new_node(key, data);  //分配结点  
  138.     node->parent = parent;     
  139.     node->left = node->right = NULL;  
  140.     node->color = RED;  
  141.    
  142.     if (parent)  
  143.     {  
  144.         if (parent->key > key)  
  145.         {  
  146.             parent->left = node;  
  147.         }  
  148.         else  
  149.         {  
  150.             parent->right = node;  
  151.         }  
  152.     }  
  153.     else  
  154.     {  
  155.         root = node;  
  156.     }  
  157.    
  158.     return rb_insert_rebalance(node, root);   //插入结点后,调用rb_insert_rebalance修复红黑树  
  159.   
  160. 的性质  
  161. }  
  162.   
  163.   
  164. //五、红黑树的3种插入情况  
  165. //接下来,咱们重点分析针对红黑树插入的3种情况,而进行的修复工作。  
  166. //--------------------------------------------------------------  
  167. //红黑树修复插入的3种情况  
  168. //为了在下面的注释中表示方便,也为了让下述代码与我的倆篇文章相对应,  
  169. //用z表示当前结点,p[z]表示父母、p[p[z]]表示祖父、y表示叔叔。  
  170. //--------------------------------------------------------------  
  171. static rb_node_t* rb_insert_rebalance(rb_node_t *node, rb_node_t *root)  
  172. {  
  173.     rb_node_t *parent, *gparent, *uncle, *tmp;  //父母p[z]、祖父p[p[z]]、叔叔y、临时结点*tmp  
  174.    
  175.     while ((parent = node->parent) && parent->color == RED)  
  176.     {     //parent 为node的父母,且当父母的颜色为红时  
  177.         gparent = parent->parent;   //gparent为祖父  
  178.     
  179.         if (parent == gparent->left)  //当祖父的左孩子即为父母时。  
  180.                                  //其实上述几行语句,无非就是理顺孩子、父母、祖父的关系。:D。  
  181.         {  
  182.             uncle = gparent->right;  //定义叔叔的概念,叔叔y就是父母的右孩子。  
  183.   
  184.             if (uncle && uncle->color == RED) //情况1:z的叔叔y是红色的  
  185.             {  
  186.                 uncle->color = BLACK;   //将叔叔结点y着为黑色  
  187.                 parent->color = BLACK;  //z的父母p[z]也着为黑色。解决z,p[z]都是红色的问题。  
  188.                 gparent->color = RED;    
  189.                 node = gparent;     //将祖父当做新增结点z,指针z上移俩层,且着为红色。  
  190.             //上述情况1中,只考虑了z作为父母的右孩子的情况。  
  191.             }  
  192.             else                     //情况2:z的叔叔y是黑色的,  
  193.             {     
  194.                 if (parent->right == node)  //且z为右孩子  
  195.                 {  
  196.                     root = rb_rotate_left(parent, root); //左旋[结点z,与父母结点]  
  197.                     tmp = parent;  
  198.                     parent = node;  
  199.                     node = tmp;     //parent与node 互换角色  
  200.                 }  
  201.                              //情况3:z的叔叔y是黑色的,此时z成为了左孩子。  
  202.                                     //注意,1:情况3是由上述情况2变化而来的。  
  203.                                     //......2:z的叔叔总是黑色的,否则就是情况1了。  
  204.                 parent->color = BLACK;   //z的父母p[z]着为黑色  
  205.                 gparent->color = RED;    //原祖父结点着为红色  
  206.                 root = rb_rotate_right(gparent, root); //右旋[结点z,与祖父结点]  
  207.             }  
  208.         }   
  209.    
  210.         else   
  211.         {       
  212.         // if (parent == gparent->right) 当祖父的右孩子即为父母时。(解释请看本文评论下第23楼,同时,感谢SupremeHover指正!)  
  213.             uncle = gparent->left;  //祖父的左孩子作为叔叔结点。[原理还是与上部分一样的]  
  214.             if (uncle && uncle->color == RED)  //情况1:z的叔叔y是红色的  
  215.             {  
  216.                 uncle->color = BLACK;  
  217.                 parent->color = BLACK;  
  218.                 gparent->color = RED;  
  219.                 node = gparent;           //同上。  
  220.             }  
  221.             else                               //情况2:z的叔叔y是黑色的,  
  222.             {  
  223.                 if (parent->left == node)  //且z为左孩子  
  224.                 {  
  225.                     root = rb_rotate_right(parent, root);  //以结点parent、root右旋  
  226.                     tmp = parent;  
  227.                     parent = node;  
  228.                     node = tmp;       //parent与node 互换角色  
  229.                 }   
  230.                   //经过情况2的变化,成为了情况3.  
  231.                 parent->color = BLACK;  
  232.                 gparent->color = RED;  
  233.                 root = rb_rotate_left(gparent, root);   //以结点gparent和root左旋  
  234.             }  
  235.         }  
  236.     }  
  237.    
  238.     root->color = BLACK; //根结点,不论怎样,都得置为黑色。  
  239.     return root;      //返回根结点。  
  240. }  
  241.   
  242.   
  243. //六、红黑树的删除  
  244. //------------------------------------------------------------  
  245. //红黑树的删除结点  
  246. rb_node_t* rb_erase(key_t key, rb_node_t *root)  
  247. {  
  248.     rb_node_t *child, *parent, *old, *left, *node;  
  249.     color_t color;  
  250.    
  251.     if (!(node = rb_search_auxiliary(key, root, NULL)))  //调用rb_search_auxiliary查找要删除的  
  252.   
  253. 结点  
  254.     {  
  255.         printf("key %d is not exist!/n");  
  256.         return root;  
  257.     }  
  258.    
  259.     old = node;  
  260.    
  261.     if (node->left && node->right)  
  262.     {  
  263.         node = node->right;  
  264.         while ((left = node->left) != NULL)  
  265.         {  
  266.             node = left;  
  267.         }  
  268.         child = node->right;  
  269.         parent = node->parent;  
  270.         color = node->color;  
  271.     
  272.         if (child)  
  273.         {  
  274.             child->parent = parent;  
  275.         }  
  276.         if (parent)  
  277.         {  
  278.             if (parent->left == node)  
  279.             {  
  280.                 parent->left = child;  
  281.             }  
  282.             else  
  283.             {  
  284.                 parent->right = child;  
  285.             }  
  286.         }  
  287.         else  
  288.         {  
  289.             root = child;  
  290.         }  
  291.     
  292.         if (node->parent == old)  
  293.         {  
  294.             parent = node;  
  295.         }  
  296.     
  297.         node->parent = old->parent;  
  298.         node->color = old->color;  
  299.         node->right = old->right;  
  300.         node->left = old->left;  
  301.     
  302.         if (old->parent)  
  303.         {  
  304.             if (old->parent->left == old)  
  305.             {  
  306.                 old->parent->left = node;  
  307.             }  
  308.             else  
  309.             {  
  310.                 old->parent->right = node;  
  311.             }  
  312.         }   
  313.         else  
  314.         {  
  315.             root = node;  
  316.         }  
  317.     
  318.         old->left->parent = node;  
  319.         if (old->right)  
  320.         {  
  321.             old->right->parent = node;  
  322.         }  
  323.     }  
  324.     else  
  325.     {  
  326.         if (!node->left)  
  327.         {  
  328.             child = node->right;  
  329.         }  
  330.         else if (!node->right)  
  331.         {  
  332.             child = node->left;  
  333.         }  
  334.         parent = node->parent;  
  335.         color = node->color;  
  336.     
  337.         if (child)  
  338.         {  
  339.             child->parent = parent;  
  340.         }  
  341.         if (parent)  
  342.         {  
  343.             if (parent->left == node)  
  344.             {  
  345.                 parent->left = child;  
  346.             }  
  347.             else  
  348.             {  
  349.                 parent->right = child;  
  350.             }  
  351.         }  
  352.         else  
  353.         {  
  354.             root = child;  
  355.         }  
  356.     }  
  357.    
  358.     free(old);  
  359.    
  360.     if (color == BLACK)  
  361.     {  
  362.         root = rb_erase_rebalance(child, parent, root); //调用rb_erase_rebalance来恢复红黑树性  
  363.   
  364. 质  
  365.     }  
  366.    
  367.     return root;  
  368. }  
  369.   
  370.   
  371. //七、红黑树的4种删除情况  
  372. //----------------------------------------------------------------  
  373. //红黑树修复删除的4种情况  
  374. //为了表示下述注释的方便,也为了让下述代码与我的倆篇文章相对应,  
  375. //x表示要删除的结点,*other、w表示兄弟结点,  
  376. //----------------------------------------------------------------  
  377. static rb_node_t* rb_erase_rebalance(rb_node_t *node, rb_node_t *parent, rb_node_t *root)  
  378. {  
  379.     rb_node_t *other, *o_left, *o_right;   //x的兄弟*other,兄弟左孩子*o_left,*o_right  
  380.    
  381.     while ((!node || node->color == BLACK) && node != root)   
  382.     {  
  383.         if (parent->left == node)  
  384.         {  
  385.             other = parent->right;  
  386.             if (other->color == RED)   //情况1:x的兄弟w是红色的  
  387.             {  
  388.                 other->color = BLACK;    
  389.                 parent->color = RED;   //上俩行,改变颜色,w->黑、p[x]->红。  
  390.                 root = rb_rotate_left(parent, root);  //再对p[x]做一次左旋  
  391.                 other = parent->right;  //x的新兄弟new w 是旋转之前w的某个孩子。其实就是左旋后  
  392.   
  393. 的效果。  
  394.             }  
  395.             if ((!other->left || other->left->color == BLACK) &&  
  396.                 (!other->right || other->right->color == BLACK))    
  397.                           //情况2:x的兄弟w是黑色,且w的俩个孩子也  
  398.   
  399. 都是黑色的  
  400.   
  401.             {                         //由于w和w的俩个孩子都是黑色的,则在x和w上得去掉一黑色,  
  402.                 other->color = RED;   //于是,兄弟w变为红色。  
  403.                 node = parent;    //p[x]为新结点x  
  404.                 parent = node->parent;  //x<-p[x]  
  405.             }  
  406.             else                       //情况3:x的兄弟w是黑色的,  
  407.             {                          //且,w的左孩子是红色,右孩子为黑色。  
  408.                 if (!other->right || other->right->color == BLACK)  
  409.                 {  
  410.                     if ((o_left = other->left))   //w和其左孩子left[w],颜色交换。  
  411.                     {  
  412.                         o_left->color = BLACK;    //w的左孩子变为由黑->红色  
  413.                     }   
  414.                     other->color = RED;           //w由黑->红  
  415.                     root = rb_rotate_right(other, root);  //再对w进行右旋,从而红黑性质恢复。  
  416.                     other = parent->right;        //变化后的,父结点的右孩子,作为新的兄弟结点  
  417.   
  418. w。  
  419.                 }  
  420.                             //情况4:x的兄弟w是黑色的  
  421.       
  422.                 other->color = parent->color;  //把兄弟节点染成当前节点父节点的颜色。  
  423.                 parent->color = BLACK;  //把当前节点父节点染成黑色  
  424.                 if (other->right)      //且w的右孩子是红  
  425.                 {  
  426.                     other->right->color = BLACK;  //兄弟节点w右孩子染成黑色  
  427.                 }  
  428.                 root = rb_rotate_left(parent, root);  //并再做一次左旋  
  429.                 node = root;   //并把x置为根。  
  430.                 break;  
  431.             }  
  432.         }  
  433.         //下述情况与上述情况,原理一致。分析略。  
  434.         else  
  435.         {  
  436.             other = parent->left;  
  437.             if (other->color == RED)  
  438.             {  
  439.                 other->color = BLACK;  
  440.                 parent->color = RED;  
  441.                 root = rb_rotate_right(parent, root);  
  442.                 other = parent->left;  
  443.             }  
  444.             if ((!other->left || other->left->color == BLACK) &&  
  445.                 (!other->right || other->right->color == BLACK))  
  446.             {  
  447.                 other->color = RED;  
  448.                 node = parent;  
  449.                 parent = node->parent;  
  450.             }  
  451.             else  
  452.             {  
  453.                 if (!other->left || other->left->color == BLACK)  
  454.                 {  
  455.                     if ((o_right = other->right))  
  456.                     {  
  457.                         o_right->color = BLACK;  
  458.                     }  
  459.                     other->color = RED;  
  460.                     root = rb_rotate_left(other, root);  
  461.                     other = parent->left;  
  462.                 }  
  463.                 other->color = parent->color;  
  464.                 parent->color = BLACK;  
  465.                 if (other->left)  
  466.                 {  
  467.                     other->left->color = BLACK;  
  468.                 }  
  469.                 root = rb_rotate_right(parent, root);  
  470.                 node = root;  
  471.                 break;  
  472.             }  
  473.         }  
  474.     }  
  475.    
  476.     if (node)  
  477.     {  
  478.         node->color = BLACK;  //最后将node[上述步骤置为了根结点],改为黑色。  
  479.     }    
  480.     return root;  //返回root  
  481. }  
  482.   
  483.   
  484. //八、测试用例  
  485. //主函数  
  486. int main()  
  487. {  
  488.     int i, count = 100;  
  489.     key_t key;  
  490.     rb_node_t* root = NULL, *node = NULL;  
  491.       
  492.     srand(time(NULL));  
  493.     for (i = 1; i < count; ++i)  
  494.     {  
  495.         key = rand() % count;  
  496.         if ((root = rb_insert(key, i, root)))  
  497.         {  
  498.             printf("[i = %d] insert key %d success!/n", i, key);  
  499.         }  
  500.         else  
  501.         {  
  502.             printf("[i = %d] insert key %d error!/n", i, key);  
  503.             exit(-1);  
  504.         }  
  505.     
  506.         if ((node = rb_search(key, root)))  
  507.         {  
  508.             printf("[i = %d] search key %d success!/n", i, key);  
  509.         }  
  510.         else  
  511.         {  
  512.             printf("[i = %d] search key %d error!/n", i, key);  
  513.             exit(-1);  
  514.         }  
  515.         if (!(i % 10))  
  516.         {  
  517.             if ((root = rb_erase(key, root)))  
  518.             {  
  519.                 printf("[i = %d] erase key %d success/n", i, key);  
  520.             }  
  521.             else  
  522.             {  
  523.                 printf("[i = %d] erase key %d error/n", i, key);  
  524.             }  
  525.         }  
  526.     }  
  527.    
  528.     return 0;  
  529. }  

ok,完。

后记:

一、欢迎任何人就此份源码,以及我的前述倆篇文章,进行讨论、提议。
但任何人,引用此份源码剖析,必须得注明作者本人July以及出处。
红黑树系列,已经写了三篇文章,相信,教你透彻了解红黑树的目的,应该达到了。
二、本文完整源码,请到此处下载:

http://download.csdn.net/source/2958890

1、教你透彻了解红黑树
2、红黑树算法的实现与剖析
3、红黑树的c源码实现与剖析
4、一步一图一代码,R-B Tree
5、红黑树插入和删除结点的全程演示
6、红黑树的c++完整实现源码

 转载本BLOG内任何文章,请以超链接形式注明出处。非常感谢。

查看评论
29楼  ayedsa 2013-05-24 18:14发表 [回复]
写的真好,正需要用到红黑树作为大数据存储用,谢谢!
28楼  毫无影响力 2013-03-19 15:49发表 [回复]
朋友,你这有Java实现的红黑树吗?
C看起来有点费劲。。。
27楼  niuqingpeng 2012-11-21 03:45发表 [回复]
感觉像是Linux内核中David Woodhouse的rbtree啊
linux-2.6.33.20/lib/rbtree.c
26楼  SupremeHover 2012-10-26 11:12发表 [回复]
今天写红黑树的时候,重新看了下注释,发现插入修复那块有点不对哦。
//五、红黑树的3种插入情况 【中的】
//上述情况1中,只考虑了z作为父母的右孩子的情况
//这部分是特别为情况1中,z作为左孩子情况,而写的
这两条应该不对,因为不管z作为左孩子还是右孩子,根据对称性,在情况1中的处理都是一样的。还是按着代码本身的思路,实际上考虑的是父亲是祖父的左孩子,还是父亲是祖父的右孩子。
Re:  v_JULY_v 2012-11-09 11:15发表 [回复]
回复SupremeHover:你好,关于你在本文评论下第23楼指出来的注释错误已经修正,再次谢谢你!
Re:  v_JULY_v 2012-10-26 11:17发表 [回复]
回复SupremeHover:EN,是的,你已经在本文评论下第23楼指出来了呢,我也回复你了,只是原文还未修改过来,你忘了?
(我会找时间,尽快修改过来的,再次谢谢)
Re:  SupremeHover 2012-10-26 11:30发表 [回复]
回复v_JULY_v:我汗,我记忆力衰退得厉害啊~o(∩_∩)o 哈哈~又给你添麻烦了哈~
Re:  v_JULY_v 2012-10-26 11:39发表 [回复]
回复SupremeHover:没事,有问题,欢迎继续指正:-)
25楼  SupremeHover 2012-10-22 09:18发表 [回复]
而且他的删除部分逻辑上存在一定混乱,不如linux的源码写得好,希望博主能够注释linux的源码。
Re:  v_JULY_v 2012-10-22 10:49发表 [回复]
回复SupremeHover:出来后,时间真的是个奢侈的东西,不像一年多前在学校写这篇文章时能为所欲为了。
不过,有机会,会做的!
24楼  SupremeHover 2012-10-22 08:46发表 [回复]
他的删除部分有一些多余的判断。比如:
if (node->left && node->right) 

node = node->right; 
while ((left = node->left) != NULL) 

node = left; 

child = node->right; 
parent = node->parent; 
color = node->color; 

if (child) 

child->parent = parent; 

if (parent) 

if (parent->left == node) 

parent->left = child; 

else 

parent->right = child; 


else 

root = child; 
}
在old有双非空子结点的情况下,parent根本不可能为NULL,root = child纯属瞎写。
Re:  v_JULY_v 2012-10-22 10:48发表 [回复]
回复SupremeHover:恩?再说具体点?
Re:  SupremeHover 2012-10-22 14:53发表 [回复]
回复v_JULY_v:因为在它的大前提if中:old有双非空子结点,接着又去判断用来替换old的结点node的parent是否存在,这是没有意义的,因为node是树中的一个结点,而且不是根结点,他老爸必须存在。
23楼  SupremeHover 2012-10-22 08:40发表 [回复]
插入修补的部分:
//这部分是特别为情况1中,z作为左孩子情况,而写的。
上一句注释对我产生了误导,让我以为是因为情况1的z有左右孩子的区别,才需要专门把判断p[z]是left还是right分开写成两段大致相同的代码。
其实跟z是左孩子还是右孩子完全没有关系,写成两段是因为二叉树的对称性!
按照代码来看,原原本本就是专门针对p[z]是left还是right来写的。
1、p[z]是left和z是left的情况对称于p[z]是right和z是right的情况
2、p[z]是left和z是right的情况对称于p[z]是right和z是left的情况
3、p[z]是right和z是right的情况对称于p[z]是left和z是left的情况(根据对称来说,其实就是1)
4、p[z]是right和z是left的情况对称于p[z]是left和z是right的情况(其实就是2)
同样是由于对称性,情况1不管z是左孩子还是右孩子,操作都是一样的!
Re:  v_JULY_v 2012-10-22 10:43发表 [回复]
回复SupremeHover:1、那部分注释确实有问题,应该与 “ if (parent == gparent->left) //当祖父的左孩子即为父母时。 ”对应
也就是说,
“//这部分是特别为情况1中,z作为左孩子情况,而写的。”
应改正为=> 
"// if (parent == gparent->right) 当祖父的右孩子即为父母时。"
2、后来我又仔细看了此文中关于修复删除的部分:http://blog.csdn.net/v_JULY_v/article/details/6105630(文中,只考虑了父结点为祖父左子的情况),也就是说当父结点为祖父右子的时候,便是上述让你产生误解注释下的那部分代码,也就是如你所说的:“按照代码来看,原原本本就是专门针对p[z]是left还是right来写的”。
3、你说的“同样是由于对称性,情况1不管z是左孩子还是右孩子,操作都是一样的!”,我认为,是左孩子,和右孩子,对应的具体右旋还是左旋操作应该是不一样的,一年多前的东西,要稍稍花点时间温故,后续我会再看下。
你看得很认真,谢谢你,朋友!
Re:  v_JULY_v 2012-10-22 11:19发表 [回复]
回复v_JULY_v:回复SupremeHover:在此文 http://blog.csdn.net/v_JULY_v/article/details/6105630,的插入修复具体操作中:
“情况3:当前结点的父结点是红色且祖父结点的另一个子结点(叔叔结点)是红色。
此时父结点的父结点一定存在,否则插入前就已不是红黑树。
与此同时,又分为父结点是祖父结点的左子还是右子,对于对称性,我们只要解开一个方向就可以了。

在此,我们只考虑父结点为祖父左子的情况。
同时,还可以分为当前结点是其父结点的左子还是右子,但是处理方式是一样的。我们将此归为同一类。”

不过,这里的“当前结点是其父结点的左子还是右子,但是处理方式是一样的”仅仅是针对的上述情况3,所以具体到当前节点是左孩子,和右孩子,我认为对应的具体右旋还是左旋操作应该是不一样的,正如后面的插入修复情况4、5所述,也能说明此观点。
SupremeHover觉得呢?
Re:  v_JULY_v 2012-10-22 11:30发表 [回复]
回复v_JULY_v:尽管那篇文章的插入修复的情况3、4、5,可以认为是插入了4以后的一系列插入修复操作!
但涉及到的后续是右旋还是左旋的具体操作还是不一样的。
Re:  v_JULY_v 2012-10-22 12:57发表 [回复]
回复v_JULY_v:回复SupremeHover:刚又看了“http://blog.csdn.net/v_JULY_v/article/details/6105630”文中插入修复操作的几张图,插入节点4以后,当前节点N指针发生了变化,跟节点4最初是左孩子还是右孩子无关,因为之后的无论是左旋操作还是右旋操作,针对的都是非节点4的新的当前节点(节点4早已经不是当前节点了)!
SupremeHover,你是对的!感谢你的指正!
Re:  SupremeHover 2012-10-22 14:47发表 [回复]
回复v_JULY_v:呵呵,很感谢你认真地看了我的评论,我已经在你和saturnma的大力帮助下会写红黑树代码了,谢谢哈~
Re:  v_JULY_v 2012-10-22 14:56发表 [回复]
回复SupremeHover:GOOD!代码写出来后,欢迎与我分享!
22楼  SupremeHover 2012-10-21 17:51发表 [回复]
回复v_JULY_v:源代码是对的,他没看懂。
if ((node->right = right->left)) 
等价于if ((node->right = right->left) != NULL)
略去判等运算符是C语言的特色。
Re:  v_JULY_v 2012-10-22 09:55发表 [回复]
回复SupremeHover:EN,是的,第19楼的xujian871226已经看出来是正确的了!之前未仔细看代码,多谢你。
21楼  dfsgsfd 2012-07-04 18:35发表 [回复]
很少有学习借鉴别人的代码后 又说代码有诸多问题,这样不太好,对拿出代码的人也不太公平


另 
static rb_node_t* rb_rotate_left(rb_node_t* node, rb_node_t* root) 

rb_node_t* right = node->right; //指定指针指向 right<--node->right 

if ((node->right = right->left)) 

right->left->parent = node; //好比上面的注释图,node成为b的父母 



这个= 是否写成== ?
Re:  v_JULY_v 2012-10-22 09:57发表 [回复]
回复stecdeng:源代码是对的
if ((node->right = right->left)) 
等价于if ((node->right = right->left) != NULL)
Re:  lizhenhuan517 2013-03-14 12:23发表 [回复]
回复v_JULY_v:回复stecdeng:源代码是对的
if ((node->right = right->left)) 
等价于if ((node->right = right->left) != NULL)
这个是不是还是写错了?
等价于if ((node->right == right->left) != NULL)
是吗?
Re:  lizhenhuan517 2013-03-14 12:34发表 [回复]
回复lizhenhuan517:嗯。我已经理解了。打扰了。判断right->left是否为空,
并且做了一次复制操作。
20楼  歌神的卖 2012-05-12 16:39发表 [回复]
感谢博主
19楼  xujian871226 2012-03-13 14:09发表 [回复]
if ((node->right = right->left)) 

right->left->parent = node; //好比上面的注释图,node成为b的父母 

左旋中这句话如何理解:node->right不是就等于right嘛?怎么会等于right->left呢?
Re:  xujian871226 2012-03-13 14:11发表 [回复]
回复xujian871226:sorry,我看错了,我看成括号内是==了,其实就是判单right->left不为null嘛。
是自己不小心。
18楼  xujian871226 2012-03-13 13:55发表 [回复]
楼主,你的左旋右旋代码上面的那些图为何的右孩子为何不用"\"呢,既然左孩子用的是“/”,右孩子用“\”的话不是刚好对应嘛。
17楼  xy56308890 2011-12-09 15:18发表 [回复]
楼主,请问 rb_delete 中有一段代码:
  1. if(node->parent == old){   
  2.       parent = node;  
  3. }  

没弄白什么意思?恰恰这儿没注释,求指点啊!
16楼  ouen333 2011-08-01 14:57发表 [回复]
.楼主有在么?
请教下,代码运行老有问题呀,同14楼,用F11一步一步运行,感觉都没问题,呀
15楼  hellosijian 2011-06-06 22:41发表 [回复]
照着你的代码敲,不知道到底是为什么,插入修复时老是出错,比如说,在你修复时,左旋和右旋时,left和right可能是NULL的情况考虑了吗?我调试一直都是这个问题
14楼  v_JULY_v 2011-04-08 11:12发表 [回复]
代码以插入的形式重新编辑了下。
13楼  2608 2011-03-14 17:48发表 [回复]
lz, 如果被删除节点是黑色的并且没有子节点,你的删除代码中没有处理这种情况啊?
12楼  algorithm__ 2011-02-27 19:47发表 [回复]
[e10]
11楼  algorithm__ 2011-02-27 19:47发表 [回复]
[e03]
10楼  algorithm__ 2011-02-27 19:47发表 [回复]
[e01]
9楼  algorithm__ 2011-02-27 19:47发表 [回复]
做的太棒了。狂顶.0.................................................................
8楼  v_JULY_v 2011-01-28 19:14发表 [回复]
本BLOG 内所有任何文章,永久勘误,任何问题、错误,一经发现,立马修正。
Re:  v_JULY_v 2011-01-31 12:21发表 [回复]
回复 v_JULY_v:非常感谢,网友のWhatever来信指正与指导。当我一经确认,此源码,确实有误,立马修正。谢谢,各位。
7楼  chjttony 2011-01-10 17:01发表 [回复]
学习!
6楼  v_JULY_v 2011-01-07 19:08发表 [回复]
资源,已经上传好。
5楼  turbsky2010 2011-01-05 09:57发表 [回复]
哦 我看错了。。。
4楼  turbsky2010 2011-01-05 09:55发表 [回复]
很多==被写成了=
3楼  v_JULY_v 2011-01-04 12:10发表 [回复]
[i = 1] insert key 77 success! 
[i = 1] search key 77 success! 
[i = 2] insert key 2 success! 
[i = 2] search key 2 success! 
[i = 3] insert key 33 success!
[i = 3] search key 33 success! 
[i = 4] insert key 25 success! 
[i = 4] search key 25 success! 
[i = 5] insert key 83 success!
[i = 5] search key 83 success! 
[i = 6] insert key 29 success! [i = 6] search key 29 success! 
...................... 
[i = 99] search key 85 success! Press any key to continue
Re:  v_JULY_v 2011-01-04 12:11发表 [回复]
回复 v_JULY_v:这是程序 的运行结果。
2楼  v_JULY_v 2011-01-04 12:09发表 [回复]
[i = 1] insert key 77 success!
[i = 1] search key 77 success!
[i = 2] insert key 2 success!
[i = 2] search key 2 success!
[i = 3] insert key 33 success!
[i = 3] search key 33 success!
[i = 4] insert key 25 success!
[i = 4] search key 25 success!
[i = 5] insert key 83 success!
[i = 5] search key 83 success!
[i = 6] insert key 29 success!
[i = 6] search key 29 success!
......................
[i = 99] search key 85 success!
Press any key to continue
1楼  v_JULY_v 2011-01-03 21:58发表 [回复]
作为红黑树系列的结尾文章,最后一篇第4篇文章,将直接剖析linux内核中红黑树的实现。

你可能感兴趣的:(红黑树----红黑树的C实现完整源码)