0

我不想写很多样板代码，所以我决定为惰性初始化编写通用方法。

import java.util._
import concurrent.ConcurrentHashMap

object GenericsTest {
  val cache: ConcurrentHashMap[Long, 
    ConcurrentHashMap[Long, 
      ConcurrentHashMap[Long, 
        ConcurrentHashMap[Long, Long]]]] = new ConcurrentHashMap()

  def main(args: Array[String]) {
    val x = get(cache, 1)(() => new ConcurrentHashMap())
    val y = get(x, 1)(() => new ConcurrentHashMap())
    val z = get(y, 1)(() => new ConcurrentHashMap())
  }

  def get[B, A](map: ConcurrentHashMap[A, B], a: A)(factory: () => B): B = {
    if (map.containsKey(a)) {
      map.get(a)
    } else {
      val b = factory()
      map.put(a, factory())
      b
    }
  }
}

此示例仅使用硬编码Long而不是通用A运行，这可能是什么问题？也许还有另一种方法可以做这些事情？

4

1 回答 1

1

错误在这一行：

val x = get(cache, 1)(() => new ConcurrentHashMap())

问题是 1 的类型是Int。

我们有这个方法签名：

get[A, B](map: ConcurrentHashMap[A, B], a: A)(factory: () => B): B

在那个有问题的调用中传递的参数类型是（B 是那个长嵌套类型，现在无关紧要）：

ConcurrentHashMap[Long, B] and Int

因此编译器计算出A必须是Long和Int最接近的共同祖先，即AnyVal，因此最终它将使用传递的参数类型为：

ConcurrentHashMap[AnyVal, B] and AnyVal

但是 ConcurrentHashMap 的第一个类型参数是不变的，所以缓存val 不能用作ConcurrentHashMap[AnyVal, B]，所以编译器给出了这个错误信息（删除了长嵌套类型参数部分，现在没关系） ：

found   : java.util.concurrent.ConcurrentHashMap[Long, ...]
required: java.util.concurrent.ConcurrentHashMap[AnyVal, ...]
Note: Long <: AnyVal, but Java-defined class ConcurrentHashMap is invariant in type K.

要解决此问题，您需要将第二个参数作为Long传递：

val x = get(cache, 1L)(() => new ConcurrentHashMap())
val y = get(x, 1L)(() => new ConcurrentHashMap())
val z = get(y, 1L)(() => new ConcurrentHashMap())
于 2013-07-23T01:52:28.667 回答