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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c56a86f3a4e16d06
X-Google-Attributes: gid103376,public
From: Wolfgang Jeltsch <jeltsch@my-deja.com>
Subject: Re: Containers with Ada
Date: 2000/11/20
Message-ID: <8vc7s5$48c$1@nnrp1.deja.com>#1/1
X-Deja-AN: 695922572
References: <8v8pii$dvo$1@nnrp1.deja.com>
 <fOSR5.4515$6W1.400772@news.flash.net>
X-Http-Proxy: 1.0 x54.deja.com:80 (Squid/1.1.22) for client 212.162.20.114
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Mon Nov 20 22:16:44 2000 GMT
X-MyDeja-Info: XMYDJUIDjeltsch
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.74 [de] (X11; U; Linux 2.2.16 i586)
Date: 2000-11-20T00:00:00+00:00
List-Id: <comp.lang.ada>


> If List contains "thousands of elements", I suspect it's probably not
> an elementary type [Ada Reference Manual 3.2:3]. (It may _reference_
> them, but then only the reference is being passed, not the elements).
> Therefore, it doesn't have to be passed by copy [ARM 6.2:3], and most
> compilers won't.
I thought that every type which is not a by-reference type is a by copy
type. Thank you for the correction.

> Similar rules apply to the returned value.
As far as I can see from [ARM 6.5] a type must be limited to be a
return-by-reference type.

> It may be a good idea to declare List a limited type, but not for
> reasons of controlling the passing convention.
For what reasons it would be good?


Sent via Deja.com http://www.deja.com/
Before you buy.