Kotlin类型系统总结(可空类型、非空断言、类型检查、智能转换、强制转换)