java语言的接口与类型安全