密封类通过 permits 子句显式声明允许的子类型，将继承关系从开放变为受控。