7.13 函数类型实现接口