13.3.8 接口类型与隐式声明