David M. Lloyd
david.lloyd at redhat.com
Fri Mar 14 13:50:37 UTC 2014
On 03/13/2014 05:00 PM, Archie Cobbs wrote:
> On Thu, Mar 13, 2014 at 5:21 AM, Peter Levart <peter.levart at gmail.com
> <mailto:peter.levart at gmail.com>> wrote:
> On 03/13/2014 11:08 AM, Peter Levart wrote:
> I don't see this as any more complex or unsafe as the rules for
> final fields. But I don't know if it is compatible with JVM rules.
> Does JVM have any rules for final instance fields regarding their
> definitive assignment at all non-exceptional exit paths of the
> My understanding is that the JVM doesn't care how many times you assign
> a final field in a constructor, it only cares that you don't try to
> assign it from within a non-constructor method.
> Note also that the JVM spec specifically allows a constructor to assign
> final fields before invoking super()/this().
I think you're mistaken on both of these points... can you quote a
section of the JLS that says this?
More information about the compiler-dev