Quote: want separate checking of templates and their uses; if check the template and its uses against the template's parameter concepts, then instantiations should type check

Quotation Skeleton

In C++ source code, the complete template definition … The holy grail of concept design for C++ … of expressive power or performance. That is, if … if arguments specified in its uses are also … be used to generate optimal code.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: generic operations and polymorphism (67 items)
Topic: object-oriented templates and containers (27 items)