Scala 中的泛型：实现接口/特征两次？

Question

给定如下所示的通用接口，

interface I<T> {
    void m(T t);
}

我可以在 C# 中创建一个类，该类使用为 T 提供的不同类型实现 I 两次（或更多次），例如，

class C : I<int>, I<String> {
   public void m(int i) { }
   public void m(String s) { }
}

由于擦除了通用类型信息，这在 Java 中无法完成，但可以类似这可以在Scala中实现吗？

Answer 1

不可以。在 Scala 中，只有当特征（接口）参数化为彼此一致的类型并且该特征不会两次混合到同一个类中时，才可能在 Scala 中混合相同的特征直接。为了确保这两种类型相互一致，通常必须使类型参数协变 (+)。

例如，这是不允许的：

scala> trait A[+T] { def foo: T = sys.error() }
defined trait A

scala> class C extends A[AnyRef] with A[String]
<console>:8: error: trait A is inherited twice
       class C extends A[AnyRef] with A[String]

但这是：

scala> trait A[+T] { def foo: T = sys.error() }
defined trait A

scala> class C extends A[AnyRef]
defined class C

scala> class B extends C with A[String]
defined class B

请注意，在这种情况下，您将不会像 C# 那样获得重载语义，而是获得重写语义 - A 中具有一致签名的所有方法将被融合到一个具有最具体签名的方法中，根据 线性化规则，而不是每次都使用一种方法已经混合了这个特性。

Answer 2

不，不能。一般来说，我在这种情况下所做的是

class C {
  object IInt extends I[Int] { ... }
  object IString extends I[String] { ... }
  ...
}