Re: limited agregate and limited components default initialization

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 04/03/2018 09:25 PM, Jean-Claude Rostaing wrote:
> Your exemple is simpler, yes, but it allows declaration of unitialized objects.

In the specific example which you presented, my version did not allow declaring 
uninitialized objects, since all initialization was based on the discriminant, 
and the client had to supply a discriminant. In more complex cases it may be 
necessary to take other steps to ensure that initialization occurs. Unknown 
discriminants and a New_Thing function are one way to do that.

-- 
Jeff Carter
"[A] brilliant military career that after thirty
years catapulted him to the rank of corporal."
Take the Money and Run
138