comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Efficiency of returning big objects
Date: Mon, 25 Sep 2006 17:24:42 +0200
Date: 2006-09-25T17:18:34+02:00	[thread overview]
Message-ID: <1159197882.13504.7.camel@localhost> (raw)
In-Reply-To: <4npvh0FbgbuhU1@individual.net>

On Mon, 2006-09-25 at 14:14 +0200, Alex R. Mosteo wrote:

> Some_Map.Element (Key).Method_Or_Member

Could you consider using Query_Element as an efficient
alternative? Or Update_Element if Method modifies.


> So, what do you think? Is there some error in my reasoning or testbed? Is
> this a particular shortcoming of this compiler (gnat gpl 2006), or I'm
> overlooking something that makes this very non-trivial to implement?

Making T limited reveals a few things:

Compiling: ref.adb (source file time stamp: 2006-09-25 15:22:05)

    23.       return Borg;
                     |
        >>> (Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))
        >>> return by reference not permitted in Ada 2005
        >>> consider switching to return of access type

    51.       if Create.X /= 0 then
                 |
        >>> (Ada 2005) limited function call in this context is not yet implemented




-- Georg 




  parent reply	other threads:[~2006-09-25 15:24 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-09-25 12:14 Efficiency of returning big objects Alex R. Mosteo
2006-09-25 13:09 ` Dmitry A. Kazakov
2006-09-25 13:51   ` Alex R. Mosteo
2006-09-25 15:24 ` Georg Bauhaus [this message]
2006-09-25 16:41   ` Alex R. Mosteo
2006-09-25 19:31 ` Jeffrey R. Carter
2006-09-26  7:45   ` Alex R. Mosteo
2006-09-26  0:33 ` Adam Beneschan
2006-09-26  7:43   ` Alex R. Mosteo
replies disabled

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