Re: So You Think You Can Const?

On 2025-01-10, Andrey Tarasevich <andreytarasevich@hotmail.com> wrote:

On 01/09/25 12:12 AM, Julio Di Egidio wrote:

I do not understand that: `free` is changing the pointed data, so how
can `const void *` even be "correct"?

>
`free` is destroying the pointed data.
>
Every object in C object model has to be created (when its lifetime
begins) and has to be eventually destroyed (when its lifetime ends).

That is not so. Literals can be put into a ROM image.

Well, sure, that is created in a factory, and destroyed when recycled.

The point is that the data's lifetime can span over countless
invocations of the program; the program can never observe a time which
is outside of the lifetime of those objects.

So, destruction is not really a "modifying" operation. Destruction of an

Destruction by malloc is modifying in any system that recycles the
memory for another allocation.

--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca