重叠约束表示两个子类可以共享相同的子类。