Template and dynamic dispatching

[Robert Dewar]

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.