bounded parameterized types, using where clauses to express constraints on actual type arguments. Unlike in languages with template-based generics, a use of such a data abstraction can be type-checked without access to the implementation of the abstraction.

Influence

CLU and Ada were major inspirations for C++ templates.

CLU's exception handling mechanisms influenced later languages

1.Previous
3.Next