【算法】手撕红黑树（上）—— 基本性质以及插入实现（附带代码实现）