由于kotlin支持类型推导，所以很多时候变量的类型可以省略，但有时候省略变量类型又可能带来一些不便，甚至隐患。本文记录下一些“建议声明类型”、“可以省略类型”的场景。（暂时想到的不多，后续持续更新）
可以省略类型的场景
- 变量声明后紧跟对象的创建
var file = File("/path/to/file")
直接通过构造方法创建对象时，创建过程本身就显式“声明”了类型。如果这时候还加类型声明，那就不是补全，而是多余了：
var file: File = File("/path/to/file")
- 变量声明后紧跟字面值
var num = 1
var str = "text"
这种情况是指等号右边是一个字面值，例如整数、字符串、布尔值，因为这种情况可以直接根据值来迅速判断出类型，且这个值的类型非常独立，不依赖外部上下文以及第三方库。
建议编写类型声明的场景
类型声明的作用除了提示这是什么样的数据（这一点IDEA的提示可以完成），还有约束这个场景中必须是什么样的数据（这一点就需要手动补充类型声明了，因为自动类型推导意味着“自动填充类型”，可能还有“自动修改类型”）。
- 局部的值函数
你当然可以这样写：
var fun1 = { i: Int ->
"num:$i"
}
但是因为IDE并不会一直辅助显示这类函数的类型，最终阅读的时候还是得根据函数实现来推导类型，或者将鼠标放上去一小会才能得到类型，那么不如直接补全类型：
var fun1: (Int) -> String =
{ i: Int -> // 这里的Int可以省去
"num:$i"
}
- 变量的值来自过程调用（尤其是这个过程来自别人的代码）
fun test(): Int {
return 1
}
var i = test() // a
这个时候IDEA可能（有些时候不会）会在a处的变量i后面补充:Int提示，不过我还是建议明确声明类型，理由是：
- 这个
test函数可能来自别人写的某个模块，他可能修改返回值类型，如果利用自动类型推导，那么在后续使用不出错的情况下，这个修改对调用方可能是无感的，但程序可能已经出了问题，例如：
fun test(): Int {
return 1
}
//fun test(): String { //改成这个实现，后面程序照样运行，但语义完全不同了
// return "asdf"
//}
val i = test()
val x = "add:${i + 10}"
这里编写类型是为了防御预期以外的变更。
- 需要使用更为抽象的类型的时候
以前写Java的时候，经常会这么写：
List<String> strList = new ArrayList<>();
有时候针对一个变量，并不一直是同一个具体类型，抽象的类型使得它可以指向更多的具体类型。如果使用类型推导，那么它默认可能是某一个具体类型：
var nums = arrayListOf(1,2,3)
那么后续我们没法将其他List对象赋值给它。这时候，我通常更倾向于编写：
var nums: List<Int> = arrayListOf(1, 2, 3)
网友评论