kotlin 关于空安全

2016-12-12  本文已影响2681人  Lonie233

    人总是要进步的~最近在学kotlin,号称是新贵,不明觉厉,慢慢学习吧。
kotlin 的简介里都会有一条是空安全, 尤其是用来对比java,今天特意看了下,写了篇墨迹的渣渣,算是总结吧。
    ok,首先说 这件事,One of the most common pitfalls in many programming languages, including Java is that of accessing a member of a nullreferences, resulting in null reference exceptions. In Java this would be the equivalent of a NullPointerException or NPE forshort. from kotlin-doc,简而言之:对空对象的引用会触发NEP。那么就有两种方式去解决问题,一种是在每次引用对象的时候都对其进行空安全的检测,另外一种就是通过手段(代码检测,编译检查 各种黑科技)来强制保证对象不为空。
     比较一下这两种方法,第一种似乎就是java,对 对象是否null 要求不严格,需要有工程师(程序猿)自行斟酌,也可以对每个对象都加 if 判断。另外一种看起来好一些,可以保证放心的引用,但是会存在问题,比如我需要一个全局变量,但是我不知道后续的操作是否会对其进行赋值,万一对其赋值了,那么我需要展示它。仅就此而言,那么声明的所有对象都不为空这件事可能是做不到的了。
    看了kotlin发现它将这两种情况给糅合了下,它允许声明一定不为空的对象,也允许可能为空的对象。通过对两种对象的不同处理操作来保证其是空安全的。kotlin 区分了这两类对象,对于声明为一定不为空的变量,kotlin执行严格的代码检测来保证其在任何时候都不会被赋予空值,这就实现上面说的第二种思路。如果你确定以及肯定你的对象一定是不为空的话,声明成非空类型变量吧,kotlin也会帮你监视它的。对于可能为空的对象,kotlin也支持你将其声明为允许空值得对象,但是在你调用它的时候,以string为例,即便你在上一行写了这么一句var str: String? = "Kotlin baba",下一行print(str.get(0)),也是不能通过代码检测的,飘红,报错,会强制你去做判空 操作。而正是通过这这两种方式,kotlin实现了空安全。
    首先所有的变量在声明的时候都会决定一件事 这个变量是否可以(可能)是空值,这会影响到后续对这个变量引用时的一系列判断,其实就是你声明了一个变量,如果你既没有说明他是可空的,也没有在引用的时候做安全处理(后面会谈到具体的安全处理),ok,编译不会通过,强制保证 空安全。身为程序猿,还是要拿代码说的,下面给出一下java 和 kotlin 的比较,主要是对可能造 NEP 的对比(注:相同的代码,上边的是java,下边的是kotlin。)。首先说变量的空安全,In java,声明一个变量并对其进行重新赋值使用 like this:

      //java code
      private static void printNEP() {
              String str = "I will Be Null";    
              /**     
              * .... 对 str 各种操作,拼接,转换,网络请求重赋值 巴拉巴拉     
              */
              str = null;
              System.out.println(str.charAt(1024));
            //charAt 会被lint 标黄出来可能会造成NEP,但是,并不会强制你改
      }

see kotlin

图 1
为了看到红色,不能用代码了撒,翻译如下 空值不能被赋给非空的类型 string,先不解释,可以看到下面一行也是红的,
图 2
32,33两行都红了,所以首先肯定是不能编译了,所以这就涉及到kotlin空安全了,先说32行的飘红,开头说过,kotlin在声明变量的时候 会强制要求你说明 这个变量是否可以(可能)是空值var str: String = "I will Be Null";,这种声明方式就是这个string变量一定不为空的意思,一旦存在可能会给这个变量赋空值的操作,就会飘红了。ok那么你可能就是想用一个可以空的值,你可以这样声明 图 3

一个?就表示这个变量可以为空,32行的飘红消失,对一个可以为空的变量赋空值时OK的,没毛病吧,但是33行的飘红依然存在,我就不截图了,异常提示信息跟上边(图2)的一样,再来翻译一波,翻译如下only 安全 或者 非空断言是被允许的在一个接受string的接受者,官方翻译并不知道~但是个人理解就是你想使用一个有可能是空值的变量前必须对它进行判空操作
1.条件判空 : 这个就像我们经常做的 if(null != xxx),然后咋样咋样
2.安全调用:这个就是图二里边给出的第一个提示?.,这个东西呢,类似 于java的?:,?后边是不为空的情况下的正确的返回值,:后边就是返回空,

图4

这个东西打印null,而不是NEP,如果str的1024不为空,get返回它,如果为空,返回null,而不是引用空值导致NEP。
3.Elvis操作符(*Groovy里有一种操作符叫Elvis运算符,可以简化Java里的二元操作符。如果我们需要在某个值是空或false时指定一个默认值时,使用Elvis运算符会使表达式更简洁。这里的false判断遵循Groovy的Truth判定方法:把null,空字符串,空集合视为false 。from http://zjumty.iteye.com/blog/1882380 *):就是?:的简化版,print(str?.get(1024)?:"null or what ever u want")
4.!!.,你成功的得到了一个崩溃

图5

这个操作符会给你一个非空值让你继续引用,或者干脆就抛出NEP崩溃啦啦。

总结一下

为什么说kotlin是空安全的呢,个人理解是因为它能明确的告诉你这个值是不是可能为空,如果不为空,那么它一定不是空的,而且过程中也不许对其赋予空值,这样无论何时你使用它的时候都不会引发NEP。而不像java那样,即使你在声明的时候对其进行赋值,但是在各种操作中还是可能将其赋值为空。然后在调用的时候NEP。如果在kotlin中声明了一个可以为空的值,那就注定了你再使用这个值得时候必须要对其进行判空 操作,进而避免NEP,kotlin 静态的代码检测就保证了其是空安全的,java的检测只是提醒你,即便你明确的知道这个东西一定不会为空。

ps

https://www.gitbook.com/book/huanglizhuo/kotlin-in-chinese/details
奉上链接

上一篇下一篇

猜你喜欢

热点阅读