13.5 检查接口的实现