Scala 的哪些功能无法转换为 Java？

Question

Scala 编译器直接编译为 Java 字节代码（或 .NET CIL）。 Scala 的一些功能可以直接用 Java 重新完成（例如简单的推导式、类、翻译匿名/内部函数等）。有哪些功能无法以这种方式翻译？

这大概主要是出于学术兴趣。也许更有用的是，您使用的 Scala 的哪些关键功能或习惯用法无法轻松地用 Java 表示？

还有其他办法吗？在 Java 中可以直接完成但在 Scala 中没有直接等效的事情？ Java 中无法翻译的习语？

Answer 1

在我看来，这个问题没有抓住要点，要求我们通过查看生成的字节码来比较 JVM 语言。

Scala 编译为与 Java 等效的字节码。也就是说，字节码可能是由 Java 编写的代码生成的。事实上，您甚至可以让 scalac 输出看起来很像 Java 的中间形式。

所有特性，如特征（通过静态转发器）、非本地返回（通过异常）、惰性值（通过引用）等都可以通过Java程序来表达，尽管可能是以一种最丑陋的方式！

但是 scala scala 而不是 Java 的原因是 scalac 可以在生成字节码之前为您做的事情。作为一种静态类型语言，scalac 的优点是能够在编译时检查程序的正确性，包括类型正确性（根据其类型系统） 。

因此，Java 和 scala 之间的主要区别（当然 Java 也是静态类型的）是 scala 的类型系统，它能够表达 java 语言的类型的编程关系系统不能。例如：

class Foo[M[_], A](m : M[A])
trait Bar[+A]

这些概念，即M是一个本身具有类型参数的类型参数，或者Bar是协变的，只是不存在于爪哇地区。

Answer 2

特质是一种没有等价物的东西。特征是其中包含代码的接口。您可以将代码复制到混合有特征的所有类，但这不是同一件事。

我也相信 scala 类型系统更完整。虽然它最终会映射到 JVM 类型（实际上会被擦除）。您可以在 Scala 类型系统中表达一些在 Java 中可能无法实现的内容（例如差异）。

Answer 3

我认为，在某些特征中动态混合是没有等价的。在 Scala 中，您可以在创建新对象时添加一些特征，这些特征会混合在一起。

例如，我们创建一只又饿又渴的狗和一只只是饿的狗。

val hungryThirstyDog = new Dog with Hungry with Thirsty
val onlyHungryDog = new Dog with Hungry

我不知道在 Java 中执行此操作的等效方法。在Java中，继承是静态定义的。

Answer 4

隐式转换在 Java 中没有直接的等价物。

Answer 5

我发现 scala 的一个很好用的功能是通过 Manifests 进行类型具体化。由于 JVM 会从泛型中去除所有类型信息，因此 scala 允许您将这些信息保存在变量中。这是 Java 反射 AFAIK 无法处理的事情，因为字节码中没有类型的参数。

我需要它们的情况是对 List 类型进行模式匹配。也就是说，我有一个 VertexBuffer 对象，它将数据存储在 GPU 上，可以从浮点数或整数列表构造。清单代码大致如下：

class VertexBuffer[T](data:List[T])(implicit m:Manifest[T]) {
  m.toString.match {
    case "float" => ...
    case "int" => ...
  }
}

此链接包含更多信息的博客文章链接。

还有很多包含更多信息的 SO 页面，例如 这个 。

Answer 6

三个词：高等类型。

Answer 7

您的主题不清楚您是指 Java JVM 还是 Java 语言。鉴于 Scala 运行在 JVM 上，q 没有任何意义，因为我们都知道 Scala 运行在 JVM 上。

Answer 8

Scala 对 XML 有“本机”支持。您可以直接在 Scala 代码中构建 XML、查找元素、匹配。

示例： http://programming-scala.labs.oreilly.com/ch10.html