Re: memory management in Ada: tedious without GC?

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

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

> The problem with C++ and vector is not that vector is not built-in. It is
> that vector cannot have a treatment fully equal to a built-in type:
>
> 1. Its body cannot be allocated on the stack.

What is "body"?
The vector can be allocated on the stack and be formally an object
with automatic storage duration (there is no "stack" in C++, BTW). It
can have some of its state elsewhere, but this is not your concern -
the buzzword for this is "encapsulation".

Note also that there exists what is called a "short vector
optimization" (SVO), more often used for strings.

> 2. It is not a proper type (requires parametrization)

Is it wrong?

> 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.

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