Question

我在java代码中有以下定义：

抽象端口定义（由具体端口类键入）：

package test;

public class Port<
     PortOptions extends Port.Options, 
     ConcretePort extends Port<PortOptions, ConcretePort>> {

    public interface Options {
    }

}

端口服务定义（可以通过一些回调机制对端口做一些事情）

package test;

import java.util.Set;

public class PortService {
    public interface Callback<T> {
        void processData(T data);
    }

    public void methodWithCallback(Callback<Set<Port>> callback) {

    }
}

我想从scala注册回调到端口服务。我试过的是这个：

package test

import test.PortService.Callback
import java.util

class PortServiceCaller {

    def callingMethod() {
        val portService: PortService = new PortService

        portService.methodWithCallback(new Callback[java.util.Set[Port[_, _]]] {
            def processData(data: util.Set[Port[_, _]]) {

            }
        })
    }
}

并且悲惨地失败了：

error: type mismatch;
found   : java.lang.Object with test.PortService.Callback[java.util.Set[test.Port[_, _]]]
required: test.PortService.Callback[java.util.Set[test.Port[_ <: test.Port.Options, _ <: test.Port[?0,?1]]]]
portService.methodWithCallback(new Callback[java.util.Set[Port[_, _]]] {

问题是：如何编写scala代码以便让我正确调用java服务？

我查看了scala打字系统，我似乎无法弄明白。

稍后编辑：

解决方案实际上很简单：

将回调方法声明为：

    public void methodWithCallback(Callback<Set<Port<?, ?>>> callback) {

    }

并从scala中调用它：

    portService.methodWithCallback(new Callback[java.util.Set[Port[_, _]]] {
        def processData(data: java.util.Set[Port[_, _]]) {
        }
    })

鉴于两种语言的类型系统，这也是有意义的。

Answer 1

您在Java中所做的事情是危险的，您的代码编译只是因为Java编译器是懒惰的并且不会检查它。当你写：

   public void methodWithCallback(Callback<Set<Port>> callback) {

    }

您基本上丢弃了有关Port的所有类型信息：

Port<PortOptions extends Port.Options, ConcretePort extends Port<PortOptions, ConcretePort>>

整个信息不可用，Java编译器允许您省略类型参数。在scala中，这是不可能的，不仅你必须正确表达类型参数，还要表达类型约束。这里的第一个问题是你为什么要写Port而不是说那里有一些未知的类型。

public void methodWithCallback(Callback<Set<Port<?,?>>> callback) {

}

将是正确的写作方式。

如果现在要表达多个未知类型之间的边界关系，则不能将compact _用于适用于简单边界的存在类型，但必须使用forSome

  class Port[A,B<:A]

  def myMethod(a:Port[A,B]forSome {type B; type B<:A})

然而，正如我倾向于说的那样，最终使用这些模式是因为你的设计很薄弱，你可能会有一种更清洁，更优雅的方式来解决你的问题。如果你需要抛弃关于类型安全的信息，那么使用泛型有什么意义呢？

使用scala代码中的java中定义的递归泛型类型

1 个答案: