4.3 抽象与还原之争