Kotlin的类型系统
一、可空类型
//s为null的话编译器会报错,没问号不能为空
fun strLen(s : String)=s.length
//如果允许s为空可:
fun strLen2(s : String?) : Int{
if (s!=null) return s.length
else return 0
}
/*
注意可空类型和不可空类型只是在编译期做的
检查不同，runtime这两者并无区别
*/ //"?."的用法
fun strLen3(s : String?) :Int?=s?.length
//相当于
fun strLen4(s : String?) :Int?{
//如果是为null则返回null，不为null就返回"."后面的调用结果
if (s!=null) return s.length
else return null
} //"?:"的用法
fun foo(s: String?){
//如果为null，则s="",s不为null其值为自身不变
val t: String=s ?: ""
}
//结合使用
fun strLenSafe(s: String?) :Int=s?.length?:0 //"as?"的用法：尝试将一个值转换为指定类型，转换不成功则返回null
class Person(val firstName: String, val lastName: String) {
override fun equals(o: Any?): Boolean {
val otherPerson = o as? Person ?: return false
return otherPerson.firstName == firstName &&
otherPerson.lastName == lastName
}
override fun hashCode(): Int =
firstName.hashCode() * 37 + lastName.hashCode()
} //非空判断"!!"用法
fun ignoreNulls(s:String?) {
val sNotNull: String=s!!
//do sth
}
/**
* let函数：把一个调用它的对象变换为lambda表达式的参数
* */ fun sendEmail(address: String)= println("Send an email to $address") fun main(args: Array<String>) {
//复杂的做法
val address: String?="tang@163.com"
if (address!=null) sendEmail(address)
//使用let函数简化代码
address?.let(::sendEmail)
}
class Girle {
//lateinit修饰符,延迟初始化，但不能延迟基础类型
private lateinit var age : Secrit
}
class Secrit
类型参数的可空性：在Kotlin中所有泛型类和泛型函数的类型参数默认都是可空的，要使类型参数非空，必须为它指定一个非空的上界。
fun <T: Any> printHashCode(t: T){
println(t.hashCode())
}
二、基本数据类型和其他基本类型
1.Kotlin表面上并不区分基本类型和其包装类型，但实际上基本类型，如数字类型尽可能地被高效地使用
所以大多数情况下它们会被编译为基本类型，唯一不可行的是泛型类。
2.在Kotlin中使用Java时，Java的基本类型一定会被编译为非空类型，而不是平台类型。
3.任何时候只要使用了基本类型的可空版本，它们就会变为包装类型。
4.Any：所有非空类型（包括基本类型）的超类。把基本数据类型赋值给Any时会自动装箱。Any只能使用Java中equals,toString,hashCode方法，其他方法并不能使用。
5.Unit：Kotlin中的“void”
interface Pro<T>{
fun p() : T
}
/*
* 与Java中的void不同的是Unit是一个完备的类型
* 可以作为类型参数，而void却不行。
* */
class NoResultPro : Pro<Unit>{
//当使用泛型时，Unit表示没有值
override fun p() {
//do sth
}
}
6.Nothing类型：表示这个函数永远不会返回。
fun fail(msg: String): Nothing{
throw IllegalStateException(msg)
}
三、集合与数组
1.可空性和集合：Kotlin完全支持类型参数的可空性。
2.只读集合和可变集合：Kotlin的集合设计和Java不同的是，把访问集合数据的接口和修改集合的数据接口分开了。
但要注意：只读集合并不是不变的，并不是线程安全的。因为，只读集合可能只是同一个集合众多引用中的一个。
fun <T> copyEle(source: Collection<T>,target: MutableCollection<T>){
for (item in source) target.add(item)
}
3.Kotlin集合和Java集合：可变接口直接对应Java中的集合接口，只读版本缺少了所有产生改变的方法。
4.作为平台类型的集合：向Java方法传递可读集合没有用（Java可以修改它）
5.Kotlin中的一个数组是一个带有类型参数的类，创建数组的方法：
fun main(args: Array<String>) {
//arryof创建数组
val ar=arrayOf("one","tow","three","four")
//arryOfNulls创建一个给定大小的数组，包含的是null元素
val s = arrayOfNulls<String?>(8)
//Array构造方法接收数组的大小和一个lambda表达式（用来创建每一个元素）
Array<String>(22) {m -> ("b"+m)}
}
基本类型数组：
fun main(args: Array<String>) {
val s=IntArray(3)
val m= intArrayOf(1,2,3,4)
val h=IntArray(5){i -> i*8}
}