@ComeIntoPower 我的意思是均摊复杂度的东西，特别是splay，似乎没有必要做这种懒删除