Re: memory management in Ada: tedious without GC?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 18 Maj, 16:59, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> >> 1. Its body cannot be allocated on the stack.
>
> > What is "body"?
>
> Storage used to keep the array elements.

From when should we care where it is?

> >> 2. It is not a proper type (requires parametrization)
>
> > Is it wrong?
>
> Yes. It has no values and no operations.

Can I say that arrays in Ada also have no values and no operations
until they are parapeterized with element and index type (and
constrained)?

> >> 3. Optimization. I have doubts that small vectors could be passed by value,
> >> loops over them unrolled, values cached in registers, that static bounds
> >> checking could be enforced at compile time and skipped at run-time etc.
>
> > All of these can be done.
>
> Is there a C++ compiler that does this?

You had doubts whether it *could* be done, not whether it *is*
done. :-) There is nothing fundamental that would prevent it.
Note that vector is a *standard* feature - so the compiler knows what
it does and how.

In any case, check the Intel C++ compiler. It is known for some nice
optimization tricks.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com