9

Java 泛型可以根据表达式的返回类型推断泛型类型参数的类型。考虑以下：

public static <T> T uncheckedCast(Object o) {
    return (T)o;
}

我们可以这样称呼它：

Map<Baz,Bog> bazbogMap = new HashMap<Baz,Bog>();
String foo = uncheckedCast(bazbogMap);

这将编译但RuntimeException在调用时抛出 a ，因为它会尝试将a 强制Map转换为 aString但失败。但关键是 Java<T>根据调用点的预期结果类型推断出 的值。

我们也可以在 Scala 中这样做：

def uncheckedCast[T](o: AnyRef): T = o.asInstanceOf[T]

到目前为止，一切都很好。

Java 还可以从嵌套定义中推断类型参数并返回这些参数（即，在使用它之前，我们实际上不必将结果分配给一个类型来使用它；Java 知道它已经是什么。）

一个简单的类显示这个：

import java.util.HashMap;
import java.util.Map;

public class KeysAndValues {
    public interface Key<T> {}
    public static class StringKey implements Key<String> {}

    private final Map<Class<?>, Object> lookup;

    public KeysAndValues() {
        lookup = new HashMap<Class<?>, Object>();
    }

    @SuppressWarnings("unchecked")
    public <V, K extends Key<V>> V put(Class<K> key, V value) {
        return (V) lookup.put(key, value);
    }

    @SuppressWarnings("unchecked")
    public <V, K extends Key<V>> V get(Class<K> key) {
        return (V) lookup.get(key);
    }

    public static void test() {
        KeysAndValues kv = new KeysAndValues();
        kv.put(StringKey.class, "BAM!"); // returns null
        kv.put(StringKey.class, "BOOM!"); // returns "BAM!"
        kv.get(StringKey.class); // returns "BOOM!"
    }
}

但是，在 Scala 中，此类会导致问题。REPL：

scala> val kv = new KeysAndValues
kv: KeysAndValues = KeysAndValues@13c2982e

scala> import KeysAndValues.StringKey
import KeysAndValues.StringKey

scala> kv.put(classOf[StringKey], "BAM!")
res0: java.lang.String = null

scala> kv.put(classOf[StringKey], "BOOM!")
res1: java.lang.String = BAM!

scala> kv.get(classOf[StringKey])
<console>:10: error: inferred type arguments [Nothing,KeysAndValues.StringKey] do not conform to method get's type parameter bounds [V,K <: KeysAndValues.Key[V]]
              kv.get(classOf[StringKey])

这两个调用为允许它们工作put()的类型参数指定一个值V，但是一旦V需要从参数的继承中提取K参数，事情就会崩溃。Java 代码没有这样的问题。

让 Scala 不抱怨的唯一方法是显式定义类型：

kv.get[String, StringKey](classOf[StringKey])

（对于像上面这样简单和做作的事情，它有点好（违反 DRY），但对于更复杂的事情，比如斯坦福核心 NLP API，你必须做类似的事情：

doc.get[java.util.Map[Integer, CorefChain], CorefChainAnnotation](classOf[CorefChainAnnotation])

其中包括手动查找嵌套类型以便添加它们，这非常痛苦。）

问题：

有没有办法让它工作而不必如此冗长地指定类型参数？更重要的是，为什么这是一个问题？当 Scala 不是时，Java 如何能够推断类型参数？

编辑 1：删除了大部分演示斯坦福核心 NLP 问题的代码，并将其替换为 Scala/Java 泛型差异的一般示例，以说明该问题。

4

1 回答 1

3

我不能确切地告诉你为什么 Scala 不能推断 Java 类型参数，但我至少可以告诉你如何在 Java 中声明类型参数，以便 Scala可以推断它们：

@SuppressWarnings("unchecked")
public <V> V put(Class<? extends Key<V>> key, V value) {
    return (V) lookup.put(key, value);
}

@SuppressWarnings("unchecked")
public <V> V get(Class<? extends Key<V>> key) {
    return (V) lookup.get(key);
}

我认为这里的关键点是您根本不需要该K类型参数 - 通配符类型参数? extends Key<V>将为您提供相同的功能。然后，这可以在 Scala 中愉快地工作，而无需指定任何类型参数：

scala> kv.put(classOf[StringKey], "BAM!")
res0: String = null

scala> kv.get(classOf[StringKey])
res1: String = BAM!

编辑：

这是我能做的最好的解决方法。它需要更高种类的类型和演员表。不确定我能否解释为什么会编译，但其他版本不能。;-)

scala> import KeysAndValues._
import KeysAndValues._

scala> import scala.language.higherKinds
import scala.language.higherKinds

scala> def get[V, K[X] <: Key[X]](kv: KeysAndValues, key: Class[_ <: K[V]]) =
     |   kv.get[V, K[V]](key.asInstanceOf[Class[K[V]]])
get: [V, K[X] <: KeysAndValues.Key[X]](kv: KeysAndValues, key: Class[_ <: K[V]])V

scala> val kv = new KeysAndValues
kv: KeysAndValues = KeysAndValues@24c63dac

scala> kv.put(classOf[StringKey], "BAM!")
res0: String = null

scala> get(kv, classOf[StringKey])
res1: String = BAM!
于 2013-02-12T19:04:36.240 回答