在向外投影的函数对象上调用（）

Question

我是科特林·纽比。我有一组函数，它们接受和解析不同的输入（纯文本、json、xml），但具有相同的输出（和事件实例）。代码如下所示（完整版本见https://pastebin.com/UNJFGZsm):

    data class Event(val id: Int)
    val stringToEvent: (String) -> Event = { s -> Event(s.toInt()) }
    val dummyToEvent: (Document) -> Event = { _ -> Event(1) }
    val jsonToEvent: (JsonNode) -> Event = { j -> Event(j.get("id").asInt()) }
    fun elementGen(opt: String): Any {
        // return a String, or a JsonNode, or a Document
        // ...
    }
    fun main(args : Array) {

        val parser = when (args[0]) {
            "string" -> stringToEvent  // it builds if I remove this line
            "json" -> jsonToEvent
            "xml" -> dummyToEvent
            else -> throw RuntimeException("Option not supported")
        }

        print(parser(elementGen(args[0])))
    }

当我尝试构建时，会出现如下错误：

（44,11）：外投影类型“功能1”

但是，如果我不使用stringToEvent函数，代码似乎可以正确构建和工作。

为什么？为什么问题似乎只影响（字符串）-




Answer 1

原因是函数的输入类型是（即，它有约束，但约束未知）。无法调用具有星形投影输入类型的函数。从Kotlin泛型页面：

给富的

提供的参数（elementGen（args[0]））的类型是Any。这是因为when子句中可能的参数类型的并集在Any下没有公共类型。因此，elementGen（args[0]）是函数的无效参数。

奇怪的是，尽管kotlinc能够在原始代码中检测到这个错误，但当字符串输入类型被删除时，它却无法检测到。奇怪的是，在这种情况下编译成功了。假设参数类型（Any）不满足输入类型（交叉点类型文档）

fun elementGen(opt: String): Any {
    return when (opt) {
        "string" -> "1"
        "json" -> {
            "1"
//            val mapper = ObjectMapper()
//            mapper.readTree("{\"id\": 1 }")
        }
        "xml" -> {
            DocumentBuilderFactory.newInstance().newDocumentBuilder().parse("<id>1</id>")
        }
        else -> throw RuntimeException("Option not supported")
    }
}

fun main(args: Array<String>) {

    val parser = when (args[0]) {
//        "string" -> stringToEvent
        "json" -> jsonToEvent
        "xml" -> dummyToEvent
        else -> throw RuntimeException("Option not supported")
    }
    print(parser(elementGen(args[0])))
}

您可以看到编译仍然成功，但在运行时引发了类强制转换异常：

Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to com.fasterxml.jackson.databind.JsonNode
    at com.example.demo.config.TestKt$jsonToEvent$1.invoke(test.kt)
    at com.example.demo.config.TestKt.main(test.kt:39)

我想你可能发现了一个错误。如果您选择添加票证，问题跟踪器就在这里。