kotlin 空类型和类型智能转换