3

我在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[_, _]]) {
        }
    })

考虑到两种语言的类型系统，这也是有道理的。

4

1 回答 1

3

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

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

    }

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

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

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

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

}

将是正确的写作方式。

如果现在要表达多个未知类型之间的界限关系，不能使用紧凑的 _ 表示适用于简单界限的存在类型，而必须使用 forSome

  class Port[A,B<:A]

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

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

于 2012-07-24T13:51:23.963 回答