This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Template and dynamic dispatching
Gabriel Dos Reis wrote:
C++ templates do not involve dynamic dispatching (I would suspect the
same to be true for Ada generics) so I do not understand your comment.
Maybe there are unsopken assumptions?
As I said, templates and Ada generics cause trouble with certification
requirements in two respects. First, they have the potential to intefere
with required traceability from source to object. Second, there are a
number of formal techniques that are used in certification for which
support of generics/templates is an issue. Visit the praxis site
(www.praxis-his.com) for more insight into this issue.
Praxis is certainly of the opinion that a limited form of generics
can be accomodated, but I do not think that anyone would suggest
that unlimited use of C++ templates could be easily accomodated
by some of these tools.