赤黒木
挿入ケース2は h − 1 2 {\displaystyle {\tfrac {h-1}{2}}} 回実行され、木の合計高さが1増加し、現在 h {\displaystyle h} となる。カレントノードNは木の(赤)根であり、すべての赤黒木の性質が満たされている。
簡単のため、サンプルコードでは論理和と U == NIL || U->color == BLACK // 黒とみなす
論理積を U != NIL && U->color == RED // 黒でないとみなす
使用する。
そのため、U == NIL の場合、論理和・論理積ともに式全体が評価されないことに留意する必要がある。この場合、どちらの場合も U->colorは評価されない(短絡評価参照)。(黒とみなすというコメントは、要件2に準じたものである。)
この提案が実現すれば、関連するif文の発生頻度を大幅に減らすことができる。