Revisiting default values
    Brian Goetz 
    brian.goetz at oracle.com
       
    Thu Jul  1 12:48:19 UTC 2021
    
    
  
>
> Which reminds me:  I think we should
> allow calls to methods on `this` inside a
> constructor.  (Do we?)  A clean way to
> statically exclude incomplete values of `this`
> would be to outlaw such self-calls until all
> final fields are definitely assigned.  The
> current language (for identity classes)
> computes this point (of complete field
> assignment) in order to enforce the rule
> that the constructor cannot return until
> all final fields have been definitely assigned.
FYI: A recent paper on the self-use-from-constructor problem: 
https://dl.acm.org/doi/10.1145/3428243
    
    
More information about the valhalla-spec-observers
mailing list