out of order в конструкторе возможен, но присвоение final полю происходит вне конструктора

поэтому ситуация:

ref = reference(Foo);
foo = ref;
ref.collection = Collections.emptyList();


невозможна.

Кроме того, такая ситуация невозможна, даже если collection не волатильная, т.к. foo - финальное. После инициализации final поля с других потоков гарантировано доступны все поля, которые присваивались до присвоения финал-полю, и в него "вложены".

Другое дело, что в криво написаном коде можно умудриться сделать foo.collection.size() до того, как сделается final Foo foo = new Foo(), тогда конечно npe. А так мое ИМХО - npe не должно возникнуть.

еще вот тут интересно и почти по теме cheremin.blogspot.com/2011/12/final.html

Если foo не финал, то его присвоение можно реордерить. Тогда, существует опасность, что у вас из за реордеринга foo уже будет не null, но при этом конструирование foo еще не завершено и строчка volatile Collection<> collection = Collections.emptyList(); еще не выполнилась.

И если это произойдет, то тогда даже вот такое в другом потоке:

if (foo!=null) foo.collection.size();

потенциально приведет к npe.

Кроме того, в особо кривом случае, возможен случай что я написал выше -- само присваивание Foo foo = new Foo() не выполнилось и foo равно null, а вы уже из другого потока хотите получить foo.collection

Вот вам еще ссылка www.youtube.com/watch?v=qeCGjVf780s там про правила реордеринга

Оcновная идея -- записи в обычные поля не выносятся вперед записей волатилов. Назад выноситься могут.
таким образом, чтение из волатилов гарантирует видимость всех действий, которые были до записи в волатил этого значения.