如何规避Kotlin中「catch参数禁止使用类型参数」的限制

这确实是Kotlin泛型在catch块里的一个常见限制——咱们没法直接在catch (ex: E)里用类型参数E，因为泛型擦除的问题，运行时没法确定具体类型。不过别担心，用reified类型参数就能完美解决，还能保住你想要的链式调用风格。下面给你几种实用的实现方案：

方案一：使用Reified Inline函数（推荐） #

利用Kotlin的reified关键字，我们可以在inline函数内部获取到泛型的具体类型信息，从而判断捕获的异常是否符合要求。修改后的tryTo函数如下：

inline fun <T, reified E : Exception> T.tryTo(block: T.() -> Unit): T? {
    return try {
        block()
        // 执行成功，返回null终止链式调用
        null
    } catch (ex: Exception) {
        // 如果是指定类型的异常，返回当前对象继续链式调用；否则抛出原异常
        if (ex is E) this else throw ex
    }
}

使用示例 #

现在你可以直接指定要捕获的异常类型，不需要在block里手动抛异常了，代码更简洁：

val input: String = getInput()
input
    .tryTo<IllegalArgumentException> { 
        Desktop.getDesktop().open(File(this)) 
    }
    ?.tryTo<NumberFormatException> { 
        doSomethingWithTheNumber(parseInt(this)) 
    }

这里的逻辑和你原来的需求完全一致：如果作为文件名处理时抛出IllegalArgumentException，就返回input继续尝试作为数字处理；如果数字解析时抛出NumberFormatException，还可以继续后面的尝试链（如果有的话）；其他异常会正常抛出，不会被吞掉。

方案二：重载函数简化调用 #

如果觉得每次写<具体异常类型>有点繁琐，可以针对常用的异常类型写专门的重载函数，让调用更直观：

// 针对IllegalArgumentException的重载
inline fun <T> T.tryToOnIllegalArg(block: T.() -> Unit): T? {
    return tryTo<IllegalArgumentException>(block)
}

// 针对NumberFormatException的重载
inline fun <T> T.tryToOnNumberFormat(block: T.() -> Unit): T? {
    return tryTo<NumberFormatException>(block)
}

使用示例 #

调用的时候就不用写泛型参数了，可读性更强：

input
    .tryToOnIllegalArg { 
        Desktop.getDesktop().open(File(this)) 
    }
    ?.tryToOnNumberFormat { 
        doSomethingWithTheNumber(parseInt(this)) 
    }

方案三：支持捕获多个异常类型 #

如果需要一次捕获多种异常，还可以扩展成支持可变参数的版本：

inline fun <T> T.tryTo(vararg catchTypes: Class<out Exception>, block: T.() -> Unit): T? {
    return try {
        block()
        null
    } catch (ex: Exception) {
        if (catchTypes.any { it.isInstance(ex) }) this else throw ex
    }
}

使用示例 #

一次指定多个要捕获的异常类型：

input.tryTo(
    IllegalArgumentException::class.java,
    NumberFormatException::class.java
) {
    // 这里的代码如果抛出上述两种异常之一，就返回input；否则抛出原异常
}

为什么原来的方式不行？ #

Kotlin禁止在catch参数中使用类型参数，本质是因为泛型类型擦除——编译后泛型参数的具体类型信息会丢失，JVM没法知道要捕获什么类型的异常。而reified关键字只能用在inline函数里，它会把泛型类型的信息直接嵌入到编译后的代码中，让我们可以在函数内部用is判断来实现类似“捕获指定类型异常”的效果。

内容的提问来源于stack exchange，提问作者Min-Soo Pipefeet