From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Issue with GNAT GPL 2009 and GtkAda
Date: Fri, 26 Jun 2009 09:20:56 +0200
Date: 2009-06-26T09:20:57+02:00 [thread overview]
Message-ID: <10ym4hltpwd4n$.1hcayfi4xidg3.dlg@40tude.net> (raw)
In-Reply-To: h20nuv$de4$1@munin.nbi.dk
On Thu, 25 Jun 2009 15:49:58 -0500, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:1avd65rn49abv$.krcxo2gdzb16$.dlg@40tude.net...
> ...
>> Yes, but that is not necessarily a compiler bug. It is quite simple to
>> create a serious problem to oneself:
>>
>> declare
>> Ptr : access T := new T;
>> begin
>
> Allocators of anonymous access types are almost never what you want. This is
> so true, in fact, that we have proposed a Restriction for this
> "No_Anonymous_Allocators", which I recommend is part of every program. (Of
> course, that will have to wait until compilers implement it; it wasn't
> formally proposed until 3 weeks ago, but it was accepted at the Brest
> meeting and thus will appear in the next working draft).
The only purpose of
Ptr : access T := new T;
I can guess is allocation of a large scoped object on the heap. It would be
better if there were a syntax for that, which does not involve access
types.
Object : new T;
or
Object : T'Pool;
or
Object : T;
for Object'Storage_Pool use System.Default_Storage_Pool;
etc.
Access types are much overused in Ada in order to overcome language
problems unrelated to access types.
Just to remember: access discriminants (MI for poor), the Rosen trick (in
out parameters of a function), return by access (a patch where in-place
results should have been) and so on.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2009-06-26 7:20 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-23 21:52 Issue with GNAT GPL 2009 and GtkAda Damien Carbonne
2009-06-24 7:40 ` Dmitry A. Kazakov
2009-06-24 10:15 ` Stephen Leake
2009-06-25 9:06 ` Stephen Leake
2009-06-25 9:39 ` Dmitry A. Kazakov
2009-06-25 19:02 ` Damien Carbonne
2009-06-26 9:31 ` Stephen Leake
2009-06-26 11:18 ` Niklas Holsti
2009-06-26 16:29 ` Damien Carbonne
2009-06-26 17:28 ` Dmitry A. Kazakov
2009-06-26 19:27 ` Damien Carbonne
2009-06-26 19:50 ` Dmitry A. Kazakov
2009-06-26 21:51 ` Randy Brukardt
2009-06-27 11:11 ` Stephen Leake
2009-06-27 17:04 ` Robert A Duff
2009-06-30 11:11 ` Stephen Leake
2009-06-30 18:10 ` Robert A Duff
2009-06-29 22:11 ` Randy Brukardt
2009-06-30 11:13 ` Stephen Leake
2009-06-30 15:26 ` Adam Beneschan
2009-06-30 15:59 ` Adam Beneschan
2009-06-30 23:11 ` Randy Brukardt
2009-06-27 9:56 ` Stephen Leake
2009-06-26 21:03 ` Damien Carbonne
2009-06-27 11:21 ` Stephen Leake
2009-06-27 12:25 ` Damien Carbonne
2009-06-27 12:35 ` Damien Carbonne
2009-06-29 22:15 ` Randy Brukardt
2009-07-01 19:22 ` Damien Carbonne
2009-06-30 0:48 ` Adam Beneschan
2009-06-30 11:18 ` Stephen Leake
2009-06-25 20:49 ` Randy Brukardt
2009-06-26 7:20 ` Dmitry A. Kazakov [this message]
2009-06-26 8:17 ` Georg Bauhaus
2009-06-26 8:52 ` Dmitry A. Kazakov
2009-06-26 21:38 ` Randy Brukardt
2009-06-27 7:47 ` Dmitry A. Kazakov
2009-06-29 21:59 ` Randy Brukardt
2009-06-30 8:31 ` Dmitry A. Kazakov
2009-06-26 21:31 ` Randy Brukardt
2009-06-27 7:53 ` Dmitry A. Kazakov
2009-06-26 8:39 ` Alex R. Mosteo
2009-06-26 9:07 ` Dmitry A. Kazakov
2009-06-27 9:53 ` Stephen Leake
2009-06-26 21:40 ` Randy Brukardt
2009-06-29 10:04 ` Alex R. Mosteo
2009-06-26 9:02 ` Stephen Leake
2009-06-26 9:14 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox