为什么结构化类型的编译时生成技术会阻止单独编译？
我正在阅读（好的，略读）Dubochet和Odersky在JVM上编译结构类型，并对以下声明感到困惑：
生成技术创建了Java接口
对于JVM上的结构类型。这种复杂性
技术在于所有要用作的类
程序中任何地方的结构类型都必须实现
正确的界面。当它在编译时完成时，它
防止单独编译。
（重点补充）
考虑论文中的autoclose示例：
type Closeable = Any { def close(): Unit }
def autoclose(t: Closeable)(run: Closeable => Unit): Unit = {
try { run(t) }
finally { t.close }
}
Closeable
public interface AnonymousInterface1 {
public void close();
}
autoclose
// UPDATE: using a view bound here, so implicit conversion is applied on-demand
def autoclose[T <% AnonymousInterface1](t: T)(run: T => Unit): Unit = {
try { run(t) }
finally { t.close }
}
autoclose
val fis = new FileInputStream(new File("f.txt"))
autoclose(fis) { ... }
fis
FileInputStream
AnonymousInterface1
class FileInputStreamAnonymousInterface1Proxy(val self: FileInputStream)
extends AnonymousInterface1 {
def close() = self.close();
}
object FileInputStreamAnonymousInterface1Proxy {
implicit def fis2proxy(fis: FileInputStream): FileInputStreamAnonymousInterface1Proxy =
new FileInputStreamAnonymousInterface1Proxy(fis)
}
没有找到相关结果
已邀请:
3 个回复
盟犯涩沟都
容淑阔九
功飘
class A { def a1(i: Int): String = { ... }; def a2(s: String): Boolean = { ... }{ def a1(i: Int): String }{ def a2(s: String): Boolean }