前提：
在看《Java并发编程的艺术》的volatile一节时，有这样一句话：

StoreStore屏障可以保证在volatile写之前，其前面所有普通写操作已经对任意处理器可见了。

场景：

public class FinalExample{
    int i;
    final int j;
    public FinalExample(){
        i = 1;
        j = 2;  //JMM会在final写 后面加上StoreStore内存屏障
    }
}

问题：
为什么同样是插入StoreStore屏障，排在StoreStore前面的变量i 仍然有可能被重排序到构造函数外面，无法对其他线程可见？而前提里的volatile却可以？

以下为个人猜想，但是不太确定：
编译器在遇到volatile关键字时，会保证volatile写前面的普通写已经完成并对其他线程可见（不会发生编译器重排序）。而final没有编译器的保证，所以会发生编译器重排序。

希望有大神能解答一下，谢谢啦