java - try-with-resources:Kotlin 中的 "use"扩展功能并不总是有效

Question

我在表达 Java 的 try-with-resources 时遇到了一些麻烦。在 Kotlin 中构建。在我的理解中，作为 AutoClosable 实例的每个表达式都应该提供 use 扩展函数。

这是一个完整的例子:

import java.io.BufferedReader;
import java.io.FileReader;

import org.openrdf.query.TupleQuery;
import org.openrdf.query.TupleQueryResult;

public class Test {

    static String foo(String path) throws Throwable {
        try (BufferedReader r =
           new BufferedReader(new FileReader(path))) {
          return "";
        }
    }

    static String bar(TupleQuery query) throws Throwable {
        try (TupleQueryResult r = query.evaluate()) {
          return "";
        }
    }
}

Java-to-Kotlin 转换器创建以下输出:

import java.io.BufferedReader
import java.io.FileReader

import org.openrdf.query.TupleQuery
import org.openrdf.query.TupleQueryResult

object Test {

    @Throws(Throwable::class)
    internal fun foo(path: String): String {
        BufferedReader(FileReader(path)).use { r -> return "" }
    }

    @Throws(Throwable::class)
    internal fun bar(query: TupleQuery): String {
        query.evaluate().use { r -> return "" } // ERROR
    }
}

foo 工作正常，但 bar 中的代码无法编译:

Error:(16, 26) Kotlin: Unresolved reference.
None of the following candidates is applicable
because of receiver type mismatch: 
public inline fun <T : java.io.Closeable, R>
???.use(block: (???) -> ???): ??? defined in kotlin.io

query.evaluate() 来自 Sesame并实现 AutoClosable。是 Kotlin 的错误，还是有原因导致它不起作用？

---

我将 IDEA 15.0.3 与 Kotlin 1.0.0-beta-4584-IJ143-12 和以下 sasame-runtime 版本一起使用:

<groupId>org.openrdf.sesame</groupId>
<artifactId>sesame-runtime</artifactId>
<version>4.0.2</version>

Answer 1

Kotlin 目前以 Java 6 为目标，因此其标准库不使用 AutoCloseable 接口(interface)。 use 函数仅支持 Java 6 Closeable 接口(interface)。见 the issue tracker供引用。

您可以在项目中创建 use 函数的副本并修改它以将 Closeable 替换为 AutoCloseable:

public inline fun <T : AutoCloseable, R> T.use(block: (T) -> R): R {
    var closed = false
    try {
        return block(this)
    } catch (e: Exception) {
        closed = true
        try {
            close()
        } catch (closeException: Exception) {
            e.addSuppressed(closeException)
        }
        throw e
    } finally {
        if (!closed) {
            close()
        }
    }
}