对象内未初始化的字段

Question

我目前正在修复一个非常奇怪的错误，即private final val在访问对象字段之前没有对其进行初始化。代码的位置可以在https://github.com/mdedetrich/soda-time/blob/master/jvm/src/main/scala/org/joda/time/chrono/GregorianChronology.scala#L12-L33找到.

您可以通过拉取上述 repo 然后运行sodatimeJVM/console然后在控制台中运行 `import org.joda.time._;来模拟这个错误；DateTime.now().minusDays(10)

代码已经贴在这里

object GregorianChronology {

  private final val MILLIS_PER_YEAR = (365.2425 * DateTimeConstants.MILLIS_PER_DAY).toLong
  private final val MILLIS_PER_MONTH = (365.2425 * DateTimeConstants.MILLIS_PER_DAY / 12).toLong
  private final val DAYS_0000_TO_1970 = 719527
  private final val MIN_YEAR = -292275054
  private final val MAX_YEAR = 292278993
  private final val INSTANCE_UTC = getInstance(DateTimeZone.UTC)

  private final val cCache = new ConcurrentHashMap[DateTimeZone, Array[GregorianChronology]]()

  def getInstanceUTC(): GregorianChronology = INSTANCE_UTC

  def getInstance(): GregorianChronology = getInstance(DateTimeZone.getDefault, 4)

  def getInstance(zone: DateTimeZone): GregorianChronology = getInstance(zone, 4)

  def getInstance(zone: DateTimeZone, minDaysInFirstWeek: Int): GregorianChronology = {
    var _zone: DateTimeZone = zone
    if (_zone == null) {
      _zone = DateTimeZone.getDefault
    }
    var chrono: GregorianChronology = null
    var chronos: Array[GregorianChronology] = cCache.get(_zone)

最后一行，即var chronos: Array[GregorianChronology] = cCache.get(_zone)抛出一个java.lang.NullPointerException. cCache然而，null 值是没有意义的，因为它显然是在private final val cCache = new ConcurrentHashMap[DateTimeZone, Array[GregorianChronology]](). 如果我打开"-Xcheckinit"Scala 然后告诉我scala.UninitializedFieldError: Uninitialized field: GregorianChronology.scala: 19哪个指向private final val cCache = new ConcurrentHashMap[DateTimeZone, Array[GregorianChronology]](). 这不是很有用，因为我知道该值未初始化，问题是我不知道为什么. 由于它是一个最终的 val 我认为它应该是初始化的第一个值之一，尤其是在getInstance碰巧被调用之前。

我知道我可以懒惰地修复它，但这会引入不必要的性能损失。更重要的是，等效的 Java 版本private static final ConcurrentHashMap<DateTimeZone, GregorianChronology[]> cCache = new ConcurrentHashMap<DateTimeZone, GregorianChronology[]>()绝对可以正常工作。

Answer 1

问题在这里：

private final val INSTANCE_UTC = getInstance(DateTimeZone.UTC)

它调用：

def getInstance(zone: DateTimeZone): GregorianChronology = getInstance(zone, 4)

其中调用：

def getInstance(zone: DateTimeZone, minDaysInFirstWeek: Int): GregorianChronology = {
  ..
  var chronos: Array[GregorianChronology] = cCache.get(_zone)
  ..
}

但是INSTANCE_UTC还在初始化中，也就是说我们还没有达到cCache初始化顺序，所以cCache是null在这一点上，在运行时间。

这类似于：

object Test {
    val a = foo("a") // Calls a def which references and uses an uninitialized val, NPE
    val b = "b"
    def foo(c: String): Int = b.length + c.length
}

解决方案很简单，只需将初始化移动cCache到对象的顶部，因为它不引用任何其他内容。这样它总是首先被初始化。