什么是异化类型