双哨兵区间暴露:x=kth(l) 为根,y=kth(r+2) 为 x 的右儿子 x前驱/哨兵y后继/哨兵目标 [l,r]y.left其余后缀 先 splay(x, root) 再 splay(y, x) 翻转:对黄色子树 apply_rev;求和:直接读它的 sum。两端哨兵消除了 l=1、r=n 特判。