Re: Help-memory allocation

Vinzent Hoefler wrote:
> Florian Weimer wrote:
> 
> 
>>Vinzent Hoefler <ada.rocks@jlfencey.com> writes:
>>
>>
>>>>How to check whether the memory is allocated or not when using new
>>>>operator?in other words, what the operator "new" returns if memory
>>>>allocation fails?
>>>
>>>I'd say, it raises the Storage_Error exception.
>>
>>In conforming implementations, yes.  However, many Ada implementations
>>will only raise Storage_Error at some later point in the execution of
>>the program ("commit on allocate" vs. "commit on use").
> 
> 
> Mmh, so in case someone relies on the occurence of the exception in
> the very moment of the allocation, would it be wise to also give an
> initial value to make sure we actually "use" the allocated memory?
> 
> 
> Vinzent.

I do not think this is necessary. Look at the dynamic semantics of 
allocators: even for uninitialized allocators, an object of the 
designated subtype is created and any implicit initial value is 
assigned. That is, allocation actually takes place when "new" is done.

Florian, which Ada implementation are you using that is not conforming 
to the standard? Why do you say "many" Ada implementations are not 
conforming? Which ones?

Rodrigo