Re: What is faster Ada or C?

[hyrosen@mail.com (Hyman Rosen)]

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.

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.

Notice that this is not a criticism of Ada. Ada, just like C++, very
reasonably allows compilers to require access to the body of an inlined
subprogram when compiling its callers. C++, not having Ada's library
system, just forces the function definition to be in scope at a call.

> 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.