13.3.7 强制转换接口类型