可空类型与非空类型

Kotlin 的类型系统旨在从我们的代码中消除 NullPointerException 。NPE 的唯一可能的原因可能是:

  —  显式调用 throw NullPointerException()

  —  使用了下文描述的 !! 操作符

  —  有些数据在初始化时不一致,例如当

    — 传递一个在构造函数中出现的未初始化的 this 并用于其他地方(“泄漏 this”)

    — 超类的构造函数调用一个开放成员,该成员在派生中类的实现使用了未初始化的状态

  —  Java互操作

    — 企图访问平台类型的 null 引用的成员

    — 用于具有错误可空性的Java互操作的泛型类型,例如一段Java代码可能会向Kotlin的 MutableList<String> 中加入 null,这意味着应该使用 MutableList<String?> 来处理它

    — 由外部Java代码引发的其他问题。

在 Kotlin 中,类型系统区分一个引用可以容纳 null(可空引用)还是不能容纳(非空引用)。例如,String 类型的常规变量不能容纳 null

var a: String = "abc" // 默认情况下,常规初始化意味着非空
a = null // 编译错误

  如果要允许为空,我们可以声明一个变量为可空字符串,写作 String?:

var b: String? = "abc" // 可以设置为空
b = null // ok
print(b)

  现在,如果你调用 a 的方法或者访问它的属性,它保证不会导致 NPE,这样你就可以放心地使用

val l = a.length

  但是如果你想访问 b 的同一个属性,那么这是不安全的,并且编译器会报告一个错误

val l = b.length // 错误:变量“b”可能为空

  但是我们还是需要访问该属性,对吧?有几种方式可以做到

在条件中检测null

  首先,你可以显式检测 b 是否为 null,并分别处理两种可能

val l = if (b != null) b.length else -1

  编译器会跟踪所执行检测的信息,并允许你在 if 内部调用 length 。同时,也支持更复杂(更智能)的条件

val b: String? = "Kotlin"

if (b != null && b.length > 0) {
print("String of length ${b.length}")
} else {
print("Empty string")
}

  请注意,这只适用于 b 是不可变的情况(即在检测和使用之间没有修改过的局部变量,或者不可覆盖并且有幕 后字段的 val 成员),因为否则可能会发生在检测之后 b 又变为 null 的情况

安全的调用

  你的第二个选择是安全调用操作符,写作 ?.

val a = "Kotlin"
val b: String? = null
println(b?.length)
println(a?.length) // 无需安全调用

  如果 b 非空,就返回 b.length,否则返回null,这个表达式的类型是 Int?

  安全调用在链式调用中很有用。例如,如果一个员工 Bob 可能会(或者不会)分配给一个部⻔,并且可能有另外一个员工是该部⻔的负责人,那么获取 Bob 所在部⻔负责人(如果有的话)的名字,我们写作

bob?.department?.head?.name

  如果任意一个属性(环节)为空,这个链式调用就会返回 null。

  如果要只对非空值执行某个操作,安全调用操作符可以与 let 一起使用:

val listWithNulls: List<String?> = listOf("Kotlin", null)
for (item in listWithNulls) {
item?.let { println(it) } // 输出 Kotlin 并忽略 null
}

  安全调用也可以出现在赋值的左侧。这样,如果调用链中的任何一个接收者为空都会跳过赋值,而右侧的表达式 根本不会求值

 // 如果 `person` 或者 `person.department` 其中之一为空,都不会调用该函数:
person?.department?.head = managersPool.getManager()

  

Elvis 操作符

  当我们有一个可空的引用 b 时,我们可以说“如果 b 非空,我使用它;否则使用某个非空的值

val l: Int = if (b != null) b.length else -1

  除了完整的 if-表达式,这还可以通过 Elvis 操作符表达,写作 ?:

val l = b?.length ?: -1

  如果 ?: 左侧表达式非空,elvis 操作符就返回其左侧表达式,否则返回右侧表达式。请注意,当且仅当左侧为空 时,才会对右侧表达式求值

  请注意,因为 throw 和 return 在 Kotlin 中都是表达式,所以它们也可以用在 elvis 操作符右侧。这可能会非 常方便,例如,检测函数参数

fun foo(node: Node): String? {
val parent = node.getParent() ?: return null
val name = node.getName() ?: throw IllegalArgumentException("name expected")
// ......
}

  

!! 操作符

  第三种选择是为 NPE 爱好者准备的:非空断言运算符( !! )将任何值转换为非空类型,若该值为空则抛出异常。 我们可以写 b!! ,这会返回一个非空的 b 值(例如:在我们例子中的 String )或者如果 b 为空,就会抛出 一个 NPE 异常

val l = b!!.length

  因此,如果你想要一个 NPE,你可以得到它,但是你必须显式要求它,否则它不会不期而至

安全的类型转换

  如果对象不是目标类型,那么常规类型转换可能会导致 ClassCastException 。另一个选择是使用安全的类型转换,如果尝试转换不成功则返回 null

val aInt: Int? = a as? Int

  

可空类型的集合

  如果你有一个可空类型元素的集合,并且想要过滤非空元素,你可以使用 filterNotNull 来实现

 val nullableList: List<Int?> = listOf(1, 2, null, 4)
val intList: List<Int> = nullableList.filterNotNull()

  

kotlin更多语言结构——>空安全的更多相关文章

  1. Java 语言结构【转】

    Java 语言结构 基础:包(Package).类(Class)和对象(Object) 了解 Java 的包(Package).类(Class)和对象(Object)这些基础术语是非常重要的,这部分内 ...

  2. 06. Go 语言结构体

    Go语言结构体(struct) Go 语言通过用自定义的方式形成新的类型,结构体是类型中带有成员的复合类型.Go 语言使用结构体和结构体成员来描述真实世界的实体和实体对应的各种属性. Go 语言中的类 ...

  3. KOTLIN开发语言文档(官方文档) -- 2.基本概念

    网页链接:https://kotlinlang.org/docs/reference/basic-types.html 2.   基本概念 2.1.  基本类型 从可以在任何变量处理调用成员函数和属性 ...

  4. KOTLIN开发语言文档(官方文档) -- 入门

    网页链接:https://kotlinlang.org/docs/reference/basic-syntax.html 1.   入门 1.1.  基本语法 1.1.1.   定义包 包说明应该在源 ...

  5. Linux C语言结构体-学习笔记

    Linux C语言结构体简介 前面学习了c语言的基本语法特性,本节进行更深入的学习. 预处理程序. 编译指令: 预处理, 宏定义, 建立自己的数据类型:结构体,联合体,动态数据结构 c语言表达式工具 ...

  6. 读陈浩的《C语言结构体里的成员数组和指针》总结,零长度数组

    原文链接:C语言结构体里的成员数组和指针 复制例如以下: 单看这文章的标题,你可能会认为好像没什么意思.你先别下这个结论,相信这篇文章会对你理解C语言有帮助.这篇文章产生的背景是在微博上,看到@Lar ...

  7. Python语言数据结构和语言结构(2)

    目录 1. Python预备基础 2. Python数据类型 3. Python条件语句 4. while循环和for循环 1. Python预备基础 1.1 变量的命名   变量命名规则主要有以下几 ...

  8. Go语言结构体转json的坑

    Go语言结构体转json的坑 标签(空格分隔): go json.Marshal() JSON输出的时候必须注意,只有导出的字段(首字母是大写)才会被输出,如果修改字段名,那么就会发现什么都不会输出, ...

  9. GO语言学习(十六)Go 语言结构体

    Go 语言结构体 Go 语言中数组可以存储同一类型的数据,但在结构体中我们可以为不同项定义不同的数据类型. 结构体是由一系列具有相同类型或不同类型的数据构成的数据集合. 结构体表示一项记录,比如保存图 ...

  10. 漫谈C语言结构体

    相信大家对于结构体都不陌生.在此,分享出本人对C语言结构体的学习心得.如果你发现这个总结中有你以前所未掌握的,那本文也算是有点价值了.当然,水平有限,若发现不足之处恳请指出.代码文件test.c我放在 ...

随机推荐

  1. 【Docker】10 容器存储

    将容器保存为一个镜像: docker commit 容器的名称 创建的镜像的名称 将镜像保存为一个tar包文件: docker save -o tar包文件名称.tar 镜像名称 可以看到Docker ...

  2. 给大家降降火 —— AI养殖是否夸大功效 —— 深大学生用AI养乌骨鸡增产6万只

    看到一个新闻: 地址: https://export.shobserver.com/baijiahao/html/705726.html 这个新闻里面说的就是这个腾讯的对口培养的大学生搞了一个AI养殖 ...

  3. 并行化强化学习 —— 初探 —— 并行reinforce算法的尝试 (中篇:强化学习在大规模仿真环境下单步交互并行化设计的可行性)

    本篇博客是前篇博客并行化强化学习 -- 初探 -- 并行reinforce算法的尝试 (上篇:强化学习在多仿真环境下单步交互并行化设计的可行性)的继续,文中代码地址为:https://gitee.co ...

  4. AI实践者师生夏令营讲座视频:南京大学Lamda实验室(周志华 团队)讲座视频 —— 强化学习的局限性与展望

    视频地址: 周志华团队与Intel团队的讲座视频--强化学习的局限性与未来展望 视频链接地址: https://bizwebcast.smarket.com.cn/b975d6d9969a42cba9 ...

  5. baselines算法库logger.py模块分析

    baselines根目录下logger.py模块代码: import os import sys import shutil import os.path as osp import json imp ...

  6. 解决CGLib动态代理测试不通过-Unable to load cache item

    1.背景 在学习aop底层时遇到的问题,做个小结 2.现象 动态代理代码如下: package com.ldp.proxy; import net.sf.cglib.proxy.Enhancer; i ...

  7. 哈希基础知识学习-python版

    哈希 哈希表 根据key直接进行访问的无序数据结构,复杂度为O(1) 哈希表的实现---字典 初始化 d1 = dict() 查找 #使用中括号[]进行查找,括号内为特定的键, 键-值 dic = { ...

  8. Binance 如何使用 Quickwit 构建 100PB 日志服务(Quickwit 博客)

    三年前,我们开源了 Quickwit,一个面向大规模数据集的分布式搜索引擎.我们的目标很宏大:创建一种全新的全文搜索引擎,其成本效率比 Elasticsearch 高十倍,配置和管理显著更简单,并且能 ...

  9. Go context 介绍

    在 Go 编程语言中,context 包提供了一个用于在 goroutine 之间传递上下文信息的方法.它通常用于控制 goroutine 的生命周期.传递请求范围内的数据.以及处理超时或取消信号.c ...

  10. wget 提示 "无法验证 xxxx.xxx 的由 “xxx” 颁发的证书: 无法本地校验颁发者的权限。"

    有一天在使用 wget 下载文件时,出现了无法验证证书的提示: $ wget https://github.com/zayronxio/Mkos-Big-Sur/releases/download/0 ...