在字符串模板中使用化返回类型调用内联函数时，Kotlin 类型推断失败

Question

我有一个内联函数，它使用如下所示的化输出类型：

class Config {
    inline operator fun <reified T> get(v:String):T = ...
}

我想从如下所示的字符串模板调用该函数：

val c = Config()
val v:String = "value of key is: ${c["key"]}"

当我尝试这样做时，我收到一个编译警告，内容如下：

Error:(26, 19) Kotlin: Type inference failed: Not enough information to 
infer parameter T in inline operator fun <reified T> get(v: String): T
Please specify it explicitly.

我知道以下代码有效

val c = Config()
val s:String = c["key"]
val v:String = "value of key is: $s"

但是，如果可能的话，我想告诉 kotlin 在单行中使用正确的类型。

使用强制转换似乎不起作用：

val v:String = "value of key is: ${c["key"] as String}"

Answer 1

我认为在当前版本(1.2.30(中唯一有效的方法是使用get方法而不是括号并显式指定类型参数：

val v = "value of key is: ${c.get<String>("key")}"

据我了解，强制转换应该可以工作(从 Kotlin 1.2 开始，编译器可以从强制转换中推断出预期的类型(，但在这种特定情况下它不起作用，这可能是一个错误，所以你可能想提交一个 YouTrack 问题。

(函数是内联的实际上并不重要。问题是它返回 T，而 T 不依赖于参数类型，因此只能根据赋值的变量的类型来推断。对于字符串模板，除了显式指定 T 之外，无法提供此信息。