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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4103f02f9e6c4df2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-15 14:36:30 PST Path: supernews.google.com!sn-xit-02!sn-xit-04!supernews.com!xfer13.netnews.com!netnews.com!newsfeed.wirehub.nl!news-out.nuthinbutnews.com!news-in-austin.nuthinbutnews.com!feed2.newsfeeds.com!newsfeeds.com!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison Sender: usenet@www.newsranger.com References: Subject: Re: RE: RE: Ada 0y wish list: Message-ID: <%QYi6.289$a4.1585@www.newsranger.com> Date: Thu, 15 Feb 2001 22:35:39 GMT NNTP-Posting-Host: 127.0.0.1 X-Complaints-To: abuse@newsranger.com X-Trace: www.newsranger.com 982276539 127.0.0.1 (Thu, 15 Feb 2001 17:35:39 EST) NNTP-Posting-Date: Thu, 15 Feb 2001 17:35:39 EST Organization: http://www.newsranger.com Xref: supernews.google.com comp.lang.ada:5287 Date: 2001-02-15T22:35:39+00:00 List-Id: In article , Beard, Frank says... > >What I had envisioned is that it would work very similar >to an access type. However stack space is controlled for >an access type would be the same way to control the stack >space for the deferred by reference type. > >As for the size, it would deviate slightly from access types, >in that to get the size of an access type it is X.all'size. >For the deferred type it would still be X'size, because the >compiler would know that it's a deferred type and do the >X.all'size equivalent, transparent to the user. You seem to be operating on the old maxim that "any problem can be solved by adding an additional level of indirection." However, I'm not sure this is one of those cases. Whether its implemented as a stack object or a heap object does not change the fact that the referencing code is going to have to be generated to go out and get X bytes for the object from somewhere, and that code will have to be recompiled whenver you change the source file that contains the calculation of X. Of course adherents to the indiection priciple I mentioned above would just point out that X itself could be accessed as a variable instead of a constant, even though it won't ever change within the type's scope. Yuk. --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html home email - mailto:dennison@telepath.com