这里给出rotate不需要pushdown函数的可能原因

先叠甲：可能有误，请指正

我看到一些题解中的rotate中有pushdown（有些先下传父亲，再下传自己；有些则相反）。还有些题解的rotate中压根就没有pushdown函数，但他们都能通过这道题。

十分的好奇为什么，下面给出我的一些看法：

因为在splay之前，已经执行了find操作（其中有pushdown），所涉及到的所有懒标记都已经下传过了。所以也就不需要在rotate中再下传了。