解体约束表示紧靠约束下面的泛化来不能子类化为通用的类。