fun main(arg: Array<String>) {

    var a :Any= 1

    if (a is String) {

        print("是String")

    }

    if (a is Int) {

        print("是Int")

    }

}

fun main(arg: Array<String>) {

    demo("5")

    var x :Any = "a"

    when(x){

        is Int-> print(x+1)

        is String-> print(x.length+1)

        is IntArray-> print(x.sum())

    }

}

fun demo(x:Any){

    if (x is String){

        print(x.length)//x 被自动转换为String类型

    }

}

//智能转换的前提条件:

//  1.局部的val变量:永远有效

//  2.val属性:如果属性是private的或者internal的或者类型检查处理与属性定义出现在同一个模块内,那么智能类型转换时有效的.对于opnefire属性,活存在自定义get方法

//      智能转换类型是无效的

//  3.局部的var变量:如果在类型检查语句与变量使用语句直接,变量没有被改变,而且它没有被lambda表达式捕获并在lambda表达式内修改它,那么智能类型转换时有效的

//  4.var属性:永远无效

fun main(arg: Array<String>) {

    var x :Any = "a"

    val i = x as Int

    print(i)

}