7.4.2 接口的定义与实现