四、类型的再类型化