16.4 分部类型（partial type）