在 Scala 中实现具有原始类型的方法

Question

我在 Scala 中使用 Drools Planner（用 Java 编写）时遇到问题。 Drools planner 中的一个接口声明为：

public interface Score<S extends Score> extends Comparable<S>

然而另一个接口使用“Score”作为原始类型：

public interface Solution {
    Score getScore();

然后我想在 Scala 中实现此接口：

class MySolution extends Solution {
    def getScore: Score = ...

我得到一个编译错误： Scala 编译器不允许只编写 'def getScore：分数'。当我尝试添加“Score[_]”或“Score[whatever]”时，编译器抱怨类型不兼容。我应该怎么办？

Answer 1

编写一个 Java 类作为 Java 接口要求和 Scala 允许的之间的桥梁。

SolutionBridge.java：SolutionScala.scala

abstract class SolutionBridge implements Solution {
    public Score getScore() {
        return scalaGetScore();
    }

    abstract Score<?> scalaGetScore();
}

：

class SolutionScala extends SolutionBridge {
    def scalaGetScore() = null.asInstanceOf[Score[_]]
}

Answer 2

您省略的错误消息不是无关的细节。关于“我还希望 Scala 对此提供一些支持”，您也可以选择通过阅读错误消息来参与该过程，如果您不理解它们，请在提出问题时包括它们，而不是含糊地解释它们。

错误消息，它们很重要。即使他们感到困惑。尤其是当他们感到困惑的时候。

这是 2.8.1 中的错误：

a.scala:2: error: overriding method getScore in trait Solution of type ()Score[_ <: Score];
 method getScore has incompatible type
  def getScore: Score[_] = null
      ^
one error found

这是 trunk 的错误：

a.scala:2: error: overriding method getScore in trait Solution of type ()Score[_ <: AnyRef];
 method getScore has incompatible type
  def getScore: Score[_] = null
      ^
one error found

那里有一个关键的区别，这就是为什么当我按照错误消息指示执行时它可以与 trunk 一起工作。

// this compiles with 2.9, but not with 2.8
class MySolution extends Solution {
  def getScore: Score[_ <: AnyRef] = null
}

原始类型 Score 在 java 源代码中的使用方式（在一个位置作为类型构造函数，但在另一个位置具有隐含的存在类型参数，第二个外观限制第一个外观），它在任何地方都可以工作，这真是一个奇迹。您不想知道容纳此类事情已经对编译器造成了多少损害。确实，如果原始类型能够正常工作那就太好了，但很多事情都会更好。有些事情是不可能的，有些事情是不可取的，有些事情需要极少数人付出太多的努力才能让船保持漂浮。原始类型赢得三冠王。

Answer 3

Drools Planner (5.2.0.M2) 的下一个版本将修复此问题。
这是 git 上的提交。

在某些情况下，人们想要定义自己的 < code>Score 实现（例如 NurseRosterScore 实现 HardAndSoftScore），能够向用户显示每个硬约束或软约束类型中到底违反了什么最佳解决方案。这一改变是使这一过程变得更容易、更干净的第一步（尽管这已经是可能的）。

Answer 4

您是否尝试过投射Score：

val s = solution.getScore.asInstanceOf[Score[Int]]