求满足以下四个条件的STL,玄 $1$ 关

1. 此 STL 有序

2. 此 STL 可以 O(log n) 插入

3. 此 STL 可以 O(1) 完成类似 ?.end()-?.begin()+1 的操作

4. 此 STL 可以 O(log n) 完成类似 upper_bound 操作