在finally中抛出异常时返回类型不匹配

Question

我使用的是 Kotlin 1.2.60。

val someString: String = try {

    String.format("Okay %s", "there") // or any function that returns String

} catch(exception: Exception) {

    try {
        // fun incrementErrorCount() { ... }
        incrementErrorCount() // [1] Error: Type mismatch: Inferred type is Unit but String was expected
    } finally {
        throw exception
    }

    // throw exception // [2] Fixes the type mismatch when uncommented, but raises Warning: Unreachable code
}

我在 1 收到 类型不匹配 错误，因为它期望 incrementErrorCount() 返回一个字符串 - 但返回类型应该无关紧要，因为它总是会重新抛出 @ 987654324@反正。

我添加了2，它修复了类型不匹配 错误，但引发了无法访问代码 警告，因为函数永远不会超出throw 中的finally .

我做错了什么？我怎样才能让它编译没有错误或警告？

Answer 1

查看Kotlin Reference 的try-catch-finally，您会看到：

try-表达式的返回值要么是try 块中的最后一个表达式，要么是catch 块（或多个块）中的最后一个表达式。 finally 块的内容不影响表达式的结果。

所以这意味着虽然你的意图是正确的，并且没有办法从你的第二个 try 块返回，但 Kotlin 编译器仍然会将 Unit 作为它的返回值，并且由于规范而不修改它finally 块。

要让编译器知道catch 块将始终返回Nothing，您需要将throw 移出finally 块。

Answer 2

try-catch 是 Kotlin 中的表达式。如果try 块成功运行而没有抛出任何东西，则返回它的最后一个值。如果抛出异常，则返回 catch 块的最后一个值。

在你的情况下，如果String.format 没有抛出异常，它的结果是从第一个try-catch 返回的，你很好。这是简单的路线。

如果String.format 抛出异常，则返回catch 块的最后一个表达式，即嵌套try-finally 本身的第二个表达式。这可以通过两种方式结束：

• 如果嵌套的try 块成功运行，它的最后一个表达式（在本例中为incrementErrorCount）就是它的求值结果，然后该调用的结果将分配给someString。这是您遇到的类型错误，看起来 incrementErrorCount 没有返回要分配的 String。
• 如果嵌套的try 失败，则抛出异常，完全取消someString 的分配。

添加第 [2] 行修复了您的错误，因为嵌套的 try-catch 没有用作分配给 someString 的值，它刚刚运行，throw 表达式取消了 someString 的整个分配。

Answer 3

我假设你想要的逻辑是，如果 String.format 失败，你会让异常被抛出，但也会增加你的错误计数。在那种情况下，我认为您需要（未经测试）...

val someString: String = try {

    String.format("Okay %s", "there") // or any function that returns String

} catch(exception: Exception) {

    try {
        // fun incrementErrorCount() { ... }
        incrementErrorCount()
    } 
    catch (dontCare: Exception) {
    }

    throw exception 

}