Splay 的三种局部动作：旋转顺序由祖孙方向决定 zigpx父亲即 goal zig-ziggpx同向：先 p，后 x zig-zaggpx异向：x 连旋两次 每次 rotate 都保留中序；每次 splay 循环让 x 更靠近 goal。带 Lazy 时，旋前须从祖先到 x 依次 push。