Re: Charles: Generic_Find

[Hyman Rosen <hyrosen@mail.com>]

Preben Randhol wrote:
> Victor Porton wrote:
>>Why Generic_Find is generic? Why not just pass the predicate
>>as a function access? Doing so would avoid the need of
>>generic instantiation.
> 
> Doesn't sound to me like a good Ada solution to do that. Sounds more
> like C++

Hey! VP is commenting on Charles, which is based on the C++ STL,
whose version of find is a template. The C++ standard library
uses generic instantiation almost everywhere.

Anyway, in C++ the reason to have the predicate be generic is
the many varieties of objects that can stand in for a predicate.
It also introduces potentially significant optimization
opportunities, since for predicates, function call overhead can
easily dwarf the amount of computation done by the predicate
itself.