6

所以我得到了这个超级令人兴奋的 Java 类：

import scala.collection.immutable.Stream;

public class EmptyStreamFactory {
  public static Stream<String> createEmptyStringStream() {
    return Stream.<String>empty();
  }
}

使用类路径上的 2.10.4 编译就好了scala-library.jar（或 2.9.2，因为这是值得的）。现在我用 2.11 试试：

EmptyStreamFactory.java:5: error: incompatible types
    return Stream.<String>empty();
                               ^
  required: Stream<String>
  found:    GenTraversable
1 error

这有什么意义呢？乍一看，可能与远程相关的唯一区别是Stream.Empty不再Serializable在 2.11 中扩展的事实，但我不明白这会如何导致这个问题。List等也会发生同样的事情。

有一个简单的解决方法——您可以转换为适当的类型——但我想了解这里发生了什么。

（我使用的是 Oracle 的 JDK，版本 1.7.0_67。）

4

2 回答 2

4

桥接方法的静态转发器本身并未标记为桥接方法，并且无论出于何种原因，java 都更喜欢返回 GenTraversable 的那个，因为它有两个可供选择。

classOf[scala.collection.immutable.Stream[_]].getMethods filterNot 
  (_.isBridge) filter (_.getName == "empty") foreach println
public static scala.collection.immutable.Stream scala.collection.immutable.Stream.empty()
public static scala.collection.GenTraversable scala.collection.immutable.Stream.empty()

您不能在 java 语言中重载返回类型，因此任何人都可以猜测编译器在遇到它时会做什么。我不知道它是否被指定，尽管它可能是。

一般来说，您不能从 java 调用集合方法，这已被判断为不会修复。

编辑：重新“仍然不明白 2.11 中发生了什么变化来实现这一点”，这是第一批候选人：

% git log --no-merges --oneline --grep=forwarder v2.10.4..v2.11.2
532ef331eb (pull/3868/head) Restore reporter forwarders in CompilationUnit
b724201383 Rip out reporting indirection from CompilationUnit
98216be3f3 Move reporting logic into Reporting trait
653c404d7f (pull/3493/head) SI-3452 GenBCode version of the static-forwarder signature fix
640e279500 SI-3452 A better fix for static forwarder generic sigs
f8d80ea26a SI-3452 Correct Java generic signatures for mixins, static forwarders
51ec62a8c3 (pull/3480/head) SI-6948 Make the Abstract* classes public.
731ed385de SI-8134 SI-5954 Fix companions in package object under separate comp.
3cc99d7b4a (pull/3103/head) Collections library tidying and deprecation.  Separate parts are listed below.
5d29697365 Flesh out the Delambdafy phase.
6e2cadb8bd (pull/2951/head) SI-7847 Static forwarders for case apply/unapply
9733f56c87 (pull/1173/head) Fixes SI-4996.

你不会通过查看库代码来找到它，这是肯定的。这是编译器的变化。

于 2014-08-24T15:00:01.330 回答
2

我今天学到的是，Java 很乐意忽略无关的类型 arg（JLS 15.12.2.1，本节末尾的细则）。

该规则源于兼容性问题和可替代性原则。

显然，有些规则源于有原则的推理，有些则源于实际问题，偶尔的规则具有双重血统。

apm@mara:~/tmp$ javap -classpath ~/scala-2.11.2/lib/scala-library.jar scala.collection.immutable.Stream | grep empty
  public static <A extends java/lang/Object> scala.collection.immutable.Stream<A> empty();
  public static scala.collection.GenTraversable empty();
apm@mara:~/tmp$ javap -classpath ~/scala-2.10.4/lib/scala-library.jar scala.collection.immutable.Stream | grep empty
  public static <A extends java/lang/Object> scala.collection.immutable.Stream<A> empty();
  public static <A extends java/lang/Object> scala.collection.immutable.Stream<A> empty();

看起来桥接方法的转发器已修复。

这编译：

import scala.collection.immutable.Stream;
import scala.collection.immutable.Stream$;

public class EmptyStreamFactory {
    public static Stream<String> createEmptyStringStream() {
        return Stream$.MODULE$.<String>empty();
    }
}

我需要三天的周末来重新阅读 Java 中的重载规范。

也许因为 Stream 是抽象的，所以最具体的返回类型规则开始生效。

于 2014-08-24T07:10:13.453 回答