diff --git a/generic_programming.html b/generic_programming.html index c78c48d..a55c413 100644 --- a/generic_programming.html +++ b/generic_programming.html @@ -157,11 +157,11 @@ namespace std {

Type Generators

A type generator is a template whose only purpose is to - synthesize a single new type based on its template argument(s). The - generated type is usually expressed as a nested typedef named, - appropriately type. A type generator is usually used to - consolidate a complicated type expression into a simple one, as in - boost::[1]. The generated type is usually expressed as a + nested typedef named, appropriately type. A type + generator is usually used to consolidate a complicated type + expression into a simple one, as in boost::filter_iterator_generator, which looks something like this: @@ -191,6 +191,7 @@ boost::filter_iterator_generator<my_predicate,my_base_iterator>::type +

Object Generators

An object generator is a function template whose only purpose is @@ -286,6 +287,12 @@ void append_sequence(Container& c, Iterator start, Iterator finish) here. + +

Notes

+ + [1] Type generators are a workaround for the lack + of ``templated typedefs'' in C++. +

Revised