comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison<dennison@telepath.com>
Subject: Re: RE: Ada 0y wish list:
Date: Thu, 15 Feb 2001 20:03:35 GMT
Date: 2001-02-15T20:03:35+00:00	[thread overview]
Message-ID: <rCWi6.256$a4.1496@www.newsranger.com> (raw)
In-Reply-To: mailman.982264694.19416.comp.lang.ada@ada.eu.org

In article <mailman.982264694.19416.comp.lang.ada@ada.eu.org>, Beard, Frank
says...
>
>I disagree.  If the compiler treated the deferred type
>as a "by
reference" type then there wouldn't be a problem.
>It would be similar to an
access type without the requirement
>of allocation/deallocation, null checks,
etc.
>
>When a variable of type B is declared, the compiler will
>always pass it
by reference (by address), which is the
>equivalent of passing an access
type.

But passing parameters isn't the only issue. You also have to generate
code for
allocating stack space for objects of that type. In extreme cases, you
might
even need to create an array type or do something else relatively static
based
on the type's 'size. How are you going to do that without needing that
code to
be regenerated whenever the source file containing the definition of
the
object's size is recompiled?


---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
          home email - mailto:dennison@telepath.com




  reply	other threads:[~2001-02-15 20:03 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-02-15 19:16 Ada 0y wish list: "with private" Beard, Frank
2001-02-15 20:03 ` Ted Dennison [this message]
  -- strict thread matches above, loose matches on Subject: below --
2001-02-15 21:00 RE: Ada 0y wish list: Beard, Frank
replies disabled

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