With the two allocator models well-defined, the desired behavior becomes clear.

• 两种分配器模型具有良好的定义，想得到的行为也变得清楚了。