强类型接口