Re: Efficiency of code generated by Ada compilers

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Tue, 10 Aug 2010 17:01:10 +0200, Robert A Duff
> <bobduff@shell01.theworld.com> a �crit:
>> No, Ada generics work the same way as C++ templates -- the typical
>> implementation is that each instance gets a separate copy of
>> the code
> I wonder If I've understood you correctly. It seems Ada use code sharing
> (which is the reason of some restriction on formal parameters). Code
> duplication is the C++'s template way, not the Ada's generic package
> way.  Or am I mistaken somewhere ?

Most Ada compilers, including GNAT, use code duplication.  Some Ada
compilers support code-sharing for instance bodies, either in some
cases, or in all cases.

I don't know of any C++ compilers that support sharing of template
instances.

Code sharing is hard in Ada.  It is substantially harder in C++,
I think.  But note that I am not a C++ compiler expert!

- Bob