类型推断
本课属于 Coddy Kotlin 学习旅程的“基础知识”单元。第 6 课，共 93 课。
Kotlin 可以自动判断一个值的类型。这称为类型推断：
fun main() {
val name = "Alice" // Kotlin 推断出这是 String 类型
val age = 25 // Kotlin 推断出这是 Int 类型
val price = 9.99 // Kotlin 推断出这是 Double 类型
}不过，你也可以使用类型注解显式声明类型。在名称后面写一个冒号，再写类型：
fun main() {
val name: String = "Alice"
val age: Int = 25
val price: Double = 9.99
val isActive: Boolean = true
}类型注解在以下情况下很有用：
- 你想特别明确地说明一个值的类型
- 你声明了一个没有初始值的变量
fun main() {
var score: Int // 已声明，但还未赋值
score = 100 // 稍后赋值
}如果没有类型注解，Kotlin 就不知道 score 应该是什么类型。
挑战
入门创建四个没有显式类型注解的 val 声明：city 保存 "Oslo"，platform 保存 4，fare 保存 12.5，isExpress 保存 false。让 Kotlin 推断它们的类型。按上述顺序，将它们的值分别打印在四行中。
亲手试试
fun main() {
// 声明这四个值，不要添加类型注解。
// 按要求的顺序打印它们。
}
自我测试这节课包含一个小测验。开始学习即可作答，并记录你的进度。
基础知识中的所有课
自己练习： Kotlin 在线编辑器