用好 Require,check,assert,写好 Kotlin 代码

最新推荐文章于 2025-11-17 02:33:28 发布

原创最新推荐文章于 2025-11-17 02:33:28 发布 · 1.4k 阅读

CC 4.0 BY-SA版权

本文介绍了在Kotlin中如何利用`require`, `check`, `assert`进行条件检测，以提高代码质量。通过示例代码展示了它们在参数检查、对象状态验证和结果确认方面的应用。强调了早期发现错误的编程哲学，并提到了`lazyMessage`用于提供详细的错误信息。此外，还讨论了在考虑稳定性时如何处理这些异常。" 96878772,7508650,Android直播平台数字翻页效果实现,"['Android开发', '直播平台开发', 'UI效果']

在编码的时候，我们需要做很多的检测判断，比如某个变量是否为null，某个成员属性是否为true，执行某个操作结果是否成功。比如像下面的这段代码

   var isDiskMounted = true

fun createNewFile(file: File?): Boolean {
    return if (isDiskMounted) {
        if (file != null) {
            file.createNewFile()
            if (file.exists()) {
                true
            } else {
                println("Create file($file) failed")
                false
            }
        } else {
            println("File($file) is null")
            false
        }
    } else {
        println("Disk is not mounted")
        false
    }
}

  

上面的代码实现了

检测磁盘是否挂载
检测file参数是否为null
检测执行操作结果是否成功（file.exists()）

但是上面的代码也有一些问题

太多的if else 检测，层级产生，不够平
多个方法出口
更不容易发现异常和错误（有点类似fail safe模式）

使用今天的知识点改造

   fun createNewFileV2(file: File?): Boolean {
    check(isDiskMounted) {
        "Disk is not mounted"
    }

    requireNotNull(file) {
        "file is null"
    }

    file.createNewFile()

    assert(file.exists()) {
        "createNewFileV2 file($file) does not exist"
    }
    return true
}

  

方法体没有多余层级，比较平
单个方法出口
更快更早发现问题（有点类似fail fast）
file.createNewFile()执行时可以不需要再使用file?.createNewFile() 这一点是因为使用了Contract。

require

require(boolean) 用来检测方法的参数，当参数boolean为false时，抛出IllegalArgumentException

示例代码

   fun readFileContent(file: File?): String {
    //判断file不能为null
    requireNotNull(file)

    //判断文件必须可读，并提供错误的信息
    require(file.canRead()) {
        "readFileContent file($file) is not readable"
    }

    //read file content
    return "Your file content"
}

  

变种方法

fun require(value: Boolean)
fun require(value: Boolean, lazyMessage: () -> Any)
fun <T : Any> requireNotNull(value: T?)
fun <T : Any> requireNotNull(value: T?, lazyMessage: () -> Any)

check

check(boolean)用来检测对象的状态（属性），如果boolean为false，抛出异常IllegalStateException

示例代码

   class Engine {
    var isStarted = false

    fun speedUp() {
        check(isStarted) {
            "Engine is not started, cannot be speed up now"
        }

        //speed up the engine
    }


}

  

变种方法

fun check(value: Boolean, lazyMessage: () -> Any)
fun <T : Any> checkNotNull(value: T?)
fun <T : Any> checkNotNull(value: T?, lazyMessage: () -> Any)

assert

assert(boolean) 用来检测执行结果，当boolean为false时，抛出AssertionError。但是需要在开启对应的JVM选项时才生效。

示例代码

   fun makeFile(path: String) {
    val file = File(path)
    file.createNewFile()

    assert(file.exists()) {
        "make File($file) failed"
    }
}

  

使用顺序

先使用check检测对象的状态
再使用require检测方法的参数合法性
执行操作后，使用assert校验结果

关于lazyMessage

lazyMessage 可以允许我们提供更详细的错误辅助信息
lazyMessage的类型是()-> Any,结合inline操作，可以实现惰性求值
具体可以参考这可能是最好的 Android/Kotlin日志输出方法

崩溃更多了，怎么办

是的，上面无论是require,check,assert都会在发现错误的时候抛出异常
这是为了让问题更早发现，这就是它们的哲学
如果想要考虑稳定的话，可以在业务侧 debug下崩溃，非debug下捕获吞掉异常

   fun main() {
    createNewFile(null)
    safeRun {
        createNewFileV2(null)
    }
}

private val isDebug = true

fun safeRun(block: () -> Unit) {
    try {
        block()
    } catch (t: Throwable) {
        t.printStackTrace()
        if (isDebug) {
            throw  t
        }
    }
}

  