@[Sean_xzx](/user/546830)
`get_val` 中 `k` 的更新次序错了，应该先更新 `k` 再跳右子树。
`else{k -= (siz(ls(now)) + 1);now = rs(now);}`
就这一个问题。
---
另外，警示一句：`mt19937` 生成的 `int` 值是有正有负的，这在某些旋转 Treap 程序里是很致命的，建议使用 `unsigned int`，当然在常见的 fhq_Treap 里不会有这个问题，望知。
by Terrible @ 2023-06-13 13:26:17
@[Terrible](/user/195942) 兄弟，你真的是我的救星啊，救了我两次了，太感谢了
by XSean @ 2023-06-13 14:18:22
@[Terrible](/user/195942) 太清楚了，每次都可以准确击中我的错误，强
by XSean @ 2023-06-13 14:21:49