From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,eca91508b02e7e97
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 20 Jun 2007 08:25:23 +0200
From: Georg Bauhaus <bauhaus.rm.tsoh@maps.futureapps.de>
Organization: #
User-Agent: Thunderbird 1.5.0.12 (Macintosh/20070509)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Amount of copying on returned constant objects
References: <5dfsfnF1qav8bU1@mid.individual.net>
 <46730bf5$0$23134$9b4e6d93@newsspool1.arcor-online.net>
 <5dntd6F35jc57U1@mid.individual.net> <4676C27D.2050608@obry.net>
 <f56pjg$nlr$1@jacob-sparre.dk> <5dpp8pF35116bU1@mid.individual.net>
 <f59huq$55d$1@jacob-sparre.dk> <t9tzt3o1i0.fsf@hod.lan.m-e-leypold.de>
In-Reply-To: <t9tzt3o1i0.fsf@hod.lan.m-e-leypold.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4678c796$0$23135$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Date: 20 Jun 2007 08:22:14 CEST
NNTP-Posting-Host: e34ba72d.newsspool1.arcor-online.net
X-Trace: 
 DXC=9[A;QECa?o_AX0F2i><W:Sic==]BZ:af^4Fo<]lROoRQFl8W>\BH3YRZ7ndf4S17[UA:ho7QcPOVSB;>\h05OfFPD\OCbRZ>IT[
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16253
Date: 2007-06-20T08:22:14+02:00
List-Id: <comp.lang.ada>

Markus E Leypold wrote:
>>
> I wonder wether container implementations couldn't use a similar
> trick: Instead of dereferencing a "do_with" generic would take an
> operation as a parameter to which in turn the elements are passed
> (control passes to do_with, do_with dereferences and passes elements
> to operation).

Query_element and Update_Element take a procedure parameter
for this very reason, IIUC.