一、線索二叉樹的原理
通過考察各種二叉鏈表，不管兒叉樹的形態如何，空鏈域的個數總是多過非空鏈域的個數。准確的說，n各結點的二叉鏈表共有2n個鏈域，非空鏈域為n-1個，但其中的空鏈域卻有n+1個。如下圖所示。
因此，提出了一種方法，利用原來的空鏈域存放指針，指向樹中其他結點。這種指針稱為線索。
記ptr指向二叉鏈表中的一個結點，以下是建立線索的規則：
（1）如果ptr->lchild為空，則存放指向中序遍歷序列中該結點的前驅結點。這個結點稱為ptr的中序前驅；
（2）如果ptr->rchild為空，則存放指向中序遍歷序列中該結點的后繼結點。這個結點稱為ptr的中序后繼；
顯然，在決定lchild是指向左孩子還是前驅，rchild是指向右孩子還是后繼，需要一個區分標志的。因此，我們在每個結點再增設兩個標志域ltag和rtag，注意ltag和rtag只是區分0或1數字的布爾型變量，其占用內存空間要小於像lchild和rchild的指針變量。結點結構如下所示。
其中：
（1）ltag為0時指向該結點的左孩子，為1時指向該結點的前驅；
（2）rtag為0時指向該結點的右孩子，為1時指向該結點的后繼；
（3）因此對於上圖的二叉鏈表圖可以修改為下圖的養子。
二、線索二叉樹結構實現
二叉線索樹存儲結構定義如下：
線索化的實質就是將二叉鏈表中的空指針改為指向前驅或后繼的線索。由於前驅和后繼信息只有在遍歷該二叉樹時才能得到，所以，線索化的過程就是在遍歷的過程中修改空指針的過程。
中序遍歷線索化的遞歸函數代碼如下：
上述代碼除了//===之間的代碼以外，和二叉樹中序遍歷的遞歸代碼機會完全一樣。只不過將打印結點的功能改成了線索化的功能。
中間部分代碼做了這樣的事情：
因為此時p結點的后繼還沒有訪問到，因此只能對它的前驅結點pre的右指針rchild做判斷，if(!pre->rchild)表示如果為空，則p就是pre的后繼，於是pre->rchild = p，並且設置pre->rtag = Thread，完成后繼結點的線索化。如圖：
if(!p->lchild)表示如果某結點的左指針域為空，因為其前驅結點剛剛訪問過，賦值了pre，所以可以將pre賦值給p->lchild，並修改p->ltag = Thread（也就是定義為1）以完成前驅結點的線索化。
完成前驅和后繼的判斷后，不要忘記當前結點p賦值給pre，以便於下一次使用。
有了線索二叉樹后，對它進行遍歷時，其實就等於操作一個雙向鏈表結構。
和雙向鏈表結點一樣，在二叉樹鏈表上添加一個頭結點，如下圖所示，並令其lchild域的指針指向二叉樹的根結點（圖中第一步），其rchild域的指針指向中序遍歷訪問時的最后一個結點（圖中第二步）。反之，令二叉樹的中序序列中第一個結點中，lchild域指針和最后一個結點的rchild域指針均指向頭結點（圖中第三和第四步）。這樣的好處是：我們既可以從第一個結點起順后繼進行遍歷，也可以從最后一個結點起順前驅進行遍歷。
轉自：http://blog.csdn.net/u014492609/article/details/40477795