在构造函数退出之前访问最终变量

时间:2012-04-12 18:21:48

标签: java compiler-construction

好吧,我一直在搞乱优秀的JodaTime库,试图实现一般案例零售/财政(4-5-4)日历。我已经找到了我公司的具体案例,但一般情况(主要是确定年初和闰年)是杀手;例如,有一组日期,其中两个会计年度(通常为364天,通常)将在1年ISO期间开始。

在确定年度开始规则的过程中,我最终得到了一个抽象类和几个具体的类来确定年份的开始,这取决于它们落在ISO闰日的哪一方。

(简化)抽象类:

private static abstract class SimpleFiscalYearEndPattern implements FiscalYearEndPattern {

    protected final int leapYearCountOffset;
    protected final int doomsdayOffset;

    private final int startingDayOfWeek;
    private final int yearOffset;
    private final long millisFromEpochToFiscalYearStart;
    private final long millisElapsedToEpochDividedByTwo;

    /**
     * Restricted constructor
     * @param fiscalYear
     * @param startingOn
     * @param inFirstWeek
     */
    protected SimpleFiscalYearEndPattern(final int fiscalYear, final LocalDate startingOn, final MonthDay inFirstWeek) {
        this.yearOffset = fiscalYear - startingOn.getYear();
        this.doomsdayOffset = getDoomsdayOffset(inFirstWeek);
        this.startingDayOfWeek = startingOn.getDayOfWeek();

        final int startingDoomsday = getDoomsdayOffset(new MonthDay(startingOn, REFERENCE_CHRONOLOGY));
        // If the starting doomsday is a later day-of-week, it needs to become negative.
        this.leapYearCountOffset = calculateLeapYearCountOffset(startingDoomsday : doomsdayOffset, doomsdayOffset);

        final int leapYearsBefore = getPreviousLeapYears(fiscalYearBeforeEpoch);
    }
}

(削减)具体课程(日期范围为1/7 - 2/28):

private static final class BeforeLeapYearEndPattern extends SimpleFiscalYearEndPattern {

    private static final int FIRST_YEAR_LEAP_YEAR_OFFSET = -1;

    private BeforeLeapYearEndPattern(final int fiscalYear, final LocalDate startingOn, final MonthDay onOrBefore) {
        super(fiscalYear, startingOn, onOrBefore);
    }

    public static final BeforeLeapYearEndPattern create(final int fiscalYear, final LocalDate startingOn, final MonthDay onOrBefore) {
        return new BeforeLeapYearEndPattern(fiscalYear, startingOn, onOrBefore);
    }

    /* (non-Javadoc)
     * @see ext.site.time.chrono.FiscalYearEndPatternBuilder.SimpleFiscalYearEndPattern#getPreviousLeapYears(int)
     */
    @Override
    protected int getPreviousLeapYears(final int isoYear) {
        // Formula gets count of leap years, including current, so subtract a year first.
        final int previousYear = isoYear - 1;
        // If the doomsday offset is -1, then the first year is a leap year.
        return (previousYear + leapYearCountOffset + (previousYear / 4) - (previousYear / 100) + (previousYear / 400)) / 7 + (leapYearCountOffset == FIRST_YEAR_LEAP_YEAR_OFFSET ? 1 : 0);
    }

如果您注意到,我使用leapYearCountOffset,它在抽象超类中定义(作为最终变量),在getPreviousLeapYears()中,然后从超类构造函数中调用。我不想在超类构造函数中重复公式 - 它对于3 / 1-12 / 31范围内的日期不同;我也不想将实例变量放在具体的子类中 - 另一个计算仍然需要leapYearCountOffset

问题是:从构造函数调用(子类)方法时leapYearCountOffset的状态是什么?它是以任何方式得到保证,还是可以随着编译器的突发奇想改变?我怎么测试才发现?我已经意识到编译器可以自由地重新安排一些语句,但是会(可能吗?)发生在这里?

4 个答案:

答案 0 :(得分:4)

final变量的一个保证是编译器在分配之前不允许您访问它们。所以,如果它编译(它应该),你很高兴!

答案 1 :(得分:2)

由于在getPreviousLeapYears被分配后调用leapYearCountOffsetleapYearCountOffset将被正确初始化,getPreviousLeapYears将看到正确的值。


Java承担了确保在第一次访问之前正确初始化构造函数期间调用的代码访问的final变量的负担。如果未正确初始化,则在构造函数期间调用的代码将看到该字段类型的零值。

该计划

public class Foo {
  protected final int x;
  Foo() {
    foo();
    this.x = 1;
    foo();
  }
  void foo() { System.out.println(this.x); }
  public static void main(String[] argv) { new Foo(); }
}

打印

0
1

由于x在第一次调用foo期间未初始化,但如上所述,您没有遇到此问题。


JLS说在构造函数中每次使用最终的都必须在初始化之后,但对其他方法没有这样的保证。考虑

abstract class C {
  public final int x;

  C() {
    this.x = f();
  }

  abstract int f();
}

对于确保在每次使用之前初始化x的语言,需要确保不存在类似

的子类
class D extends C {
  int f() {
    return this.x;
  }
}

这需要对类与Java的动态链接不一致的类进行全局推理,并为语言规范增加许多复杂性。

答案 2 :(得分:0)

虽然保证leapYearCountOffset具有最终价值,但这仍然是一个等待发生的事故。方法getPreviousLeapYears在子类初始化开始之前执行,因此子类中的任何变量都将具有其默认值(0或null)。

现在没有危险,但如果有人进来并更改了BeforeLeapYearEndPattern,可能会添加一个新的final实例变量,然后在getPreviousLeapYears中使用,你会得到伤。

答案 3 :(得分:0)

看起来这个问题是由内部线程和线程间语义之间的混淆引起的。

只要您在一个线程中运行有问题的代码,一切都按预期工作:代码重新排序可能没有明显效果。

final字段也是如此。 final字段为并发访问提供了额外的保证,这些保证仅在构造函数完成后生效。这就是为什么不建议在构造函数完成之前使其他线程可以访问final字段的原因。但只要您不尝试从其他线程访问相关字段,这并不重要。

但是,我同意从超类的constuctor调用子类方法是一种不好的做法,因为子类字段在那时没有被初始化。