未明确指定泛型参数时构建期间发生 UninferredParameterTypeConstructor 异常

Question

我有以下代码（使用 RxKotlin 0.40.1）：

class Result<T, E>(val data: T? = null, val error: E? = null)

fun <T, E> wrapResult(errorInfoFactory: (Throwable) -> E): (Observable<T>) -> Observable<Result<T, E>> = { it.map { Result<T, E>(it) }.onErrorReturn { Result<T, E>(error = errorInfoFactory(it)) } }

仅供参考，这需要轻松转换 Observable，这可能会向 Observable 抛出错误，而 Observable 总是 returns Result 对象，因此 onError 是从未触发。

我想这样使用它：

fun dangerousOperation() = 0

fun getErrorMessage(t: Throwable) = "error occurred"

fun test() {
    val resultObservable = Observable.fromCallable(::dangerousOperation).compose(wrapResult(::getErrorMessage))
}

并且 Android Studio 1.5.1 与 Kotlin 插件 1.0.0-release-IJ141-56 没有突出显示此代码中的任何错误。但是当我尝试构建它时，出现错误：

//Error:(24, 9) org.jetbrains.kotlin.codegen.CompilationException: Back-end (JVM) Internal error: Error type encountered: org.jetbrains.kotlin.types.ErrorUtils$UninferredParameterTypeConstructor@68754e6 (ErrorTypeImpl). //Cause: Error type encountered: org.jetbrains.kotlin.types.ErrorUtils$UninferredParameterTypeConstructor@68754e6 (ErrorTypeImpl). //File being compiled and position: (24,9) in /home/d/work/workspace/Hitch-hiking-Stats/app/src/main/java/ru/netimen/hitch_hikingstats/MemoryRepo.kt //PsiElement: val resultObservable = Observable.just(dangerousOperation()).compose(wrapResult(::getErrorMessage)) //The root cause was thrown at: JetTypeMapper.java:435 // at org.jetbrains.kotlin.codegen.ExpressionCodegen.genQualified(ExpressionCodegen.java:299) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.genStatement(ExpressionCodegen.java:339) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.generateBlock(ExpressionCodegen.java:1532) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.generateBlock(ExpressionCodegen.java:1485) // at org.jetbrains.kotlin.codegen.CodegenStatementVisitor.visitBlockExpression(CodegenStatementVisitor.java:56) // at org.jetbrains.kotlin.codegen.CodegenStatementVisitor.visitBlockExpression(CodegenStatementVisitor.java:22) // at org.jetbrains.kotlin.psi.KtBlockExpression.accept(KtBlockExpression.java:44) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.genQualified(ExpressionCodegen.java:280) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.genStatement(ExpressionCodegen.java:339) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.gen(ExpressionCodegen.java:309) // at org.jetbrains.kotlin.codegen.ExpressionCodegen.returnExpression(ExpressionCodegen.java:1873) // at org.jetbrains.kotlin.codegen.FunctionGenerationStrategy$FunctionDefault.doGenerateBody(FunctionGenerationStrategy.java:50) // at org.jetbrains.kotlin.codegen.FunctionGenerationStrategy$CodegenBased.generateBody(FunctionGenerationStrategy.java:72) // at org.jetbrains.kotlin.codegen.FunctionCodegen.generateMethodBody(FunctionCodegen.java:364) // at org.jetbrains.kotlin.codegen.FunctionCodegen.generateMethod(FunctionCodegen.java:203) // at org.jetbrains.kotlin.codegen.FunctionCodegen.generateMethod(FunctionCodegen.java:138)

但是当我将 test 函数更改为

fun test() {
    val resultObservable = Observable.fromCallable(::dangerousOperation).compose(wrapResult<Int, String>(::getErrorMessage))
}

编译一切正常。但是，如果 IDE 没有突出显示任何错误，为什么我没有明确指定 wrapResult 的通用参数时会出现该异常？

Answer 1

这是编译器错误：https://youtrack.jetbrains.com/issue/KT-11144。出现此错误的主要原因：函数 wrapResult 仅在自己的 return 类型中使用泛型参数 T。

未明确指定泛型参数时构建期间发生 UninferredParameterTypeConstructor 异常

UninferredParameterTypeConstructor exception during build when generic parameters not specified explicitly

kotlin