6.2.4 算法逻辑的抽象