使用 Scala 的 Raw 类型实现 Java 接口

Question

我正在尝试使用 Scala 为 Sonar 构建扩展。 我需要扩展以下Java接口：

public interface Decorator extends BatchExtension, CheckProject {
    void decorate(Resource resource, DecoratorContext context);
}

但 Resource 类型实际上是这样定义的：

public abstract class Resource<PARENT extends Resource>

我知道我可以解决创建 Java 原始超类的问题。 我想坚持仅使用 Scala，也知道是否有我遗漏的解决方案，以及我是否可以建议 SonarSource 人员在他们身边做出改进（使用原始类型）。

我已经读过这方面存在问题，并且在某些情况下有一些解决方法，但似乎都不适用于这里（a workaround、an apparently fixed ticket，还有票 2091...）

Answer 1

我不知道答案，但如果我写

def decorate(r: Resource[Resource[_]])

我收到一个错误

type arguments [Resource[_]] do not conform to class Resource's type parameter bounds [PARENT <: Resource[_ <: AnyRef]]

这对我来说似乎是错误的，因为我认为实际的类型边界应该更像 Resource[_ <: Resource[_ <: Resource[... ...]]（AnyRef 不适合作为上限）。

Answer 2

经过一些试验和错误并查看错误消息，我想出了这个编译：

import org.sonar.api.batch._
import org.sonar.api.resources._ 

object D {
  type R = Resource[T] forSome {type T <: Resource[_ <: AnyRef]}
  type S[T] = Resource[T] forSome {type T <: Resource[_ <: AnyRef]}
}

class D extends Decorator {
  def decorate(r: D.R, context: DecoratorContext) {}
  //def decorate(r: D.S[_], context: DecoratorContext) {} // compiles too
  def shouldExecuteOnProject(project: Project) = true
}

我不确定它是否能让您实现所需的功能。我查看了Resource，它可以代表File，它扩展了Resource<Directory>，或者有时是一个擦除（原始？）类型，它只是扩展了Resource，就像Directory一样。

编辑：再想一想，forSome 可以被消除 - 这也可以编译：

def decorate(resource: Resource[_ <: Resource[_ <: AnyRef]],
             context: DecoratorContext) {
}