类推是“抽象化”+“具体化”