Re: Why can't objects be static in Ada?

["Randy Brukardt" <randy@rrsoftware.com>]

"Lucretia" <laguest9000@googlemail.com> wrote in message 
news:ed1629d2-f6d9-4bc9-b929-01f910bfe4a8@googlegroups.com...
...
> Not exactly, but it would be nice to be able to know that something
>which shouldn't need elaboration, doesn't use elaboration. That's the 
>point,
>you're missing.

You're confusing the concept of elaboration with execution of explicit 
elaboration code.

Everything in Ada is elaborated at some point. If you look around the 
Standard, you'll see lots of statements like "The elaboration of <blah> has 
no effect.". <blah> is elaborated, but that elaboration does nothing.

And Ada compilers don't generate code to do elaboration unless they have to. 
So you're only talking about a small percentage of code, which is executed 
only once. It's the least likely thing to matter in a program.

In addition, using code rather than some sort of pre-initialization is 
typically smaller and can easily be mapped to ROM and uninitialized RAM in 
an embedded system. For most situations, it's preferable. Worrying about how 
memory is initialized is the height of premature optimization.

                                          Randy.