final vs volatile guaranntee w.rt для безопасной публикации объектов

В чем разница между пунктами 2 и 3?

• volatile в основном означает, что любые записи в это поле будут видны из других потоков. Поэтому, когда вы объявляете поле как volatile: private volatile SomeType field;, вам гарантируется, что если конструктор запишет в это поле: field = new SomeType();, это назначение будет видно другим потокам, которые впоследствии попытаются прочитать field.
• final имеет очень похожую семантику: у вас есть гарантия, что если у вас есть конечное поле: private final SomeType field; запись в это поле (либо в объявлении, либо в конструкторе): field = new SomeType(); не будет переупорядочена и будет видна другим потокам если объект правильно опубликован (например, нет экранирования this).

Очевидно, основное отличие состоит в том, что если поле является окончательным, вы можете назначить его только один раз.

Что он имеет в виду под конечным полем правильно построенного объекта в точке 3?

Если, например, вы позволите this выйти из конструктора, гарантия, предоставляемая окончательной семантикой, исчезнет: наблюдающий поток может увидеть поле со значением по умолчанию (null для объекта). Если объект правильно построен, этого не может произойти.

Надуманный пример:

class SomeClass{
    private final SomeType field;

    SomeClass() {
        new Thread(new Runnable() {
            public void run() {
                SomeType copy = field; //copy could be null
                copy.doSomething(); //could throw NullPointerException
            }
        }).start();
        field = new SomeType();
    }
}

Нет никакой разницы в эффектах публикации volatile и final, за исключением того, что final можно установить только один раз в конструкторе, и поэтому то, что вы читаете, никогда не должно меняться.

Я считаю, что правильно сконструированный объект действительно является тем, на что вы ссылаетесь, объектом, чья ссылка this не ускользнула от его конструктора и была опубликована безопасным образом в потоке, в котором он используется.