13.3.3 实现接口类型