以 splay板子题 P2437为例
以下是splay函数的一段
在rotate前，如果rotate了一个带有翻转懒标记的节点，把懒标记展开遍历，会发现，rotate之后，前后两次的中序遍历是不一样的

y总的课似乎没有说在rotate之前要pushdown 如果在rotate之前pushdown了，也可以ac
大佬们有什么看法

    if (z != k)
    {
        //pushdown(y), pushdown(x);
        if ((s_[z][1] == y) ^ (s_[y][1] == x))
            rotate(x);
        else 
            rotate(y);
    }