comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Unchecked_Deallocation vs. delete
Date: Wed, 16 May 2007 14:25:25 -0500
Date: 2007-05-16T14:25:25-05:00	[thread overview]
Message-ID: <f2flne$tpn$1@jacob-sparre.dk> (raw)
In-Reply-To: 1178871315.928116.262190@e51g2000hsg.googlegroups.com

"Maciej Sobczak" <see.my.homepage@gmail.com> wrote in message
news:1178871315.928116.262190@e51g2000hsg.googlegroups.com...
> On 11 Maj, 09:35, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>
> > > Why not make a
> > > Very_Hard_To_Use_Unchecked_Deallocation_Built_In_Operator instead?
> >
> > Primitive operation of the access type you mean, there is no need to
> > introduce an operator.
>
> If there was a need to introduce 'new' as an operator...

<Pedantic>
'new' is not an operatOR, it is a primitive operatION. Operators (like "+",
"abs") can be user-defined; operations (like "new", "in", ":=") cannot.
(Well, actually operators are also operations, so it's really only
operations that are not operators that cannot.)

Dmitry was just making that distinction...
</Pedantic>

Note that some operations like "new" and ":=" can have some user-defined
behavior using another mechanism (storage pools for "new", controlled types
for ":="), but that is different than being completely user-defined.
Complete redefinition would be hard for operations, because some of the
needed semantics cannot easily be modeled as a subprogram call.

                               Randy.





  parent reply	other threads:[~2007-05-16 19:25 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-05-09 16:27 Unchecked_Deallocation vs. delete Maciej Sobczak
2007-05-09 17:02 ` Dmitry A. Kazakov
2007-05-09 20:56   ` Robert A Duff
2007-05-09 20:59   ` Keith Thompson
2007-05-10 20:09   ` Maciej Sobczak
2007-05-11  7:35     ` Dmitry A. Kazakov
2007-05-11  8:15       ` Maciej Sobczak
2007-05-11 16:39         ` Dmitry A. Kazakov
2007-05-16 19:25         ` Randy Brukardt [this message]
2007-05-10 21:10   ` Markus E Leypold
2007-05-09 17:51 ` Martin Krischik
2007-05-09 20:54 ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox