如何规避Kotlin限制“禁止类型参数用于捕获参数”

vx6bjr1n  于 2023-08-06  发布在  Kotlin
关注(0)|答案(3)|浏览(165)

我定义了如下函数：

  1. inline fun <T> T.tryTo(block: T.() -> Unit): T? {
  2.     try {
  3.         block()
  4.     } catch (ex: IllegalArgumentException) {
  5.         return this
  6.     }
  7.     return null
  8. }

字符串
其目的是在对象上构建尝试操作链，例如：

  1. val input: String = getInput();
  3. input.tryTo /* treat as a file name and open the file */ {
  4.     Desktop.getDesktop().open(File(this))
  5. }?.tryTo /* treat as a number */ {
  6.     try {
  7.         doSomethingWithTheNumber(parseInt(this))
  8.     } catch (ex: NumberFormatException) {
  9.         throw IllegalArgumentException()
  10.     }
  11. }?.tryTo {
  12.     println("All options tried, none worked out. Don't know how to treat this input.")
  13. }

型
到目前为止一切正常。
但是，正如您在中间的 tryTo-block（“treat as a number”）中所看到的，将“expected”异常作为IllegalArgumentException重新抛出以保持模式工作是不方便的。最好是这样写：

  1. val input: String = getInput();
  3. input.tryTo<IllegalArgumentException> /* treat as a file name and open the file */ {
  4.     Desktop.getDesktop().open(File(this))
  5. }?.tryTo<NumberFormatException> /* treat as a number */ {
  6.     doSomethingWithTheNumber(parseInt(this))
  7. }?.tryTo<Exception> {
  8.     println("All options tried, none worked out. Don't know how to treat this input.")
  9. }

型
因此，我将函数 tryTo 重写为：

  1. inline fun <T, X: Exception> T.tryTo(block: T.() -> Unit): T? {
  2.     try {
  3.         block()
  4.     } catch (ex: X) {
  5.         return this
  6.     }
  7.     return null
  8. }

型
不幸的是，后者无法编译：“类型参数禁止用于catch参数”。

如何规避此限制？

附录：
现在我得到了它：

  1. inline fun <T, reified X: Exception> T.tryTo(block: T.() -> Unit): T? {
  2.     try {
  3.         block()
  4.     } catch (ex: Exception) {
  5.         return if (ex is X) this else throw ex
  6.     }
  7.     return null
  8. }

型
但我仍然不满意，因为它要求我显式地指定两个类型（“类型推断失败...”/“需要2个类型参数...”）：

  1. input.tryTo<String, IllegalArgumentException> /* treat as a file in the stapel-directory */ {
  2.     ...
  3. }

型
尽管第一类型参数显然是可从接收器对象推断的。

kotlin

3条答案

按热度按时间
xoefb8l8

xoefb8l81#

我认为这是可能的，如果你只是使类型参数具体化，但显然不是。我确实找到了这个检查的源代码，很明显，它对catch子句中的任何类型的参数都是错误的，无论它是否被具体化。
添加这些检查的提交消息引用了this issue-显然，带有类型参数的catch子句捕获了所有抛出的Exception示例，如果异常不是指定的类型，则会崩溃并返回ClassCastException。
对于你的情况，一个可能的解决方法来自this answer，用于类似的Java问题-如果泛型类型被具体化，你可以检查抛出的异常是否是该特定类型，我相信这使这个函数成为你所寻找的：

  1. inline fun <T, reified X : Exception> T.tryTo(block: T.() -> Unit): T? {
  2.     try {
  3.         block()
  4.     } catch (ex: Exception) {
  5.         if (ex is X) {
  6.             return this
  7.         }
  8.     }
  9.     return null
  10. }

字符串
虽然调用位置变得非常丑陋，因为如果函数调用有两个类型参数，你不能只指定它的第二个类型参数：

  1. val input: String = getInput()
  3. input.tryTo<String, IllegalArgumentException> /* treat as a file name and open the file */ {
  4.     Desktop.getDesktop().open(File(this))
  5. }?.tryTo<String, NumberFormatException> /* treat as a number */ {
  6.     doSomethingWithTheNumber(parseInt(this))
  7. }?.tryTo<String, Exception> {
  8.     println("All options tried, none worked out. Don't know how to treat this input.")
  9. }

型
一个稍微好一点的替代方案，更接近原始的Java答案：

  1. inline fun <T> T.tryTo(exceptionType: KClass<out Exception>, block: T.() -> Unit): T? {
  2.     try {
  3.         block()
  4.     } catch (ex: Exception) {
  5.         if (exceptionType.isInstance(ex)) {
  6.             return this
  7.         }
  8.     }
  9.     return null
  10. }

型
传入KClass示例如下：

  1. input.tryTo(IllegalArgumentException::class) /* treat as a file name and open the file */ {
  2.     Desktop.getDesktop().open(File(this))
  3. }?.tryTo(NumberFormatException::class) /* treat as a number */ {
  4.     doSomethingWithTheNumber(parseInt(this))
  5. }?.tryTo(Exception::class) {
  6.     println("All options tried, none worked out. Don't know how to treat this input.")
  7. }

型

展开查看全部
赞(0）分享  回复(0）举报  2023-08-06
gxwragnw

gxwragnw2#

您可以简单地删除receiver参数
对于else语义，最好使用?:，然后使用?.

  1. inline fun <reified E : Throwable> runIgnoring(block: () -> Unit): Unit? {
  2.     return try {
  3.         block()
  4.     } catch (e: Throwable) {
  5.         if (e is E) null else throw e
  6.     }
  7. }
  9. val input: String = getInput()
  11. runIgnoring<IllegalArgumentException> /* treat as a file name and open the file */ {
  12.     Desktop.getDesktop().open(File(input))
  13. } ?: runIgnoring<NumberFormatException> /* treat as a number */ {
  14.     doSomethingWithTheNumber(parseInt(input))
  15. } ?: run {
  16.     println("All options tried, none worked out. Don't know how to treat this input.")
  17. }

字符串

展开查看全部
赞(0）分享  回复(0）举报  2023-08-06
nhaq1z21

nhaq1z213#

  1. inline fun <T, reified X: Exception> T.tryTo(block: T.() -> Unit): T? {
  2.     return try {
  3.         block()
  4.     } catch (ex: Exception) {
  5.         when(ex) {
  6.             is E -> this
  7.             else null
  8.         }
  9.     }
  10. }

字符串

赞(0）分享  回复(0）举报  2023-08-06
我来回答

相关问题

    查看更多

    热门标签

    更多
    JavaquerypythonNode开发语言requestUtil数据库Table后端算法LoggerMessageElementParser

    最新问答

    更多
    • 蜀ICP备13028337号-1 大数据知识库 https://www.saoniuhuo.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com