The justification is that the derived type contains all the members of the base type, so it qualifies as an instance of the base type.

• 原因是派生类型包含基类型的所有成员,因此它有资格作为基类型的实例。