Most recent JEP 401 description

[John Bossons]

Thanks for making this so very clear.

Two questions/issues:
(1) It would be helpful to include more on the properties of abstract value
classes (AVCs) -- perhaps a labelled subsection? A specific question not
dealt with explicitly in the current version: Can an AVC have an instance
field, now that a value class utilizes the Flexible Constructor Bodies JEP?
(The alternative is  repetition of that field definition and accessor in
every subtype, which is potentially error-prone).
(2) It would also be helpful to include some commentary on limitations.
Specifically, although it is clear that the purpose is more efficiently
defined SMALL value objects, (a) How big is 'small'? And (b) will the
compiler accept value types of any size, no matter how deep?

John


Phone:  (416) 450-3584 (cell)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-dev/attachments/20240518/939a393d/attachment.htm>