Re: Zero length Objects

[Brian May <bam@snoopy.apana.org.au>]

>>>>> "Frank" == Frank J Lhota <NOSPAM.lhota.adarose@verizon.net> writes:

    Frank> No object is really of zero length. The reason is that
    Frank> every object should have a unique address. Therefore, most
    Frank> Ada compilers will allocate at least one storage element to
    Frank> each object, in order to insure that if we declare

    Frank> A, B : Empty_Type;

    Frank> then A and B do not both refer to the same location.

Is there any reason every object needs to have a unique address?

I thought it would only be important for aliased objects or objects
allocated on the heap, as it isn't possible (AFAIK) to get the address
otherwise.

Not that I care either way ;-).
-- 
Brian May <bam@snoopy.apana.org.au>