在代码中使用 check进行前置条件验证
在开发健壮的 Kotlin 应用时，确保代码在预期条件下运行是至关重要的。预设条件验证是一种积极的方法，旨在早期检测和处理可能的错误。Kotlin，以其对安全性和可读性的强调，提供了一个简单函数来实现这个目的：check。
check 函数设计用来简化预设条件验证。它对一个布尔表达式进行评估，如果结果为 false，它会抛出 IllegalStateException，并带有一个可选的错误消息。这种机制对于在进一步执行之前验证状态条件特别有用。
check(condition) {"Optional error message"}
通过将 check 整合到你的代码中，你可以防止在错误条件下执行操作，从而避免后续出现意料之外的行为或错误。
假设在一个银行应用中，你需要处理一项提款。在进行之前，你必须确认账户余额充足。这里有如何使用check的例子：
class BankAccount(private var balance: Double) { fun withdraw(amount: Double) { // Validate precondition: sufficient balance check(balance >= amount) { "Insufficient funds. Attempted to withdraw $amount but balance is $balance" } balance -= amount println("Withdrawal of $amount successful. New balance: $balance") }}fun main { val account = BankAccount(100.0) account.withdraw(50.0) // Successful withdrawal account.withdraw(60.0) // This will throw an IllegalStateException}
通过使用 check，代码明确地表达了验证预设条件的意图。比手动抛出异常更可读、更简洁。此外，它在执行流程的早期就能捕捉到可能的问题，使代码更健壮、更可预测。最后，可选的错误消息提供了上下文，使得在问题出现时更容易诊断。
使用 error 表示不可达的代码区块
在开发应用时，清楚地传达代码背后的意图至关重要。一个经常被忽视的方面是明确标记那些理论上不可达的代码区块。为了增强代码清晰度和安全性，Kotlin 提供了一个函数：error。
Kotlin 中的 error 函数是抛出 IllegalStateException 的简单方式，表明特定的代码块不应该被执行。该函数只需要一个参数——一个消息字符串，理想情况下，该消息应解释为何这个代码路径被认为是无效的。
使用 error，代码清晰地向其他开发者（及未来的自己）表明，认为特定的代码块是不可抵达的。这是一种文档化的代码形式。此外，如果由于 bug 或逻辑错误，无法达到的代码被执行，error 会立即中止执行，防止应用进入无效状态。
考虑一个处理用户命令的应用。每个命令对应一个特定的动作，但如果由于 bug，收到一个未定义的命令该怎么办？
fun processCommand(command: String) { when (command) { "start" -> startProcess "stop" -> stopProcess "pause" -> pauseProcess else -> error("Received an undefined command: $command") }}
在上述例子中，when 表达式的 else 分支使用 error 表示如果所有命令都考虑进来，则不应访问此代码。如果有新的命令出现并且没有得到正确处理，这个 error 调用将立即高亮出这个疏忽。
使用 error 函数标记和处理不可抵达的代码点，可以提高 Kotlin 代码的清晰度、安全性和可维护性。这是 Kotlin 致力于赋予开发者编写表达性和习惯性代码的承诺，关注明确的意图交流和预防性错误处理。
