From: Richard Riehle <richard@adaworks.com>
Subject: Re: What is faster Ada or C?
Date: Mon, 17 Dec 2001 09:37:22 -0800
Date: 2001-12-17T17:32:01+00:00 [thread overview]
Message-ID: <3C1E2D52.7499E107@adaworks.com> (raw)
In-Reply-To: 568ede3c.0112110814.1c31fd91@posting.google.com
Hyman Rosen wrote:
> Richard Riehle <richard@adaworks.com> wrote in message news:<3C13BC4A.1C1EBE8B@adaworks.com>...
> > Well, actually, it is separate compilation. Of course, if one chooses to use
> > some new definition of separate compilation, so be it.
>
> If you look at 10.1.4/7, you will see that Ada allows an implementation
> to force the recompilation of any compilation unit which calls an inlined
> subprogram whenever the body of that subprogram changes.
This is not an unreasonable permission given the meaning of term "inline."
> The normal definition of separate compilation is exactly the opposite of
> this - making changes to a subprogram, as long as you don't change its
> interface, never requires recompiling the callers.
With the exception of "inline" this is exactly what Ada does. Therefore,
I would continue to call it separate compilation.
> > Unless something has changed, C++ requires the full definition of the
> > inlined function at the place where it is declared.
>
> That simply is not true. Just as I posted, the definition of an inline
> function may be separate from its declaration.
I mentioned earlier that Stroustrup's advice is to put the full definition
at the point of declaration unless you have a very clever development
environment. Every other C++ authority I can find also recommends
putting the definition in the header. This is the typical design of a
C++ inlined member function. When I first started using C++, it was
necessary. Perhaps that has changed. Ada never required this, and
does not even permit it. Under most circumstances, a change to an
implementation in Ada requires only relinking not recompilation.
Richard Riehle
next prev parent reply other threads:[~2001-12-17 17:37 UTC|newest]
Thread overview: 74+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-01 1:22 What is faster Ada or C? Heiko Hamann
2001-12-01 1:43 ` Aaro Koskinen
2001-12-03 8:49 ` John McCabe
2001-12-04 23:00 ` Florian Weimer
2001-12-05 15:53 ` Ted Dennison
2001-12-06 0:17 ` Jeffrey Carter
2001-12-10 15:18 ` Dale Pontius
2001-12-10 17:44 ` Pascal Obry
2001-12-01 3:44 ` Nick Roberts
2001-12-01 20:09 ` Heiko Hamann
2001-12-02 4:49 ` Jeffrey Carter
2001-12-02 10:44 ` Pascal Obry
2001-12-04 11:43 ` john mann
2001-12-04 14:25 ` Ted Dennison
2001-12-05 9:46 ` John McCabe
2001-12-02 10:07 ` Mark Lundquist
2001-12-03 14:43 ` Ted Dennison
2001-12-09 12:31 ` Robert Dewar
2001-12-01 9:26 ` Gisle Sælensminde
2001-12-01 10:13 ` Pascal Obry
2001-12-02 17:49 ` Bertrand Augereau
2001-12-03 14:39 ` Ted Dennison
2001-12-03 16:19 ` Jeffrey Carter
2001-12-03 19:04 ` Ted Dennison
2001-12-03 20:56 ` Georg Bauhaus
2001-12-03 21:17 ` Preben Randhol
2001-12-03 21:20 ` Preben Randhol
2001-12-04 23:02 ` Florian Weimer
2001-12-05 16:05 ` Georg Bauhaus
2001-12-06 23:33 ` Florian Weimer
2001-12-04 2:35 ` Jeffrey Carter
2001-12-04 6:54 ` Steven Deller
2001-12-04 22:05 ` Bertrand Augereau
2001-12-06 4:25 ` Richard Riehle
2001-12-07 20:02 ` Hyman Rosen
2001-12-09 19:32 ` Richard Riehle
2001-12-11 16:14 ` Hyman Rosen
2001-12-14 0:36 ` Will
2001-12-19 22:23 ` Hyman Rosen
2001-12-17 17:37 ` Richard Riehle [this message]
2001-12-20 23:02 ` Hyman Rosen
2001-12-23 4:12 ` Will
2001-12-23 6:41 ` James Rogers
2001-12-04 22:37 ` Pascal Obry
2001-12-05 15:57 ` Georg Bauhaus
2001-12-05 17:12 ` Larry Kilgallen
2001-12-07 13:21 ` Jacob Sparre Andersen
2001-12-07 15:16 ` Aaro Koskinen
2001-12-07 16:50 ` Preben Randhol
2001-12-07 17:03 ` Jacob Sparre Andersen
2001-12-07 17:26 ` Aaro Koskinen
2001-12-07 18:32 ` Preben Randhol
2001-12-07 20:23 ` Wes Groleau
2001-12-07 17:11 ` Ted Dennison
2001-12-07 18:47 ` Preben Randhol
2001-12-07 16:16 ` Preben Randhol
2001-12-07 17:04 ` Jacob Sparre Andersen
2001-12-07 16:26 ` Ted Dennison
2001-12-07 17:08 ` Jacob Sparre Andersen
2001-12-09 12:27 ` Robert Dewar
2001-12-10 16:51 ` Jacob Sparre Andersen
2001-12-10 17:33 ` Jeff Creem
2001-12-07 16:45 ` Georg Bauhaus
2001-12-07 17:02 ` Preben Randhol
2001-12-07 17:10 ` Jacob Sparre Andersen
2001-12-07 18:12 ` Pascal Obry
2001-12-07 18:50 ` Preben Randhol
2001-12-07 18:54 ` Pascal Obry
2001-12-07 20:40 ` Preben Randhol
2001-12-07 22:01 ` Pascal Obry
2001-12-07 18:19 ` Jeffrey Carter
2001-12-10 9:59 ` Ole-Hjalmar Kristensen
-- strict thread matches above, loose matches on Subject: below --
2001-12-02 19:37 Gautier Write-only-address
2001-12-23 10:33 Gautier Write-only-address
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox