如何在 scala 中使用 java.lang.Integer

Question

我想使用静态方法Integer#bitCount(int)。 但我发现我无法使用类型别名来实现它。类型别名和导入别名有什么区别？

scala> import java.lang.{Integer => JavaInteger}
import java.lang.{Integer=>JavaInteger}

scala> JavaInteger.bitCount(2)
res16: Int = 1

scala> type F = java.lang.Integer
defined type alias F

scala> F.bitCount(2)
<console>:7: error: not found: value F
       F.bitCount(2)
       ^

Answer 1

在 Scala 中，它没有使用静态方法，而是有配套的单例对象。

伴生单例对象的类型与伴生类不同，并且类型别名与类绑定，而不是与单例对象绑定。

例如，您可能有以下代码：

class MyClass {
    val x = 3;
}

object MyClass {
    val y = 10;
}

type C = MyClass // now C is "class MyClass", not "object MyClass"
val myClass: C = new MyClass() // Correct
val myClassY = MyClass.y // Correct, MyClass is the "object MyClass", so it has a member called y.
val myClassY2 = C.y // Error, because C is a type, not a singleton object.

Answer 2

您不能这样做，因为 F 是一种类型，而不是对象，因此没有静态成员。更一般地说，Scala 中没有静态成员：您需要在代表类的“静态组件”的单例对象中实现这些成员。

因此，在您的情况下，您需要直接引用 Java 类，以便 Scala 知道它可能包含静态成员。

Answer 3

您可以像这样创建静态 java 方法的快捷方式

val bitCount:(Int) => Int = java.lang.Integer.bitCount

Answer 4

F 是静态类型，它不是对象，也不是类。在 Scala 中，您只能向对象发送消息。

class MyClass  // MyClass is both a class and a type, it's a class because it's a template for objects and it's a type because we can use "MyClass" in type position to limit the shape of computations

type A = MyClass  // A is a type, even if it looks like a class.  You know it's a type and not a class because when you write "new A.getClass" what you get back is MyClass. The "new" operator takes a type, not a class.  E.g. "new List[MyClass]" works but "new List" does not.

type B = List[MyClass] // B is a type because List[MyClass] is not a class

type C = List[_ <: MyClass] // C is a type because List[_ <: MyClass] is clearly not a class

有什么区别Scala（和 Java）中的类和类型之间的关系？