Kotlin基础语法----不一样的类型声明

从我刚开始学习kotlin时，第一个感受到的与众不同的语法就是变量声明了。我们都知道，在Java中，我们会把类型名放在变量名的前面，如:String a=“Java天下第一”;
Kotlin一改Java的做法，通常将类型名放在变量名的后面，如:val a:String=“Hello kotlin”;
至于为何要这么做？大概就是这样可以使得代码的可读性能更好吧！

1.增强的类型推导

类型推导是kotlin在Java基础上增强的语言特性之一，就是编译器可以在不显示声明类型的情况下，自动推导出它所需要的类型。

 val s="Hello Kotlin"
    val i=1234
    val l=1314L
    val f=13.14f
    val d1=13.14
    val d2=10.1e6

    println(s.javaClass.name)  //java.lang.lang
    println(i.javaClass.name)  //int 
    println(l.javaClass.name)  //long
    println(f.javaClass.name)  //float
    println(d1.javaClass.name)  //double
    println(d2.javaClass.name)  //double

类型推导很大程度上提高了kotlin这种静态类型语言的开发效率。

2.声明函数返回类型

虽然kotlin支持类型推导，但是咱在定义函数的时候，还是得声明函数的返回类型，先看看如何使用fun关键字声明一个带返回值的函数:
fun add(x:Int.y:Int):Int={ return x+y}
如果不声明返回类型，编译时会报错的。
kotlin增强了函数的语法，我们是可以将{}去掉的，上面的函数可以简化为 fun add(x:Int,y:Int) = x+y
kotlin支持这种用单行表达式与符号的语法来定义函数，称之为表达式函数体，那普通的函数声明可以称之为代码块函数体。从上面咱可以看出在使用表达式函数体时，可以不声明返回值类型，进一步简化了语法。但这样的规定在声明递归函数时不生效！
编译器不能针对递归函数的情况推导类型，原因是kotlin支持子类型和继承，这导致系统很难做到所谓的全局类型推导。

学到这里，需要总结一下：
（1）函数的参数必须显示声明类型
（2）如果是一个非表达式定义的函数，除了返回Unit，其他情况必须使用。
（3）如果是一个递归函数，则必须使用。
（4）如果是一个公有方法的返回值时，为了更好的代码可读性以及输出类型的可控性，建议使用。

上面在定义变量时，用到了val关键字，那么在这里我们需要深入了解一下。
与Java不同的是，在kotlin中，声明变量时，使用val和var关键字。简单一点理解：var可变，val不可变。

（1）val的含义:引用不可变

以数组为例，在定义数组的时候使用val，那么咱不能将变量指向另一个数组，但是呢，我们可以修改该数组里面的值。

（2）优先使用val来避免副作用

（3）var的使用场景
当值需要变化的时候，就需要使用var。