Kotlin学习篇-空类型安全和智能类型转化安全