Java 规范 17.5 具有以下代码来说明 Java 内存模型中最终字段的使用。（与普通字段相比）

class FinalFieldExample { 
    final int x;
    int y; 
    static FinalFieldExample f;

    public FinalFieldExample() {
        x = 3; 
        y = 4; 
    } 

    static void writer() {
        f = new FinalFieldExample();
    } 

    static void reader() {
        if (f != null) {
            int i = f.x;  // guaranteed to see 3  
            int j = f.y;  // could see 0
        } 
    } 
}

规范接着说：

“类 FinalFieldExample 有一个最终的 int 字段 x 和一个非最终的 int 字段 y。一个线程可能执行方法编写器，另一个线程可能执行方法读取器。由于编写器方法在对象的构造函数完成后写入 f，因此可以保证读取器方法看到 f.x 的正确初始化值：它将读取值 3。但是，f.y 不是最终的;因此，不能保证读取器方法看到它的值 4。

我的问题是：这难道不是一个蹩脚的（或者至少是一个拙劣的）例子吗？或者我在这里错过了什么？

我把这个例子称为“跛脚”的理由是：

如果FinalFieldExample类的对象要在多线程场景中由线程共享，那么它是否应该遵循多线程的基本原则，即使用某种形式的同步。如果他们使用了同步，那么上述问题将不存在。

上面的例子似乎提倡最终字段作为正确同步技术的替代方案（或部分安抚器）。在我的理解中，最终字段即使在正确同步的基础上使用也有用。并且永远不应该被用来获得示例中提到的优势（在没有同步的情况下）。

所以有人会问：难道没有一个像样的例子（同步）来解释最终场相对于普通场的优势吗？我想，不可变是！